2006-04-03 An Alternative to the Use of Patterns in String Processing. 153-172 1980 2 ACM Trans. Program. Lang. Syst. 2 http://doi.acm.org/10.1145/357094.357096 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas2.html#GriswoldH80 2003-11-26 Specificational functions. 677-701 1999 21 ACM Trans. Program. Lang. Syst. 3 http://doi.acm.org/10.1145/319301.319350 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas21.html#MorrisB99 2006-04-03 Derivation of Invariant Assertions During Program Development by Transformation. 321-337 1980 2 ACM Trans. Program. Lang. Syst. 3 http://doi.acm.org/10.1145/357103.357108 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas2.html#BroyK80 2006-04-03 Adding Fair Choice to Dijkstra's Calculus. 924-938 1994 16 ACM Trans. Program. Lang. Syst. 3 http://doi.acm.org/10.1145/177492.177727 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas16.html#BroyN94 2006-04-03 Combining Algebraic and Algorithmic Reasoning: An Approach to the Schorr-Waite Algorithm. 362-381 1982 4 ACM Trans. Program. Lang. Syst. 3 http://doi.acm.org/10.1145/357172.357175 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas4.html#BroyP82 2006-04-03 Higher-Order Distributed Objects. 704-739 1995 17 ACM Trans. Program. Lang. Syst. 5 http://doi.acm.org/10.1145/213978.213986 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas17.html#CejtinJK95 2005-11-10 A Reexamination of "Optimization of Array Subscript Range Checks". 217-227 1995 17 ACM Trans. Program. Lang. Syst. 2 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas17.html#ChinG95 http://doi.acm.org/10.1145/201059.201063 2006-04-03 Experience with a Software-Defined Machine Architecture. 299-338 1992 14 ACM Trans. Program. Lang. Syst. 3 http://doi.acm.org/10.1145/129393.129395 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas14.html#Wall92 2006-04-03 Deriving Target Code as a Representation of Continuation Semantics. 496-517 1982 4 ACM Trans. Program. Lang. Syst. 3 http://doi.acm.org/10.1145/357172.357179 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas4.html#Wand82 2006-04-03 Selective and Locally Controlled Transport of Privileges. 573-602 1984 6 ACM Trans. Program. Lang. Syst. 4 http://doi.acm.org/10.1145/1780.1786 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas6.html#Minsky84 2003-11-26 Cost-Optimal Code Motion. 1297-1322 1998 20 ACM Trans. Program. Lang. Syst. 6 http://doi.acm.org/10.1145/295656.295664 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas20.html#Hailperin98 2006-04-03 User Recovery and Reversal in Interactive Systems. 1-19 1984 6 ACM Trans. Program. Lang. Syst. 1 http://doi.acm.org/10.1145/357233.357234 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas6.html#ArcherCS84 2006-04-03 Static Slicing in the Presence of Goto Statements. 1096-1113 1994 16 ACM Trans. Program. Lang. Syst. 4 http://doi.acm.org/10.1145/183432.183438 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas16.html#ChoiF94 2006-04-03 The Priority-Based Coloring Approach to Register Allocation. 501-536 1990 12 ACM Trans. Program. Lang. Syst. 4 http://doi.acm.org/10.1145/88616.88621 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas12.html#ChowH90 2006-04-03 The Definition of Dependence Distance. 1114-1116 1994 16 ACM Trans. Program. Lang. Syst. 4 http://doi.acm.org/10.1145/183432.183440 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas16.html#Wolfe94 2006-04-03 Efficient Fault-Tolerant Algorithms for Distributed Resource Allocation. 535-559 1995 17 ACM Trans. Program. Lang. Syst. 3 http://doi.acm.org/10.1145/203095.203101 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas17.html#ChoyS95 2006-04-03 Writing Larch Interface Language Specifications. 1-24 1987 9 ACM Trans. Program. Lang. Syst. 1 http://doi.acm.org/10.1145/9758.10500 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas9.html#Wing87 2006-07-19 An Overview of the SR Language and Implementation. 51-86 1988 10 ACM Trans. Program. Lang. Syst. 1 http://doi.acm.org/10.1145/42192.42324 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas10.html#AndrewsOCENPT88 2006-04-03 Morris's Garbage Compaction Algorithm Restores Reference Counts. 115-120 1979 1 ACM Trans. Program. Lang. Syst. 1 http://doi.acm.org/10.1145/357062.357070 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas1.html#Wise79 2006-04-03 A Denotational Semantics for Prolog. 650-665 1989 11 ACM Trans. Program. Lang. Syst. 4 http://doi.acm.org/10.1145/69558.69564 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas11.html#NicholsonF89 2006-04-03 Determining the Extent of Lookahead in Syntactic Error Repair. 456-469 1988 10 ACM Trans. Program. Lang. Syst. 3 http://doi.acm.org/10.1145/44501.44505 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas10.html#MauneyF88 2006-04-03 Program Transformations in a Denotational Setting. 359-379 1985 7 ACM Trans. Program. Lang. Syst. 3 http://doi.acm.org/10.1145/3916.3917 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas7.html#Nielson85 2004-03-04 Fusion-based register allocation. 431-470 2000 22 ACM Trans. Program. Lang. Syst. 3 http://doi.acm.org/10.1145/353926.353929 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas22.html#LuehGA00 2003-11-26 Model-checking concurrent systems with unbounded integer variables: symbolic representations, approximations, and experimental results. 747-789 1999 21 ACM Trans. Program. Lang. Syst. 4 http://doi.acm.org/10.1145/325478.325480 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas21.html#BultanGP99 2003-11-26 Generation of LR parsers by partial evaluation. 224-264 2000 22 ACM Trans. Program. Lang. Syst. 2 http://doi.acm.org/10.1145/349214.349219 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas22.html#SperberT00 2003-11-26 Isomorph-Free Model Enumeration: A New Method for Checking Relational Specifications. 302-343 1998 20 ACM Trans. Program. Lang. Syst. 2 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas20.html#JacksonJD98 http://doi.acm.org/10.1145/276393.276396 2006-04-03 Toward a Complete Transformational Toolkit for Compilers. 639-684 1997 19 ACM Trans. Program. Lang. Syst. 5 http://doi.acm.org/10.1145/265943.265944 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas19.html#BergstraDFH97 2006-04-03 The Impact of Interprocedural Analysis and Optimization in the Rn Programming Environment. 491-523 1986 8 ACM Trans. Program. Lang. Syst. 4 http://doi.acm.org/10.1145/6465.6489 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas8.html#CooperKT86 2003-11-26 Operator strength reduction. 603-625 2001 23 ACM Trans. Program. Lang. Syst. 5 http://doi.acm.org/10.1145/504709.504710 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas23.html#CooperSV01 2006-04-03 An Interval-Based Approach to Exhaustive and Incremental Interprocedural Data-Flow Analysis. 341-395 1990 12 ACM Trans. Program. Lang. Syst. 3 http://doi.acm.org/10.1145/78969.78963 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas12.html#Burke90 2006-04-03 A Calculus for Access Control in Distributed Systems. 706-734 1993 15 ACM Trans. Program. Lang. Syst. 4 http://doi.acm.org/10.1145/155183.155225 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas15.html#AbadiBLP93 2006-04-03 Automatic Isolation of Compiler Errors. 1648-1659 1994 16 ACM Trans. Program. Lang. Syst. 5 http://doi.acm.org/10.1145/186025.186103 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas16.html#Whalley94 2006-04-03 Dynamic Typing in a Statically Typed Language. 237-268 1991 13 ACM Trans. Program. Lang. Syst. 2 http://doi.acm.org/10.1145/103135.103138 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas13.html#AbadiCPP91 2006-04-03 A Distributed Alternative to Finite-State-Machine Specifications. 10-36 1985 7 ACM Trans. Program. Lang. Syst. 1 http://doi.acm.org/10.1145/2363.2365 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas7.html#Zave85 2006-04-03 Probabilistic Predicate Transformers. 325-353 1996 18 ACM Trans. Program. Lang. Syst. 3 http://doi.acm.org/10.1145/229542.229547 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas18.html#MorganMS96 2006-04-03 Fast Strictness Analysis Based on Demand Propagation. 896-937 1995 17 ACM Trans. Program. Lang. Syst. 6 http://doi.acm.org/10.1145/218570.218573 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas17.html#SekarR95 2006-04-03 Noncorrecting Syntax Error Recovery. 478-489 1985 7 ACM Trans. Program. Lang. Syst. 3 http://doi.acm.org/10.1145/3916.4019 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas7.html#Richter85 2006-04-03 Model Checking and Modular Verification. 843-871 1994 16 ACM Trans. Program. Lang. Syst. 3 http://doi.acm.org/10.1145/177492.177725 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas16.html#GrumbergL94 2006-04-03 On the Use of Regular Expressions for Searching Text. 413-426 1997 19 ACM Trans. Program. Lang. Syst. 3 http://doi.acm.org/10.1145/256167.256174 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas19.html#ClarkeC97 2003-11-26 Efficient Construction of LR(k) States and Tables. 150-178 1991 13 ACM Trans. Program. Lang. Syst. 1 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas13.html#AnconaDGM91 2003-11-26 A Region Inference Algorithm. 724-767 1998 20 ACM Trans. Program. Lang. Syst. 4 http://doi.acm.org/10.1145/291891.291894 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas20.html#TofteB98 2003-11-26 A Logical Model for Relational Abstract Domains. 1067-1109 1998 20 ACM Trans. Program. Lang. Syst. 5 http://doi.acm.org/10.1145/293677.293680 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas20.html#GiacobazziS98 2006-04-03 Parameter Passing and Control Stack Management in Prolog Implementation Revisited. 752-779 1996 18 ACM Trans. Program. Lang. Syst. 6 http://doi.acm.org/10.1145/236114.236120 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas18.html#Zhou96 2006-04-03 Remote Evaluation. 537-565 1990 12 ACM Trans. Program. Lang. Syst. 4 http://doi.acm.org/10.1145/88616.88631 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas12.html#StamosG90 2003-11-26 The type system for object initializatiion in the Jave bytecode language. 1196-1250 1999 21 ACM Trans. Program. Lang. Syst. 6 http://doi.acm.org/10.1145/330643.330646 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas21.html#FreundM99 2003-11-26 Information flow inference for ML. 117-158 2003 25 ACM Trans. Program. Lang. Syst. 1 http://doi.acm.org/10.1145/596980.596983 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas25.html#PottierS03 2006-04-03 Code Generation and Storage Allocation for Machines with Span-Dependent Instructions. 71-83 1979 1 ACM Trans. Program. Lang. Syst. 1 http://doi.acm.org/10.1145/357062.357067 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas1.html#Robertson79 2006-04-03 Denotational Semantics of a Goal-Directed Language. 107-125 1992 14 ACM Trans. Program. Lang. Syst. 1 http://doi.acm.org/10.1145/111186.104659 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas14.html#Gudeman92 2006-04-03 Efficient High-Level Iteration with Accumulators. 194-211 1989 11 ACM Trans. Program. Lang. Syst. 2 http://doi.acm.org/10.1145/63264.63401 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas11.html#Cameron89 2006-04-03 Static Analysis of Upper and Lower Bounds on Dependences and Parallelism. 1248-1278 1994 16 ACM Trans. Program. Lang. Syst. 4 http://doi.acm.org/10.1145/183432.183525 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas16.html#PughW94 2003-11-26 Constraint-Based Array Dependence Analysis. 635-678 1998 20 ACM Trans. Program. Lang. Syst. 3 http://doi.acm.org/10.1145/291889.291900 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas20.html#PughW98 2006-04-03 Termination Detection of Diffusing Computations in Communicating Sequential Processes. 37-43 1982 4 ACM Trans. Program. Lang. Syst. 1 http://doi.acm.org/10.1145/357153.357156 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas4.html#MisraC82 2006-04-03 Unassigned Objects. 449-467 1984 6 ACM Trans. Program. Lang. Syst. 4 http://doi.acm.org/10.1145/1780.1785 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas6.html#Winner84 2006-04-03 Distributed FIFO Allocation of Identical Resources Using Small Shared Space. 90-114 1989 11 ACM Trans. Program. Lang. Syst. 1 http://doi.acm.org/10.1145/59287.59292 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas11.html#FischerLBB89 2006-04-03 Ultracomputers. 484-521 1980 2 ACM Trans. Program. Lang. Syst. 4 http://doi.acm.org/10.1145/357114.357116 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas2.html#Schwartz80 2006-04-03 Typechecking and Modules for Multimethods. 805-843 1995 17 ACM Trans. Program. Lang. Syst. 6 http://doi.acm.org/10.1145/218570.218571 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas17.html#ChambersL95 2006-04-03 Final Data Types and Their Specification. 97-123 1983 5 ACM Trans. Program. Lang. Syst. 1 http://doi.acm.org/10.1145/357195.357202 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas5.html#Kamin83 2006-04-03 Magma2: A Language Oriented toward Experiments in Control. 468-486 1984 6 ACM Trans. Program. Lang. Syst. 4 http://doi.acm.org/10.1145/1780.1784 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas6.html#Turini84 2006-04-03 An Ad Hoc Approach to the Implementation of Polymorphism. 342-371 1991 13 ACM Trans. Program. Lang. Syst. 3 http://doi.acm.org/10.1145/117009.117017 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas13.html#MorrisonDCB91 2006-04-03 On the (non-) Relationship between SLR(1) and NQLALR(1) Grammars. 338-342 1988 10 ACM Trans. Program. Lang. Syst. 2 http://doi.acm.org/10.1145/42190.42276 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas10.html#BermudezS88 2006-04-03 Lattice Frameworks for Multiscore and Bidirectional Data Flow Problems. 777-803 1995 17 ACM Trans. Program. Lang. Syst. 5 http://doi.acm.org/10.1145/213978.213989 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas17.html#MasticolaMR95 2006-04-03 Incremental Global Reoptimization of Programs. 173-200 1992 14 ACM Trans. Program. Lang. Syst. 2 http://doi.acm.org/10.1145/128861.128865 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas14.html#PollockS92 2006-04-03 Symboloc Model Checking for Event-Driven Real-Time Systems. 386-412 1997 19 ACM Trans. Program. Lang. Syst. 2 http://doi.acm.org/10.1145/244795.244803 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas19.html#YangMW97 2003-11-26 Efficient and effective branch reordering using profile data. 667-697 2002 24 ACM Trans. Program. Lang. Syst. 6 http://doi.acm.org/10.1145/586088.586091 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas24.html#YangUW02 2006-04-03 A Modular Verifiable Exception-Handling Mechanism. 214-243 1985 7 ACM Trans. Program. Lang. Syst. 2 http://doi.acm.org/10.1145/3318.3320 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas7.html#YeminiB85 2006-04-03 An Axiomatic Treatment of Exception Handling in an Expression-Oriented Language. 390-407 1987 9 ACM Trans. Program. Lang. Syst. 3 http://doi.acm.org/10.1145/24039.24052 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas9.html#YeminiB87 2006-04-03 Covariance and Contravariance: Conflict without a Cause. 431-447 1995 17 ACM Trans. Program. Lang. Syst. 3 http://doi.acm.org/10.1145/203095.203096 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas17.html#Castagna95 2006-04-03 Eliminating Redundant Recursive Calls. 265-299 1983 5 ACM Trans. Program. Lang. Syst. 3 http://doi.acm.org/10.1145/2166.2167 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas5.html#Cohen83 2006-04-03 Type-Extension Type Tests Can Be Performed In Constant Time. 626-629 1991 13 ACM Trans. Program. Lang. Syst. 4 http://doi.acm.org/10.1145/115372.115297 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas13.html#Cohen91 2006-04-03 Cache Behavior of Combinator Graph Reduction. 265-297 1992 14 ACM Trans. Program. Lang. Syst. 2 http://doi.acm.org/10.1145/128861.128867 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas14.html#KoopmanLS92 2006-09-28 Efficient Algorithms for Automatic Construction and Compactification of Parsing Grammars. 543-566 1987 9 ACM Trans. Program. Lang. Syst. 4 http://doi.acm.org/10.1145/29873.29876 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas9.html#RosenkrantzH87 2006-04-03 Combinatory Formaulations of Concurrent Languages. 899-915 1997 19 ACM Trans. Program. Lang. Syst. 6 http://doi.acm.org/10.1145/267959.269967 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas19.html#RajaS97 2006-04-03 A Note on Median Split Trees. 129-133 1980 2 ACM Trans. Program. Lang. Syst. 1 http://doi.acm.org/10.1145/357084.357092 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas2.html#Comer80 2003-11-26 An assume-guarantee rule for checking simulation. 51-64 2002 24 ACM Trans. Program. Lang. Syst. 1 http://doi.acm.org/10.1145/509705.509707 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas24.html#HenzingerQRT02 2006-04-03 A Structural View of the Cedar Programming Environment. 419-490 1986 8 ACM Trans. Program. Lang. Syst. 4 http://doi.acm.org/10.1145/6465.6466 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas8.html#SwinehartZBH86 2003-11-26 Program transformation and runtime support for threaded MPI execution on shared-memory machines. 673-700 2000 22 ACM Trans. Program. Lang. Syst. 4 http://doi.acm.org/10.1145/363911.363920 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas22.html#TangSY00 2006-04-03 Wait-Free Synchronization. 124-149 1991 13 ACM Trans. Program. Lang. Syst. 1 http://doi.acm.org/10.1145/114005.102808 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas13.html#Herlihy91 2006-04-03 A Methodology for Implementing Highly Concurrent Objects. 745-770 1993 15 ACM Trans. Program. Lang. Syst. 5 http://doi.acm.org/10.1145/161468.161469 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas15.html#Herlihy93 2006-04-03 A Statement-Oriented Approach to Data Abstraction. 1-10 1981 3 ACM Trans. Program. Lang. Syst. 1 http://doi.acm.org/10.1145/357121.357122 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas3.html#Steensgaard-Madsen81 2006-04-03 ACE: An Automatic Complexity Evaluator. 248-266 1988 10 ACM Trans. Program. Lang. Syst. 2 http://doi.acm.org/10.1145/42190.42347 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas10.html#Metayer88 2006-04-03 Type Representation of Objects by Functions. 67-89 1989 11 ACM Trans. Program. Lang. Syst. 1 http://doi.acm.org/10.1145/59287.77345 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas11.html#Steensgaard-Madsen89 2006-04-03 Trace-Based Network Proof Systems: Expressiveness and Completeness. 396-416 1992 14 ACM Trans. Program. Lang. Syst. 3 http://doi.acm.org/10.1145/129393.129396 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas14.html#WidomGS92 2006-04-03 An Evaluation of an Automatically Generated Compiler. 691-703 1995 17 ACM Trans. Program. Lang. Syst. 5 http://doi.acm.org/10.1145/213978.213980 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas17.html#Sloane95 2006-04-03 Tentative Steps Toward a Development Method for Interfering Programs. 596-619 1983 5 ACM Trans. Program. Lang. Syst. 4 http://doi.acm.org/10.1145/69575.69577 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas5.html#Jones83 2006-04-03 Efficient Evaluation of Circular Attribute Grammars. 429-462 1990 12 ACM Trans. Program. Lang. Syst. 3 http://doi.acm.org/10.1145/78969.78971 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas12.html#Jones90 2003-11-26 Space/Time-Efficient Scheduling and Execution of Parallel Irregular Computations. 1195-1222 1998 20 ACM Trans. Program. Lang. Syst. 6 http://doi.acm.org/10.1145/295656.295660 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas20.html#YangF98 2003-11-26 Type-preserving compilation of Featherweight Java. 112-152 2002 24 ACM Trans. Program. Lang. Syst. 2 http://doi.acm.org/10.1145/514952.514954 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas24.html#LeagueST02 2003-11-26 A global communication optimization technique based on data-flow analysis and linear algebra. 1251-1297 1999 21 ACM Trans. Program. Lang. Syst. 6 http://doi.acm.org/10.1145/330643.330647 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas21.html#KandemirBCRS99 2006-04-03 Operators. 161-176 1979 1 ACM Trans. Program. Lang. Syst. 2 http://doi.acm.org/10.1145/357073.357074 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas1.html#Iverson79 2003-11-26 A Type System for Java Bytecode Subroutines. 90-137 1999 21 ACM Trans. Program. Lang. Syst. 1 http://doi.acm.org/10.1145/314602.314606 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas21.html#StataA99 2006-04-03 Soundness of Hoare's Logic: An Automated Proof Using LCF. 100-120 1987 9 ACM Trans. Program. Lang. Syst. 1 http://doi.acm.org/10.1145/9758.11326 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas9.html#Sokolowski87 2006-04-03 Constant Propagation with Conditional Branches. 181-210 1991 13 ACM Trans. Program. Lang. Syst. 2 http://doi.acm.org/10.1145/103135.103136 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas13.html#WegmanZ91 2006-04-03 Fixpoint Computation for Polyvariant Static Analyses of Higher-Order Applicative Programs. 1431-1448 1994 16 ACM Trans. Program. Lang. Syst. 5 http://doi.acm.org/10.1145/186025.186037 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas16.html#AshleyC94 2003-11-26 A Practical and Flexible Flow Analysis for Higher-Order Languages. 845-868 1998 20 ACM Trans. Program. Lang. Syst. 4 http://doi.acm.org/10.1145/291891.291898 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas20.html#AshleyD98 2006-04-03 Practical Adaptation of the Global Optimization Algorithm of Morel and Renvoise. 291-294 1991 13 ACM Trans. Program. Lang. Syst. 2 http://doi.acm.org/10.1145/103135.214520 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas13.html#Dhamdhere91 2003-11-26 The CLP(R) Language and System. 339-395 1992 14 ACM Trans. Program. Lang. Syst. 3 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas14.html#JaffarMSY92 2006-04-03 Table Compression for Tree Automata. 295-314 1991 13 ACM Trans. Program. Lang. Syst. 3 http://doi.acm.org/10.1145/117009.117013 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas13.html#BorstlerMW91 2006-04-03 ECCS and LIPS: Two Languages for OSI Systems Specification and Verification. 284-329 1989 11 ACM Trans. Program. Lang. Syst. 2 http://doi.acm.org/10.1145/63264.63402 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas11.html#CarchioloSFP89 2006-04-03 Improving Data Locality with Loop Transformations. 424-453 1996 18 ACM Trans. Program. Lang. Syst. 4 http://doi.acm.org/10.1145/233561.233564 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas18.html#McKinleyCT96 2006-04-03 Algorithmic Specifications: A Constructive Specification Method for Abstract Data Types. 646-685 1987 9 ACM Trans. Program. Lang. Syst. 4 http://doi.acm.org/10.1145/29873.30399 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas9.html#Loeckx87 2006-04-03 Specification and Verification of Liveness Properties of Cyclic, Concurrent Processes. 156-177 1988 10 ACM Trans. Program. Lang. Syst. 1 http://doi.acm.org/10.1145/42192.42195 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas10.html#ReedY88 2006-04-03 Using Message Passing for Distributed Programming: Proof Rules, Disciplines. 402-431 1984 6 ACM Trans. Program. Lang. Syst. 3 http://doi.acm.org/10.1145/579.583 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas6.html#SchlichtingS84 2006-04-03 An Approach to Support Automatic Generation of User Interfaces. 566-609 1990 12 ACM Trans. Program. Lang. Syst. 4 http://doi.acm.org/10.1145/88616.214518 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas12.html#DewanS90 2006-04-03 Managing Reentrant Structures Using Reference Counts. 269-273 1980 2 ACM Trans. Program. Lang. Syst. 3 http://doi.acm.org/10.1145/357103.357104 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas2.html#Bobrow80 2006-04-03 Real-Time Synchronization of Interprocess Communications. 215-238 1984 6 ACM Trans. Program. Lang. Syst. 2 http://doi.acm.org/10.1145/2993.357244 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas6.html#ReifS84 2006-04-03 Generation of Compiler Symbol Processing Mechanisms. 127-163 1983 5 ACM Trans. Program. Lang. Syst. 2 http://doi.acm.org/10.1145/69624.69625 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas5.html#Reiss83 2006-04-03 An Approach for Exploring Code-Improving Transformations. 1053-1084 1997 19 ACM Trans. Program. Lang. Syst. 6 http://doi.acm.org/10.1145/267959.267960 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas19.html#WhitfieldS97 2006-04-03 An Elimination Algorithm for Bidirectional Data Flow Problems Using Edge Placement. 312-336 1993 15 ACM Trans. Program. Lang. Syst. 2 http://doi.acm.org/10.1145/169701.169684 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas15.html#DhamdhereP93 2003-11-26 Dynamic Currency Determination in Optimized Programs. 1111-1130 1998 20 ACM Trans. Program. Lang. Syst. 6 http://doi.acm.org/10.1145/295656.295657 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas20.html#DhamdhereS98 2006-04-03 Controlled Grammatic Ambiguity. 1024-1050 1994 16 ACM Trans. Program. Lang. Syst. 3 http://doi.acm.org/10.1145/177492.177759 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas16.html#Thorup94 2006-04-03 Sublinear-Space Evaluation Algorithms for Attribute Grammars. 408-440 1987 9 ACM Trans. Program. Lang. Syst. 3 http://doi.acm.org/10.1145/24039.214529 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas9.html#RepsD87 2003-11-26 Linear scan register allocation. 895-913 1999 21 ACM Trans. Program. Lang. Syst. 5 http://doi.acm.org/10.1145/330249.330250 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas21.html#PolettoS99 2006-04-03 Multilisp: A Language for Concurrent Symbolic Computation. 501-538 1985 7 ACM Trans. Program. Lang. Syst. 4 http://doi.acm.org/10.1145/4472.4478 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas7.html#Halstead85 2006-04-03 Reasoning About Naming Systems. 795-825 1993 15 ACM Trans. Program. Lang. Syst. 5 http://doi.acm.org/10.1145/161468.161471 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas15.html#BowmanDP93 2006-04-03 Efficiently Computing Static Single Assignment Form and the Control Dependence Graph. 451-490 1991 13 ACM Trans. Program. Lang. Syst. 4 http://doi.acm.org/10.1145/115372.115320 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas13.html#CytronFRWZ91 2006-04-03 Iterated Register Coalescing. 300-324 1996 18 ACM Trans. Program. Lang. Syst. 3 http://doi.acm.org/10.1145/229542.229546 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas18.html#GeorgeA96 2006-04-03 Coordinating First-Order Multiparty Interactions. 954-985 1994 16 ACM Trans. Program. Lang. Syst. 3 http://doi.acm.org/10.1145/177492.177739 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas16.html#JoungS94 2006-04-03 Handling Operator Precedence in Arithmetic Expressions with Tree Transformations. 83-103 1981 3 ACM Trans. Program. Lang. Syst. 1 http://doi.acm.org/10.1145/357121.357127 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas3.html#LaLondeR81 2006-04-03 The Design and Application of a Retargetable Peephole Optimizer. 191-202 1980 2 ACM Trans. Program. Lang. Syst. 2 http://doi.acm.org/10.1145/357094.357098 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas2.html#DavidsonF80 2006-04-03 Code Selection through Object Code Optimization. 505-526 1984 6 ACM Trans. Program. Lang. Syst. 4 http://doi.acm.org/10.1145/1780.1783 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas6.html#DavidsonF84 2006-04-03 Conversion from Data-Driven to Synchronous Execution in Loop Programs. 599-617 1987 9 ACM Trans. Program. Lang. Syst. 4 http://doi.acm.org/10.1145/29873.31334 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas9.html#CunyS87 2006-04-03 Affix Grammar Driven Code Generation. 560-599 1985 7 ACM Trans. Program. Lang. Syst. 4 http://doi.acm.org/10.1145/4472.4486 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas7.html#GanapathiF85 2006-04-03 A Compiler Approach to Scalable Concurrent-Program Design. 577-604 1994 16 ACM Trans. Program. Lang. Syst. 3 http://doi.acm.org/10.1145/177492.177612 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas16.html#FosterT94 2003-11-26 Integrating object-oriented programming and protected objects in Ada 95. 506-539 2000 22 ACM Trans. Program. Lang. Syst. 3 http://doi.acm.org/10.1145/353926.353938 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas22.html#WellingsJSKWM00 2003-11-26 A schema for interprocedural modification side-effect analysis with pointer aliasing. 105-186 2001 23 ACM Trans. Program. Lang. Syst. 2 http://doi.acm.org/10.1145/383043.381532 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas23.html#RyderLSZA01 2006-04-03 An Object-Based Programming Model for Shared Data. 201-264 1992 14 ACM Trans. Program. Lang. Syst. 2 http://doi.acm.org/10.1145/128861.128866 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas14.html#KaiserH92 2006-04-03 Extending Attribute Grammars to Support Programming-in-the-Large. 1572-1612 1994 16 ACM Trans. Program. Lang. Syst. 5 http://doi.acm.org/10.1145/186025.186091 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas16.html#MicallefK94 2006-04-03 An Ada Package for Dimensional Analysis. 189-203 1988 10 ACM Trans. Program. Lang. Syst. 2 http://doi.acm.org/10.1145/42190.42346 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas10.html#Hilfinger88 2006-04-03 Some Techniques for Recursion Removal from Recursive Programs. 295-322 1982 4 ACM Trans. Program. Lang. Syst. 2 http://doi.acm.org/10.1145/357162.357171 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas4.html#ArsacK82 2006-04-03 Generative Communication in Linda. 80-112 1985 7 ACM Trans. Program. Lang. Syst. 1 http://doi.acm.org/10.1145/2363.2433 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas7.html#Gelernter85 2006-04-03 Analysis of Or-Parallel Execution Models. 659-680 1993 15 ACM Trans. Program. Lang. Syst. 4 http://doi.acm.org/10.1145/155183.155220 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas15.html#GuptaJ93 2006-04-03 Polymorphic typing of Variables and References. 254-267 1996 18 ACM Trans. Program. Lang. Syst. 3 http://doi.acm.org/10.1145/229542.229544 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas18.html#SmithV96 2006-04-03 An Abstract Type for Statistics Collection in Simula. 544-563 1980 2 ACM Trans. Program. Lang. Syst. 4 http://doi.acm.org/10.1145/357114.357118 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas2.html#Landwehr80 2006-04-03 A Practical Soft Type System for Scheme. 87-152 1997 19 ACM Trans. Program. Lang. Syst. 1 http://doi.acm.org/10.1145/239912.239917 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas19.html#WrightC97 2003-11-26 Polymorphic Splitting: An Effective Polyvariant Flow Analysis. 166-207 1998 20 ACM Trans. Program. Lang. Syst. 1 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas20.html#WrightJ98 http://doi.acm.org/10.1145/271510.271523 2003-11-26 On the usefulness of type and liveness accuracy for garbage collection and leak detection. 593-624 2002 24 ACM Trans. Program. Lang. Syst. 6 http://doi.acm.org/10.1145/586088.586089 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas24.html#HirzelDH02 2006-04-03 Information-Flow and Data-Flow Analysis of while-Programs. 37-61 1985 7 ACM Trans. Program. Lang. Syst. 1 http://doi.acm.org/10.1145/2363.2366 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas7.html#BergerettiC85 2006-04-03 Row Replacement Algorithms for Screen Editors. 33-56 1989 11 ACM Trans. Program. Lang. Syst. 1 http://doi.acm.org/10.1145/59287.59290 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas11.html#MyersM89 2003-11-26 Context-sensitive synchronization-sensitive analysis is undecidable. 416-430 2000 22 ACM Trans. Program. Lang. Syst. 2 http://doi.acm.org/10.1145/349214.349241 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas22.html#Ramalingam00 2003-11-26 On loops, dominators, and dominance frontiers. 455-490 2002 24 ACM Trans. Program. Lang. Syst. 5 http://doi.acm.org/10.1145/570886.570887 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas24.html#Ramalingam02 2006-04-03 The Undecidability of Aliasing. 1467-1471 1994 16 ACM Trans. Program. Lang. Syst. 5 http://doi.acm.org/10.1145/186025.186041 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas16.html#Ramalingam94 2003-11-26 Identifying Loops in Almost Linear Time. 175-188 1999 21 ACM Trans. Program. Lang. Syst. 2 http://doi.acm.org/10.1145/316686.316687 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas21.html#Ramalingam99 2003-11-26 A Study of the Applicability of Existing Exception-Handling Techniques to Component-Base Real-Time Software Technology. 274-301 1998 20 ACM Trans. Program. Lang. Syst. 2 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas20.html#LangS98 http://doi.acm.org/10.1145/276393.276395 2006-04-03 Formal Specification of Graphic Data Types. 687-710 1982 4 ACM Trans. Program. Lang. Syst. 4 http://doi.acm.org/10.1145/69622.357191 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas4.html#Mallgren82 2006-04-03 Translation of Attribute Grammars into Procedures. 345-369 1984 6 ACM Trans. Program. Lang. Syst. 3 http://doi.acm.org/10.1145/579.586 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas6.html#Katayama84 2006-04-03 Precise Flow-Insensitive May-Alias Analysis is NP-Hard. 1-6 1997 19 ACM Trans. Program. Lang. Syst. 1 http://doi.acm.org/10.1145/239912.239913 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas19.html#Horwitz97 2006-04-03 Algorithms for On-the-fly Garbage Collection. 333-344 1984 6 ACM Trans. Program. Lang. Syst. 3 http://doi.acm.org/10.1145/579.587 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas6.html#Ben-Ari84 2003-11-26 Static correlated branch prediction. 1028-1075 1999 21 ACM Trans. Program. Lang. Syst. 5 http://doi.acm.org/10.1145/330249.330255 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas21.html#YoungS99 2003-11-26 Efficient logic variables for distributed computing. 569-626 1999 21 ACM Trans. Program. Lang. Syst. 3 http://doi.acm.org/10.1145/319301.319347 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas21.html#HaridiRBMSS99 2006-04-03 A Practical Method for LR and LL Syntactic Error Diagnosis. 164-197 1987 9 ACM Trans. Program. Lang. Syst. 2 http://doi.acm.org/10.1145/22719.22720 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas9.html#BurkeF87 2006-04-03 Interprocedural Optimization: Eliminating Unnecessary Recompilation. 367-399 1993 15 ACM Trans. Program. Lang. Syst. 3 http://doi.acm.org/10.1145/169683.169678 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas15.html#BurkeT93 2006-04-03 Automatic Translation of Fortran Programs to Vector Form. 491-542 1987 9 ACM Trans. Program. Lang. Syst. 4 http://doi.acm.org/10.1145/29873.29875 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas9.html#AllenK87 2006-04-03 A Bounded First-In, First-Enabled Solution to the l-Exclusion Problem. 939-953 1994 16 ACM Trans. Program. Lang. Syst. 3 http://doi.acm.org/10.1145/177492.177731 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas16.html#AfekDGMS94 2006-04-03 An Exercise in the Formal Derivation of Parallel Programs: Maximum Flows in Graphs. 203-223 1990 12 ACM Trans. Program. Lang. Syst. 2 http://doi.acm.org/10.1145/78942.78945 http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas12.html#Knapp90 2006-04-03