ACM DL

Programming Languages and Systems (TOPLAS)

Menu

Search Issue
enter search term and/or author name

Archive


ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 19 Issue 2, March 1997

Pure versus impure Lisp
Nicholas Pippenger
Pages: 223-238
DOI: 10.1145/244795.244798

Incremental computation of dominator trees
Vugranam C. Sreedhar, Guang R. Gao, Yong-Fong Lee
Pages: 239-252
DOI: 10.1145/244795.244799

Abstract interpretation of reactive systems
Dennis Dams, Rob Gerth, Orna Grumberg
Pages: 253-291
DOI: 10.1145/244795.244800

Protocol specifications and component adaptors
Daniel M. Yellin, Robert E. Strom
Pages: 292-333
DOI: 10.1145/244795.244801

Formally based profiling for higher-order functional languages
Patrick M. Sansom, Simon L. Peyton Jones
Pages: 334-385
DOI: 10.1145/244795.244802
We present the first source-level profiler for a compiled, nonstrict, higher-order, purely functional language capable of measuring time as well as space usage. Our profiler is implemented in a...

Symbolic model checking for event-driven real-time systems
Jin Yang, Aloysius K. Mok, Farn Wang
Pages: 386-412
DOI: 10.1145/244795.244803