References
[1] Sharat.Computer Graphics,IIT. 1995--97.
[2] Gary Lindstrom.Backtracking in a Generalized Control Setting. ACM Transactions on Programming Languages and Systems,1(1):8--26, July 1979.
[3] Robert B. K. Dewar and Arthur Grand and Ssu-Cheng Liu and JacobT. Schwartz and Edmond Schonberg.Programming by Refinemen. ACM Transactions on Programming Languages and Systems,1(1):27--49, July 1979.
[4] Richard L. Sites.The Compilation of Loop Induction Expressions. ACM Transactions on Programming Languages and Systems,1(1):50--57, July 1979.
[5] Carlo Ghezzi and Dino Mandrioli.Incremental Parsing. ACM Transactions on Programming Languages and Systems,1(1):58--70, July 1979.
[6] mark Twain.The good book,Addison-Wesley Publishing Company,Reading MA, 1994.
[7] Robert L. Constable and James E. Donahue.A Hierarchical Approach to Formal Semantics With Application tothe Definition of PL/C. ACM Transactions on Programming Languages and Systems,1(1):98--114, July 1979.
[8] David S. Wise.Morris's Garbage Compaction Algorithm Restores ReferenceCounts. ACM Transactions on Programming Languages and Systems,1(1):115--120, July 1979.
[9] Mr. R. Goradia,editor.Recent Development in the WOrlD.Tata, 1990.
[10] Edward L. Robertson.Code Generation and Storage Allocation for Machines withSpan-Dependent Instructions. ACM Transactions on Programming Languages and Systems,1(1):71--83, July 1979.
[11] Leslie Lamport.A New Approach to Proving the Correctness of MultiprocessPrograms. ACM Transactions on Programming Languages and Systems,1(1):84--97, July 1979.
[12] Thomas Lengauer and Robert Endre Tarjan.A Fast Algorithm for Finding Dominators in a Flowgraph. ACM Transactions on Programming Languages and Systems,1(1):121--141, July 1979.
[13] Ken Kennedy and Jayashree Ramanathan.A Deterministic Attribute Grammar Evaluator Based on DynamicScheduling. ACM Transactions on Programming Languages and Systems,1(1):142--160, July 1979.
[14] Kenneth E. Iverson.Operators. ACM Transactions on Programming Languages and Systems,1(2):161--176, October 1979.
[15] R. H. Perrott.A Language for Array and Vector Processors. ACM Transactions on Programming Languages and Systems,1(2):177--195, October 1979.
[16] R.N.Gandhi.PERL for authors,Archieve Development. 1993--99.
[17] Noah S. Prywes and Amir Pnueli and S. Shastry.Use of a Nonprocedural Specification Language and AssociatedProgram Generator in Software Development. ACM Transactions on Programming Languages and Systems,1(2):196--217, October 1979.
[18] Rhushabh Goradia And friends.The good companion,Addison-Wesley Publishing Company,Reading MA, 1994.
[19] Richard B. Kieburtz and Abraham Silberschatz.Comments on ``Communicating Sequential Processes'. ACM Transactions on Programming Languages and Systems,1(2):218--225, October 1979.
[20] David C. Luckham and Norihisa Suzuki.Verification of Arra. ACM Transactions on Programming Languages and Systems,1(2):226--244, October 1979.
[21] Greg Nelson and Derek C. Oppen.Simplification by Cooperating Decision Procedures. ACM Transactions on Programming Languages and Systems,1(2):245--257, October 1979.
[22] Forlon.Latexassignment,The Comprehensive Archieve. 1995--96.
[23] David Gries.Is Sometimes Ever Better Than Alway?. ACM Transactions on Programming Languages and Systems,1(2):258--265, October 1979.
[24] The so called SAM .The good partner,Addison Publishing Company,Reading IIT, 1994.
[25] Daniel G. Bobrow and Douglas W. Clark.Compact Encodings of List Structure. ACM Transactions on Programming Languages and Systems,1(2):266--286, October 1979.
[26] Eric Beyer and Peter Buneman.A Space Efficient Dynamic Allocation Algorithm for QueuingMessages. ACM Transactions on Programming Languages and Systems,1(2):287--294, October 1979.
[27] Kuo-Chung Tai.Noncanonical SLR(1) Grammar. ACM Transactions on Programming Languages and Systems,1(2):295--320, October 1979.
[28] David Harel.And/Or Programs: A New Approach to Structured Programming. ACM Transactions on Programming Languages and Systems,2(1):1--17, January 1980.
[29] Ajit B. Pai and Richard B. Kieburtz.Global Context Recovery: A New Strategy for Syntactic ErrorRecovery by Table-Drive Parsers. ACM Transactions on Programming Languages and Systems,2(1):18--41, January 1980.
[30] Nissim Francez.Distributed Termination. ACM Transactions on Programming Languages and Systems,2(1):42--55, January 1980.
[31] Gregory R. Andrews and Richard P. Reitman.An Axiomatic Approach to Information Flow in Programs. ACM Transactions on Programming Languages and Systems,2(1):56--76, January 1980.
[32] Christos H. Papadimitriou and Philip A. Bernstein.On the Performance of Balanced Hashing Functions When the KeysAre Not Equiprobable. ACM Transactions on Programming Languages and Systems,2(1):77--89, January 1980.
[33] Rhushabh Goradia,editor.Recent Advances in Fourier Analysis and its Applications:Proceedings of the NATO.kluver, 1990.
[34] Zohar Manna and Richard J. Waldinger.A Deductive Approach to Program Synthesis. ACM Transactions on Programming Languages and Systems,2(1):90--121, January 1980.
[35] Rhushabh The gr.Latex for begineers,Comprehensive Archieve programming. 1995--96.
[36] R.R Rathod.Latex authors,Comprehensive Archieve. 1995--99.
[37] D. B. Arnold and M. R. Sleep.Uniform Random Generation of Balanced Parenthesis Strings. ACM Transactions on Programming Languages and Systems,2(1):122--128, January 1980.
[38] Douglas Comer.A Note on Median Split Trees. ACM Transactions on Programming Languages and Systems,2(1):129--133, January 1980.
[39] Peter J. L. Wallis.External Representations of Objects of User-Defined Type. ACM Transactions on Programming Languages and Systems,2(2):137--152, April 1980.
[40] Ralph E. Griswold and David R. Hanson.An Alternative to the Use of Patterns in String Processing. ACM Transactions on Programming Languages and Systems,2(2):153--172, April 1980.
[41] R. G. G. Cattell.Automatic Derivation of Code Generators from MachineDescriptions. ACM Transactions on Programming Languages and Systems,2(2):173--190, April 1980.
[42] Jack W. Davidson and Christopher W. Fraser.The Design and Application of a Retargetable PeepholeOptimizer. ACM Transactions on Programming Languages and Systems,2(2):191--202, April 1980.
[43] Charles N. Fischer.On Parsing and Compiling Arithmetic Expressions on VectorComputers. ACM Transactions on Programming Languages and Systems,2(2):203--224, April 1980.
[44] David C. Luckham and Wolfgang Polak.Ada Exception Handling: An Axiomatic Approach. ACM Transactions on Programming Languages and Systems,2(2):225--233, April 1980.
[45] Arthur J. Bernstein.Output Guards and Nondeterminism in ``CommunicatingSequential Processes'. ACM Transactions on Programming Languages and Systems,2(2):234--238, April 1980.
[46] Perng-Yi Ma and Ted G. Lewis.Design of a Machine-Independent Optimizing System for EmulatorDevelopment. ACM Transactions on Programming Languages and Systems,2(2):239--262, April 1980.
[47] IItian,editor.Research at best.TATA-Mc graw Hill, 1995.
[48] Daniel G. Bobrow.Managing Reentrant Structures Using Reference Counts. ACM Transactions on Programming Languages and Systems,2(3):269--273, July 1980.
[49] Bruce W. Leverett and Thomas G. Szymanski.Chaining Span-Dependent Jump Instructions. ACM Transactions on Programming Languages and Systems,2(3):274--289, July 1980.
[50] Hanan Samet.A Coroutine Approach to Parsing. ACM Transactions on Programming Languages and Systems,2(3):290--306, July 1980.
[51] William E. Howden.Applicability of Software Validation Techniques to ScientificPrograms. ACM Transactions on Programming Languages and Systems,2(3):307--320, July 1980.
[52] Manfred Broy and Bernd Krieg-Br\"uckne.Derivation of Invariant Assertions During Program Development byTransformation. ACM Transactions on Programming Languages and Systems,2(3):321--337, July 1980.
[53] Clarke Jr.Synthesis of Resource Invariants for Concurrent Programs. ACM Transactions on Programming Languages and Systems,2(3):338--358, July 1980.
[54] Krzysztof R. Apt and Nissim Francez and Willem P. de Roever.A Proof System for Communicating Sequential Processes. ACM Transactions on Programming Languages and Systems,2(3):359--385, July 1980.
[55] Marco A. Casanova and Philip A. Bernstein.A Formal System for Reasoning about Programs Accessing aRelational Database. ACM Transactions on Programming Languages and Systems,2(3):386--414, July 1980.
[56] Susan L. Graham and Michael A. Harrison and Walter L. Ruzzo.An Improved Context-Free Recognizer. ACM Transactions on Programming Languages and Systems,2(3):415--462, July 1980.
[57] Derek C. Oppen.Prettyprinting. ACM Transactions on Programming Languages and Systems,2(4):465--483, October 1980.
[58] Jacob T. Schwartz.Ultracomputers. ACM Transactions on Programming Languages and Systems,2(4):484--521, October 1980.
[59] George W. Ernst and William F. Ogden.Specification of Abstract Data Types in Modul. ACM Transactions on Programming Languages and Systems,2(4):522--543, October 1980.
[60] Carl E. Landwehr.An Abstract Type for Statistics Collection in Simula. ACM Transactions on Programming Languages and Systems,2(4):544--563, October 1980.
[61] David Gries and Gary Levin.Assignment and Procedure Call Proof Rules. ACM Transactions on Programming Languages and Systems,2(4):564--579, October 1980.
[62] Bernard M. E. Moret and M. G. Thomason and R. C. Gonzalez.The Activity of a Variable and Its Relation to Decision Trees. ACM Transactions on Programming Languages and Systems,2(4):580--595, October 1980.
[63] J\orgen Steensgaard-Madse.A Statement-Oriented Approach to Data Abstraction. ACM Transactions on Programming Languages and Systems,3(1):1--10, January 1981.
[64] F. Andr\'e and J. P. Banatre and J. P. Routea.A Multiprocessing Approach to Compile-Time Symbol Resolution. ACM Transactions on Programming Languages and Systems,3(1):11--23, January 1981.
[65] Otto C. Juelich and Clinton R. Foulk.Compilation of Acyclic Smooth Programs for Parallel Execution. ACM Transactions on Programming Languages and Systems,3(1):24--48, January 1981.
[66] Dale H. Grit and Rex L. Page.Deleting Irrelevant Tasks in an Expression-OrientedMultiprocessor System. ACM Transactions on Programming Languages and Systems,3(1):49--59, January 1981.
[67] Bent Bruun Kristensen and Ole Lehrmann Madsen.Methods for Computing LALR($k$) Lookahea. ACM Transactions on Programming Languages and Systems,3(1):60--82, January 1981.
[68] Wilf R. LaLonde and Jim des Rivieres.Handling Operator Precedence in Arithmetic Expressions with TreeTransformations. ACM Transactions on Programming Languages and Systems,3(1):83--103, January 1981.
[69] Jayadev Misra.An Exercise in Program Explanation. ACM Transactions on Programming Languages and Systems,3(1):104--109, January 1981.
[70] Christopher W. Fraser and A. A. Lopez.Editing Data Structures. ACM Transactions on Programming Languages and Systems,3(2):115--125, April 1981.
[71] Edmond Schonberg and Jacob T. Schwartz and Micha Sharir.An Automatic Technique for Selection of Data Structures inSETL Program. ACM Transactions on Programming Languages and Systems,3(2):126--143, April 1981.
[72] Ralph E. Griswold and David R. Hanson and John T. Korb.Generators in Ico. ACM Transactions on Programming Languages and Systems,3(2):144--161, April 1981.
[73] David R. Hanson.Algorithm 568: PDS---A Portable Directory Syste. ACM Transactions on Programming Languages and Systems,3(2):162--167, April 1981.
[74] Wilf R. LaLonde.The Construction of Stack-Controlling LR Parsers for RegularRight Part Grammar. ACM Transactions on Programming Languages and Systems,3(2):168--206, April 1981.
[75] John D. Gannon and Paul R. McMullin and Richard G. Hamlet.Data-Abstraction Implementatio. ACM Transactions on Programming Languages and Systems,3(3):211--223, July 1981.
[76] Jan van den Bos and Marinus J. Plasmeijer and Jan Stroet.Process Communication Based on Input Specifications. ACM Transactions on Programming Languages and Systems,3(3):224--250, July 1981.
[77] Martin Rem.Associons: A Program Notation with Tuples Instead of Variables. ACM Transactions on Programming Languages and Systems,3(3):251--262, July 1981.
[78] Gary Lindstrom and Mary Lou Soffa.Referencing and Retention in Block-Structured Coroutines. ACM Transactions on Programming Languages and Systems,3(3):263--292, July 1981.
[79] J. A. Barnden.Nonsequentiality and Concrete Activity Phases in Discrete-EventSimulation Languages. ACM Transactions on Programming Languages and Systems,3(3):293--317, July 1981.
[80] S. O. Anderson and Roland Carl Backhouse.Locally Least-Cost Error Recovery in Early's Algorith. ACM Transactions on Programming Languages and Systems,3(3):318--347, July 1981.
[81] Alan Borning.The Programming Language Aspects of ThingLa. ACM Transactions on Programming Languages and Systems,3(4):353--387, October 1981.
[82] Mehdi Jazayeri and Diane Pozefsky.Space-Efficient Storage Management in an Attribute GrammarEvaluator. ACM Transactions on Programming Languages and Systems,3(4):388--404, October 1981.
[83] Gregory R. Andrews.Synchronizing Resources. ACM Transactions on Programming Languages and Systems,3(4):405--430, October 1981.
[84] Krzysztof R. Apt.Ten Years of Hoare's Logic: A Survey---Part . ACM Transactions on Programming Languages and Systems,3(4):431--483, October 1981.
[85] Irene Greif and Albert R. Meyer.Specifying the Semantics of while Programs: A Tutorial andCritique of a Paper by Hoare and Laue. ACM Transactions on Programming Languages and Systems,3(4):484--507, October 1981.
[86] Wilfred J. Hansen.A Cost Model for the Internal Organization of B+-Tree Node. ACM Transactions on Programming Languages and Systems,3(4):508--532, October 1981.
[87] Martin S. Feather.A System for Assisting Program Transformation. ACM Transactions on Programming Languages and Systems,4(1):1--20, January 1982.
[88] Andrew S. Tanenbaum and Hans van Staveren and Johan W.Stevenson.Using Peephole Optimization on Intermediate Code. ACM Transactions on Programming Languages and Systems,4(1):21--36, January 1982.
[89] Jayadev Misra and K. Mani Chandy.Termination Detection of Diffusing Computations in CommunicatingSequential Processes. ACM Transactions on Programming Languages and Systems,4(1):37--43, January 1982.
[90] James R. McGraw.The VAL Language: Description and Analysi. ACM Transactions on Programming Languages and Systems,4(1):44--82, January 1982.
[91] Christoph M. Hoffman and Michael J. O'Donnell.Programming with Equations. ACM Transactions on Programming Languages and Systems,4(1):83--112, January 1982.
[92] M. Howard Williams.A Flexible Notation for Syntactic Definitions. ACM Transactions on Programming Languages and Systems,4(1):113--119, January 1982.
[93] Fred B. Schneider.Synchronization in Distributed Programs. ACM Transactions on Programming Languages and Systems,4(2):125--148, April 1982.
[94] Richard C. Holt and James R. Cordy and David B. Wortman.An Introduction to S/SL: Syntax/Semantic Languag. ACM Transactions on Programming Languages and Systems,4(2):149--178, April 1982.
[95] Eljas Soisalon-Soininen.Inessential Error Entries and Their Use in LR ParserOptimizatio. ACM Transactions on Programming Languages and Systems,4(2):179--195, April 1982.
[96] Micha Sharir.Some Observations Concerning Formal Differentiation of SetTheoretic Expressions. ACM Transactions on Programming Languages and Systems,4(2):196--225, April 1982.
[97] C. S. Wetherell.Error Data Values in the Data-Flow Language VA. ACM Transactions on Programming Languages and Systems,4(2):226--238, April 1982.
[98] Richard J. Fateman.High-Level Language Implications of the Proposed IEEEFloating-Point Standar. ACM Transactions on Programming Languages and Systems,4(2):239--257, April 1982.
[99] Alberto Martelli and Ugo Montanari.An Efficient Unification Algorithm. ACM Transactions on Programming Languages and Systems,4(2):258--282, April 1982.
[100] Edward A. Ashcroft and William W. Wadge.R/ for Semantics. ACM Transactions on Programming Languages and Systems,4(2):283--294, April 1982.
[101] J. Arsac and Yves Kodratoff.Some Techniques for Recursion Removal from Recursive Programs. ACM Transactions on Programming Languages and Systems,4(2):295--322, April 1982.
[102] John L. Hennessy.Symbolic Debugging of Optimized Code. ACM Transactions on Programming Languages and Systems,4(3):323--344, July 1982.
[103] Paolo Sipala.Compact Storage of Binary Trees. ACM Transactions on Programming Languages and Systems,4(3):345--361, July 1982.
[104] Manfred Broy and Peter Pepper.Combining Algebraic and Algorithmic Reasoning: An Approach tothe Schorr-Waite Algorith. ACM Transactions on Programming Languages and Systems,4(3):362--381, July 1982.
[105] Leslie Lamport and Robert E. Shostak and Marshall C. Pease.The Byzantine Generals Proble. ACM Transactions on Programming Languages and Systems,4(3):382--401, July 1982.
[106] Robert Paige and Shaye Koenig.Finite Differencing of Computable Expressions. ACM Transactions on Programming Languages and Systems,4(3):402--454, July 1982.
[107] Susan S. Owicki and Leslie Lamport.Proving Liveness Properties of Concurrent Programs. ACM Transactions on Programming Languages and Systems,4(3):455--495, July 1982.
[108] Mitchell Wand.Deriving Target Code as a Representation of ContinuationSemantics. ACM Transactions on Programming Languages and Systems,4(3):496--517, July 1982.
[109] Maurice Herlihy and Barbara Liskov.A Value Transmission Method for Abstract Data Types. ACM Transactions on Programming Languages and Systems,4(4):527--551, October 1982.
[110] Richard C. Holt and David B. Wortman.A Model for Implementing Euclid Modules and Prototype. ACM Transactions on Programming Languages and Systems,4(4):552--562, October 1982.
[111] Ralph E. Griswold.The Evaluation of Expressions in Ico. ACM Transactions on Programming Languages and Systems,4(4):563--584, October 1982.
[112] J. Bergeron and A. Dubuque.A Structured APL Syste. ACM Transactions on Programming Languages and Systems,4(4):585--600, October 1982.
[113] Theodore P. Baker.A One-Pass Algorithm for Overload Resolution in Ad. ACM Transactions on Programming Languages and Systems,4(4):601--614, October 1982.
[114] Frank DeRemer and Thomas Pennello.Efficient Computation of LALR(1) Look-Ahead Set. ACM Transactions on Programming Languages and Systems,4(4):615--649, October 1982.
[115] Robert B. K. Dewar and Micha Sharir and Elia Weixelbaum.Transformational Derivation of a Garbage Collection Algorithm. ACM Transactions on Programming Languages and Systems,4(4):650--667, October 1982.
[116] H. J. Boom.A Weaker Precondition for Loops. ACM Transactions on Programming Languages and Systems,4(4):668--677, October 1982.
[117] Jayadev Misra and K. Mani Chandy.A Distributed Graph Algorithm: Knot Detection. ACM Transactions on Programming Languages and Systems,4(4):678--686, October 1982.
[118] William R. Mallgren.Formal Specification of Graphic Data Types. ACM Transactions on Programming Languages and Systems,4(4):687--710, October 1982.
[119] James W. Thatcher and Eric G. Wagner and Jesse B. Wright.Data Type Specification: Parameterization and the Power ofSpecification Techniques. ACM Transactions on Programming Languages and Systems,4(4):711--732, October 1982.
[120] John H. Williams.On the Development of the Algebra of Functional Programs. ACM Transactions on Programming Languages and Systems,4(4):733--757, October 1982.
[121] Gary L. Peterson.An $O(n \log n)$ Unidirectional Algorithm for the CircularExtrema Proble. ACM Transactions on Programming Languages and Systems,4(4):758--762, October 1982.
[122] Philip Merlin and Gregor von Bochmann.On the Construction of Submodule Specifications andCommunication Protocols. ACM Transactions on Programming Languages and Systems,5(1):1--25, January 1983.
[123] Stefan M. Freudenberger and Jacob T. Schwartz and MichaSharir.Experience with the SETL Optimize. ACM Transactions on Programming Languages and Systems,5(1):26--45, January 1983.
[124] Gary L. Peterson.Concurrent Reading While Writing. ACM Transactions on Programming Languages and Systems,5(1):46--55, January 1983.
[125] Gary L. Peterson.A New Solution to Lamport's Concurrent Programming ProblemUsing Small Shared Variable. ACM Transactions on Programming Languages and Systems,5(1):56--65, January 1983.
[126] R. G. Gallager and P. A. Humblet and Philip M. Spira.A Distributed Algorithm for Minimum-Weight Spanning Trees. ACM Transactions on Programming Languages and Systems,5(1):66--77, January 1983.
[127] Richard B. Kieburtz and Abraham Silberschatz.Access-Right Expressions. ACM Transactions on Programming Languages and Systems,5(1):78--96, January 1983.
[128] Samuel N. Kamin.Final Data Types and Their Specification. ACM Transactions on Programming Languages and Systems,5(1):97--123, January 1983.
[129] Steven P. Reiss.Generation of Compiler Symbol Processing Mechanisms. ACM Transactions on Programming Languages and Systems,5(2):127--163, April 1983.
[130] Allan Gottlieb and Boris D. Lubachevsky and Larry Rudolph.Basic Techniques for the Efficient Coordination of Very LargeNumbers of Cooperating Sequential Processors. ACM Transactions on Programming Languages and Systems,5(2):164--189, April 1983.
[131] Leslie Lamport.Specifying Concurrent Program Modules. ACM Transactions on Programming Languages and Systems,5(2):190--222, April 1983.
[132] Gael N. Buckley and Abraham Silberschatz.An Effective Implementation for the Generalized Input-OutputConstruct of CS. ACM Transactions on Programming Languages and Systems,5(2):223--235, April 1983.
[133] B. Maher and D. H. Sleeman.Automatic Program Improvement: Variable Usage Transformations. ACM Transactions on Programming Languages and Systems,5(2):236--264, April 1983.
[134] Norman H. Cohen.Eliminating Redundant Recursive Calls. ACM Transactions on Programming Languages and Systems,5(3):265--299, July 1983.
[135] Eliezer Dekel and Sartaj Sahni.Parallel Generation of Postfix and Tree Forms. ACM Transactions on Programming Languages and Systems,5(3):300--317, July 1983.
[136] Harald Ganzinger.Parameterized Specifications: Parameter Passing andImplementation with Respect to Observability. ACM Transactions on Programming Languages and Systems,5(3):318--354, July 1983.
[137] Sergiu Hart and Micha Sharir and Amir Pnueli.Termination of Probabilistic Concurrent Program. ACM Transactions on Programming Languages and Systems,5(3):356--380, July 1983.
[138] Barbara Liskov and Robert Scheifler.Guardians and Actions: Linguistic Support for Robus. ACM Transactions on Programming Languages and Systems,5(3):381--404, July 1983.
[139] Richard J. Lipton and Jacobo Valdes and Gopalakrishnan Vijayanand Stephen C. North and Robert Sedgewick.VLSI Layout as Programmin. ACM Transactions on Programming Languages and Systems,5(3):405--421, July 1983.
[140] John L. Hennessy and Thomas Gross.Postpass Code Optimization of Pipeline Constraints. ACM Transactions on Programming Languages and Systems,5(3):422--448, July 1983.
[141] Thomas W. Reps and Tim Teitelbaum and Alan J. Demers.Incremental Context-Dependent Analysis for Language-BasedEditors. ACM Transactions on Programming Languages and Systems,5(3):449--477, July 1983.
[142] Robert Giegerich.A Formal Framework for the Derivation of Machine-SpecificOptimizers. ACM Transactions on Programming Languages and Systems,5(3):478--498, July 1983.
[143] Richard C. Waters.User Format Control in a Lisp Prettyprinte. ACM Transactions on Programming Languages and Systems,5(4):513--531, October 1983.
[144] Jacques Cohen and Alexandru Nicolau.Comparison of Compacting Algorithms for Garbage Collection. ACM Transactions on Programming Languages and Systems,5(4):532--553, October 1983.
[145] Ravi Sethi.Control Flow Aspects of Semantics-Directed Compiling. ACM Transactions on Programming Languages and Systems,5(4):554--595, October 1983.
[146] C. B. Jones.Tentative Steps Toward a Development Method for InterferingPrograms. ACM Transactions on Programming Languages and Systems,5(4):596--619, October 1983.
[147] Marty Ossefort.Correctness Proofs of Communicating Processes: ThreeIllustrative Examples from the Literature. ACM Transactions on Programming Languages and Systems,5(4):620--640, October 1983.
[148] Elaine J. Weyuker.Assessing Test Data Adequacy through Program Inference. ACM Transactions on Programming Languages and Systems,5(4):641--655, October 1983.
[149] Seppo Sippu and Eljas Soisalon-Soininen.A Syntax-Error-Handling Technique and Its ExperimentalAnalysis. ACM Transactions on Programming Languages and Systems,5(4):656--679, October 1983.
[150] Archer Jr.User Recovery and Reversal in Interactive Systems. ACM Transactions on Programming Languages and Systems,6(1):1--19, January 1984.
[151] Robert D. Cameron and M. Robert Ito.Grammar-Based Definition of Metaprogramming Systems. ACM Transactions on Programming Languages and Systems,6(1):20--54, January 1984.
[152] L. Colussi.Recursion As an Effective Step in Program Development. ACM Transactions on Programming Languages and Systems,6(1):55--67, January 1984.
[153] Zohar Manna and Pierre Wolper.Synthesis of Communicating Processes from Temporal LogicSpecifications. ACM Transactions on Programming Languages and Systems,6(1):68--93, January 1984.
[154] Robert L. Constable and Daniel R. Zlatin.The Type Theory of PL/CV. ACM Transactions on Programming Languages and Systems,6(1):94--117, January 1984.
[155] Arie Kaufman.Tailored-List and Recombination-Delaying Buddy Systems. ACM Transactions on Programming Languages and Systems,6(1):118--125, January 1984.
[156] William F. Appelbe and A. P. Ravn.Encapsulation Constructs in Systems Programming Languages. ACM Transactions on Programming Languages and Systems,6(2):129--158, April 1984.
[157] F. Warren Burton.Annotations to Control Parallelis. ACM Transactions on Programming Languages and Systems,6(2):159--174, April 1984.
[158] M. Elizabeth C. Hull and R. M. McKeag.Communicating Sequential Processes for Centralized andDistributed Operating System Design. ACM Transactions on Programming Languages and Systems,6(2):175--191, April 1984.
[159] Roland Carl Backhouse.Global Data Flow Analysis Problems Arising in Locally Least-CostError Recovery. ACM Transactions on Programming Languages and Systems,6(2):192--214, April 1984.
[160] John H. Reif and Paul G. Spirakis.Real-Time Synchronization of Interprocess Communications. ACM Transactions on Programming Languages and Systems,6(2):215--238, April 1984.
[161] Richard Alan Karp.Proving Failure-Free Properties of Concurrent Systems UsingTemporal Logic. ACM Transactions on Programming Languages and Systems,6(2):239--253, April 1984.
[162] Leslie Lamport.Using Time Instead of Timeout for Fault-Tolerant DistributedSystems. ACM Transactions on Programming Languages and Systems,6(2):254--280, April 1984.
[163] Leslie Lamport and Fred B. Schneider.The ``Hoare Logic'' of CS. ACM Transactions on Programming Languages and Systems,6(2):281--296, April 1984.
[164] Timothy A. Budd.An APL Compiler for a Vector Processo. ACM Transactions on Programming Languages and Systems,6(3):297--313, July 1984.
[165] Richard F. Hobson.A Directly Executable Encoding for AP. ACM Transactions on Programming Languages and Systems,6(3):314--332, July 1984.
[166] Mordechai Ben-Ari.Algorithms for On-the-fly Garbage Collection. ACM Transactions on Programming Languages and Systems,6(3):333--344, July 1984.
[167] Takuya Katayama.Translation of Attribute Grammars into Procedures. ACM Transactions on Programming Languages and Systems,6(3):345--369, July 1984.
[168] Krzysztof R. Apt and Nissim Francez.Modeling the Distributed Termination Convention of CS. ACM Transactions on Programming Languages and Systems,6(3):370--379, July 1984.
[169] E. Korach and Doron Rotem and Nicola Santoro.Distributed Algorithms for Finding Centers and Medians inNetworks. ACM Transactions on Programming Languages and Systems,6(3):380--401, July 1984.
[170] Richard D. Schlichting and Fred B. Schneider.Using Message Passing for Distributed Programming: Proof Rule. ACM Transactions on Programming Languages and Systems,6(3):402--431, July 1984.
[171] Wilf R. LaLonde.Comments on Soisalon-Soininen's ``Inessential ErrorEntries'. ACM Transactions on Programming Languages and Systems,6(3):432--439, July 1984.
[172] Robert I. Winner.Unassigned Objects. ACM Transactions on Programming Languages and Systems,6(4):449--467, October 1984.
[173] Franco Turini.Magma2: A Language Oriented toward Experiments in Control. ACM Transactions on Programming Languages and Systems,6(4):468--486, October 1984.
[174] R. S. Bird.The Promotion and Accumulation Strategies in TransformationalProgramming. ACM Transactions on Programming Languages and Systems,6(4):487--504, October 1984.
[175] Jack W. Davidson and Christopher W. Fraser.Code Selection through Object Code Optimization. ACM Transactions on Programming Languages and Systems,6(4):505--526, October 1984.
[176] M. V. S. Ramanath and Marvin H. Solomon.Jump Minimization in Linear Time. ACM Transactions on Programming Languages and Systems,6(4):527--545, October 1984.
[177] Peter Dencker and Karl D\"urre and Johannes Heuf.Optimization of Parser Tables for Portable Compilers. ACM Transactions on Programming Languages and Systems,6(4):546--572, October 1984.
[178] Naftaly H. Minsky.Selective and Locally Controlled Transport of Privileges. ACM Transactions on Programming Languages and Systems,6(4):573--602, October 1984.
[179] Michael Georgeff.Transformations and Reduction Strategies for Typed LambdaExpressions. ACM Transactions on Programming Languages and Systems,6(4):603--631, October 1984.
[180] K. Mani Chandy and Jayadev Misra.The Drinking Philosopher's Problem. ACM Transactions on Programming Languages and Systems,6(4):632--646, October 1984.
[181] N. Soundararajan.Axiomatic Semantics of Communicating Sequential Processes. ACM Transactions on Programming Languages and Systems,6(4):647--662, October 1984.
[182] David Barstow.On Convergence Toward a Database of Program Transformations. ACM Transactions on Programming Languages and Systems,7(1):1--9, January 1985.
[183] Pamela Zave.A Distributed Alternative to Finite-State-MachineSpecifications. ACM Transactions on Programming Languages and Systems,7(1):10--36, January 1985.
[184] Jean-Francois Bergeretti and Bernard A. Carr\'.Information-Flow and Data-Flow Analysis of while-Programs. ACM Transactions on Programming Languages and Systems,7(1):37--61, January 1985.
[185] David R. Fuchs and Donald E. Knuth.Optimal Prepaging and Font Caching. ACM Transactions on Programming Languages and Systems,7(1):62--79, January 1985.
[186] David Gelernter.Generative Communication in Linda. ACM Transactions on Programming Languages and Systems,7(1):80--112, January 1985.
[187] Joseph L. Bates and Robert L. Constable.Proofs as Programs. ACM Transactions on Programming Languages and Systems,7(1):113--136, January 1985.
[188] Douglas D. Dunlop and Victor R. Basili.Generalizing Specifications for Uniformly Implemented Loops. ACM Transactions on Programming Languages and Systems,7(1):137--158, January 1985.
[189] Joseph C. H. Park and K. M. Choe and C. H. Chang.A New Analysis of LALR Formalism. ACM Transactions on Programming Languages and Systems,7(1):159--175, January 1985.
[190] David Wall and Amitabh Srivastava and Fred Templin.A Note on Hennessy's ``Symbolic Debugging of OptimizedCode'. ACM Transactions on Programming Languages and Systems,7(1):176--181, January 1985.
[191] Jan Heering and Paul Klint.Towards Monolingual Programming Environments. ACM Transactions on Programming Languages and Systems,7(2):183--213, April 1985.
[192] Shaula Yemini and Daniel M. Berry.A Modular Verifiable Exception-Handling Mechanism. ACM Transactions on Programming Languages and Systems,7(2):214--243, April 1985.
[193] William E. Weihl and Barbara Liskov.Implementation of Resilien. ACM Transactions on Programming Languages and Systems,7(2):244--269, April 1985.
[194] George J. Milne.Circal and the Representation of Communicatio. ACM Transactions on Programming Languages and Systems,7(2):270--298, April 1985.
[195] David A. Schmidt.Detecting Global Variables in Denotational Specifications. ACM Transactions on Programming Languages and Systems,7(2):299--310, April 1985.
[196] Keshav Pingali and Arvind.Efficient Demand-Driven Evaluation---Part 1. ACM Transactions on Programming Languages and Systems,7(2):311--333, April 1985.
[197] Giuseppina C. Gini and Maria L. Gini.Dealing with World-Model-Based Programs. ACM Transactions on Programming Languages and Systems,7(2):334--347, April 1985.
[198] Ilan Bar-On and Uzi Vishkin.Optimal Parallel Generation of a Computation Tree Form. ACM Transactions on Programming Languages and Systems,7(2):348--357, April 1985.
[199] Flemming Nielson.Program Transformations in a Denotational Setting. ACM Transactions on Programming Languages and Systems,7(3):359--379, July 1985.
[200] George S. Avrunin and Jack C. Wileden.Describing and Analyzing Distributed Software System Designs. ACM Transactions on Programming Languages and Systems,7(3):380--403, July 1985.
[201] David R. Jefferson.Virtual Time. ACM Transactions on Programming Languages and Systems,7(3):404--425, July 1985.
[202] James E. Donahue and Alan J. Demers.Data Types Are Values. ACM Transactions on Programming Languages and Systems,7(3):426--445, July 1985.
[203] Nachum Dershowitz.Program Abstraction and Instantiation. ACM Transactions on Programming Languages and Systems,7(3):446--477, July 1985.
[204] Helmut Richter.Noncorrecting Syntax Error Recovery. ACM Transactions on Programming Languages and Systems,7(3):478--489, July 1985.
[205] R. S. Bird.Addendum to ``The Promotion and Accumulation Strategies inTransformational Programming'. ACM Transactions on Programming Languages and Systems,7(3):490--492, July 1985.
[206] Halstead Jr.Multilisp: A Language for Concurrent Symbolic Computation. ACM Transactions on Programming Languages and Systems,7(4):501--538, October 1985.
[207] Malcolm P. Atkinson and Ronald Morrison.Procedures as Persistent Data Objects. ACM Transactions on Programming Languages and Systems,7(4):539--559, October 1985.
[208] Mahadevan Ganapathi and Charles N. Fischer.Affix Grammar Driven Code Generation. ACM Transactions on Programming Languages and Systems,7(4):560--599, October 1985.
[209] Robert P. Nix.Editing by Example. ACM Transactions on Programming Languages and Systems,7(4):600--621, October 1985.
[210] Nissim Francez and Shaula A. Yemini.Symmetric Intertask Communication. ACM Transactions on Programming Languages and Systems,7(4):622--636, October 1985.
[211] Hans-Juergen Boehm.Side Effects and Aliasing Can Have Simple AxiomaticDescriptions. ACM Transactions on Programming Languages and Systems,7(4):637--655, October 1985.
[212] Arie de Bruin and Wim B\"oh.The Denotational Semantics of Dynamic Networks of Processes. ACM Transactions on Programming Languages and Systems,7(4):656--679, October 1985.
[213] Alberto Pettorossi.A Note on Cohen's ``Eliminating Redundant RecursiveCalls'. ACM Transactions on Programming Languages and Systems,7(4):680--685, October 1985.
[214] Keith L. Clark and Steve Gregory.Parlog: Parallel Programming in Logic. ACM Transactions on Programming Languages and Systems,8(1):1--49, January 1986.
[215] Leeman Jr.A Formal Approach to Undo Operations in Programming Languages. ACM Transactions on Programming Languages and Systems,8(1):50--87, January 1986.
[216] Robert M. Keller and M. Ronan Sleep.Applicative Caching. ACM Transactions on Programming Languages and Systems,8(1):88--108, January 1986.
[217] Keshav Pingali and Arvind.Efficient Demand-Driven Evaluation---Part 2. ACM Transactions on Programming Languages and Systems,8(1):109--139, January 1986.
[218] Keshav Pingali and Arvind.Clarification of ``Feeding Inputs on Demand'' in EfficientDemand-Driven Evaluation---Part . ACM Transactions on Programming Languages and Systems,8(1):140--141, January 1986.
[219] Jayadev Misra.Axioms for Memory Access in Asynchronous Hardware Systems. ACM Transactions on Programming Languages and Systems,8(1):142--153, January 1986.
[220] Mohamed G. Gouda and Chung-Kuo Chang.Proving Liveness for Networks of Communicating Finite StateMachines. ACM Transactions on Programming Languages and Systems,8(1):154--182, January 1986.
[221] Laurian M. Chirica and David F. Martin.Toward Compiler Implementation Correctness Proofs. ACM Transactions on Programming Languages and Systems,8(2):185--214, April 1986.
[222] C. R. Spooner.The ML Approach to the Readable All-Purpose Languag. ACM Transactions on Programming Languages and Systems,8(2):215--243, April 1986.
[223] Clarke Jr.Automatic Verification of Finite-State Concurrent Systems UsingTemporal Logic Specifications. ACM Transactions on Programming Languages and Systems,8(2):244--263, April 1986.
[224] Thomas J. Sager.A Short Proof of a Conjecture of DeRemer and Pennell. ACM Transactions on Programming Languages and Systems,8(2):264--271, April 1986.
[225] Walter F. Tichy.Smart Recompilation. ACM Transactions on Programming Languages and Systems,8(3):273--291, July 1986.
[226] Valentin F. Turchin.The Concept of a Supercompiler. ACM Transactions on Programming Languages and Systems,8(3):292--325, July 1986.
[227] K. Mani Chandy and Jayadev Misra.An Example of Stepwise Refinement of Distributed Programs:Quiescence Detection. ACM Transactions on Programming Languages and Systems,8(3):326--343, July 1986.
[228] Matthew Hennessy.Proving Systolic Systems Correct. ACM Transactions on Programming Languages and Systems,8(3):344--387, July 1986.
[229] Krzysztof R. Apt.Correctness Proofs of Distributed Termination Algorithms. ACM Transactions on Programming Languages and Systems,8(3):388--405, July 1986.
[230] Daniel C. Swinehart and Polle Zellweger and Richard Beach andRobert Hagemann.A Structural View of the Cedar Programming Environmen. ACM Transactions on Programming Languages and Systems,8(4):419--490, October 1986.
[231] Keith D. Cooper and Ken Kennedy and Linda Torczon.The Impact of Interprocedural Analysis and Optimization in theRn Programming Environmen. ACM Transactions on Programming Languages and Systems,8(4):491--523, October 1986.
[232] Mark Moriconi and Dwight F. Hare.The PegaSys System: Pictures as Formal Documentation of LargeProgram. ACM Transactions on Programming Languages and Systems,8(4):524--546, October 1986.
[233] Rolf Bahlke and Gregor Snelting.The PSG System: From Formal Language Definitions toInteractive Programming Environment. ACM Transactions on Programming Languages and Systems,8(4):547--576, October 1986.
[234] Susan Horwitz and Tim Teitelbaum.Generating Editing Environments Based on Relations andAttributes. ACM Transactions on Programming Languages and Systems,8(4):577--608, October 1986.
[235] Jeannette M. Wing.Writing Larch Interface Language Specification. ACM Transactions on Programming Languages and Systems,9(1):1--24, January 1987.
[236] Scott D. Carson and Reynolds Jr.The Geometry of Semaphore Programs. ACM Transactions on Programming Languages and Systems,9(1):25--53, January 1987.
[237] Manfred Broy and Martin Wirsing and Peter Pepper.On the Algebraic Definition of Programming Languages. ACM Transactions on Programming Languages and Systems,9(1):54--99, January 1987.
[238] Stefan Sokolowski.Soundness of Hoare's Logic: An Automated Proof Using LC. ACM Transactions on Programming Languages and Systems,9(1):100--120, January 1987.
[239] Jacques Cohen and Timothy J. Hickey.Parsing and Compiling Using Prolo. ACM Transactions on Programming Languages and Systems,9(2):125--163, April 1987.
[240] Michael G. Burke and Gerald A. Fisher.A Practical Method for LR and LL Syntactic Error Diagnosi. ACM Transactions on Programming Languages and Systems,9(2):164--197, April 1987.
[241] Martin S. Feather.Language Support for the Specification and Development ofComposite Systems. ACM Transactions on Programming Languages and Systems,9(2):198--234, April 1987.
[242] Raphael A. Finkel and Udi Manber.DIB---A Distributed Implementation of Backtrackin. ACM Transactions on Programming Languages and Systems,9(2):235--256, April 1987.
[243] Robert A. Mueller and Joseph Varghese.Retargetable Microcode Synthesis. ACM Transactions on Programming Languages and Systems,9(2):257--276, April 1987.
[244] Christopher W. Fraser and Eugene W. Myers.An Editor for Revision Control. ACM Transactions on Programming Languages and Systems,9(2):277--295, April 1987.
[245] David Alex Lamb.IDL: Sharing Intermediate Representation. ACM Transactions on Programming Languages and Systems,9(3):297--318, July 1987.
[246] Jeanne Ferrante and Karl J. Ottenstein and Joe D. Warren.The Program Dependence Graph and Its Use in Optimization. ACM Transactions on Programming Languages and Systems,9(3):319--349, July 1987.
[247] Arthur Charlesworth.The Multiway Rendezvous. ACM Transactions on Programming Languages and Systems,9(3):350--366, July 1987.
[248] Richard C. Holt.Data Descriptors: A Compile-Time Model of Data and Addressing. ACM Transactions on Programming Languages and Systems,9(3):367--389, July 1987.
[249] Shaula Yemini and Daniel M. Berry.An Axiomatic Treatment of Exception Handling in anExpression-Oriented Language. ACM Transactions on Programming Languages and Systems,9(3):390--407, July 1987.
[250] Thomas W. Reps and Alan J. Demers.Sublinear-Space Evaluation Algorithms for Attribute Grammars. ACM Transactions on Programming Languages and Systems,9(3):408--440, July 1987.
[251] Debasish Banerjee.A Methodology for Synthesis of Recursive Functional Programs. ACM Transactions on Programming Languages and Systems,9(3):441--462, July 1987.
[252] Michael Sonnenschein.Graph Translation Schemes to Generate Compiler Parts. ACM Transactions on Programming Languages and Systems,9(4):473--490, October 1987.
[253] Randy Allen and Ken Kennedy.Automatic Translation of Fortran Programs to Vector Form. ACM Transactions on Programming Languages and Systems,9(4):491--542, October 1987.
[254] Daniel J. Rosenkrantz and Harry B. Hunt.Efficient Algorithms for Automatic Construction andCompactification of Parsing Grammars. ACM Transactions on Programming Languages and Systems,9(4):543--566, October 1987.
[255] Ed Anson.A Generalized Iterative Construct and Its Semantics. ACM Transactions on Programming Languages and Systems,9(4):567--581, October 1987.
[256] Christopher T. Haynes and Daniel P. Friedman.Embedding Continuations in Procedural Objects. ACM Transactions on Programming Languages and Systems,9(4):582--598, October 1987.
[257] Janice E. Cuny and Lawrence Snyder.Conversion from Data-Driven to Synchronous Execution in LoopPrograms. ACM Transactions on Programming Languages and Systems,9(4):599--617, October 1987.
[258] Lubomir Bic and Craig Lee.A Data-Driven Model for a Subset of Logic Programming. ACM Transactions on Programming Languages and Systems,9(4):618--645, October 1987.
[259] Jacques Loeckx.Algorithmic Specifications: A Constructive Specification Methodfor Abstract Data Types. ACM Transactions on Programming Languages and Systems,9(4):646--685, October 1987.
[260] Barbara G. Ryder and Marvin C. Paull.Incremental Data-Flow Analysis. ACM Transactions on Programming Languages and Systems,10(1):1--50, January 1988.
[261] Gregory R. Andrews and Ronald A. Olsson and Michael H. Coffinand Irving Elshoff and Kelvin Nilsen and Titus Purdin and Gregg M.Townsend.An Overview of the SR Language and Implementatio. ACM Transactions on Programming Languages and Systems,10(1):51--86, January 1988.
[262] Wim H. Hesselink.A Mathematical Approach to Nondeterminism in Data Types. ACM Transactions on Programming Languages and Systems,10(1):87--117, January 1988.
[263] Raymond T. Boute.System Semantics: Principle. ACM Transactions on Programming Languages and Systems,10(1):118--155, January 1988.
[264] Joylyn Reed and Raymond T. Yeh.Specification and Verification of Liveness Properties of Cycli. ACM Transactions on Programming Languages and Systems,10(1):156--177, January 1988.
[265] Sandra L. Murphy and A. Udaya Shankar.A Note on the Drinking Philosophers Problem. ACM Transactions on Programming Languages and Systems,10(1):178--188, January 1988.
[266] Paul N. Hilfinger.An Ada Package for Dimensional Analysi. ACM Transactions on Programming Languages and Systems,10(2):189--203, April 1988.
[267] Niklaus Wirth.Type Extensions. ACM Transactions on Programming Languages and Systems,10(2):204--214, April 1988.
[268] Jan van den Bos.Abstract Interaction Tools: A Language for User InterfaceManagement Systems. ACM Transactions on Programming Languages and Systems,10(2):215--247, April 1988.
[269] Daniel Le M\'etaye.ACE: An Automatic Complexity Evaluato. ACM Transactions on Programming Languages and Systems,10(2):248--266, April 1988.
[270] Leslie Lamport.Control Predicates are Better than Dummy Variables for Reasoningabout Program Control. ACM Transactions on Programming Languages and Systems,10(2):267--281, April 1988.
[271] Dennis Shasha and Marc Snir.Efficient and Correct Execution of Parallel Programs that ShareMemory. ACM Transactions on Programming Languages and Systems,10(2):282--312, April 1988.
[272] Albert G. Greenberg and Boris D. Lubachevsky and Andrew M.Odlyzko.Simpl. ACM Transactions on Programming Languages and Systems,10(2):313--337, April 1988.
[273] Manuel E. Bermudez and Karl M. Schimpf.On the (non-) Relationship between SLR(1) and NQLALR(1)Grammar. ACM Transactions on Programming Languages and Systems,10(2):338--342, April 1988.
[274] Pierpaolo Degano and Stefano Mannucci and Bruno Mojana.Efficient Incremental LR Parsing for Syntax-Directed Editor. ACM Transactions on Programming Languages and Systems,10(3):345--373, July 1988.
[275] Laura K. Dillon and George S. Avrunin and Jack C. Wiledon.Constrained Expressions: Toward Broad Applicability of AnalysisMethods for Distributed Software Systems. ACM Transactions on Programming Languages and Systems,10(3):374--402, July 1988.
[276] Carroll Morgan.The Specification Statement. ACM Transactions on Programming Languages and Systems,10(3):403--419, July 1988.
[277] Ernst-R\"udiger Olderog and Krzysztof R. Ap.Fairness in Parallel Programs: The Transformational Approach. ACM Transactions on Programming Languages and Systems,10(3):420--455, July 1988.
[278] Jon Mauney and Charles N. Fischer.Determining the Extent of Lookahead in Syntactic Error Repair. ACM Transactions on Programming Languages and Systems,10(3):456--469, July 1988.
[279] John C. Mitchell and Gordon D. Plotkin.Abstract Types Have Existential Type. ACM Transactions on Programming Languages and Systems,10(3):470--502, July 1988.
[280] R. J. R. Back and R. Kurki-Suonio.Distributed Cooperation with Action Systems. ACM Transactions on Programming Languages and Systems,10(4):513--554, October 1988.
[281] Katsuro Inoue and Hiroyuki Seki and Hikaru Yagi.Analysis of Functional Programs to Detect Run-Time GarbageCells. ACM Transactions on Programming Languages and Systems,10(4):555--578, October 1988.
[282] Clyde P. Kruskal and Larry Rudolph and Marc Snir.Efficient Synchronization on Multiprocessors with SharedMemory. ACM Transactions on Programming Languages and Systems,10(4):579--601, October 1988.
[283] Richard Kennaway and Ronan Sleep.Director Strings as Combinators. ACM Transactions on Programming Languages and Systems,10(4):602--626, October 1988.
[284] Robert W. Schwanke and Gail E. Kaiser.Smarter Recompilation. ACM Transactions on Programming Languages and Systems,10(4):627--632, October 1988.
[285] Walter F. Tichy.Tichy's Response to R.~W. Schwanke and G.~E. Kaiser's``Smarter Recompilation'. ACM Transactions on Programming Languages and Systems,10(4):633--634, October 1988.
[286] Karl-Heinz Drechsler and Manfred P. Stadel.A Solution to a Problem with Morel and Renvoise's``Global Optimization by Suppression of Partial Redundancies'. ACM Transactions on Programming Languages and Systems,10(4):635--640, October 1988.
[287] Peter A. Steenkiste and John L. Hennessy.A Simple Interprocedural Register Allocation Algorithm and ItsEffectiveness for Lis. ACM Transactions on Programming Languages and Systems,11(1):1--32, January 1989.
[288] Eugene W. Myers and Webb Miller.Row Replacement Algorithms for Screen Editors. ACM Transactions on Programming Languages and Systems,11(1):33--56, January 1989.
[289] David Bernstein and Izidor Gertner.Scheduling Expressions on a Pipelined Processor with a MaximalDelay of One Cycle. ACM Transactions on Programming Languages and Systems,11(1):57--66, January 1989.
[290] J\orgen Steensgaard-Madse.Type Representation of Objects by Functions. ACM Transactions on Programming Languages and Systems,11(1):67--89, January 1989.
[291] Michael J. Fischer and Nancy A. Lynch and James E. Burns andAllan Borodin.Distributed FIFO Allocation of Identical Resources Using SmallShared Spac. ACM Transactions on Programming Languages and Systems,11(1):90--114, January 1989.
[292] Hassan A\"\it-Kaci and Robert S. Boyer and Patrick Lincolnand Roger Nas.Efficient Implementation of Lattice Operations. ACM Transactions on Programming Languages and Systems,11(1):115--146, January 1989.
[293] Bowen Alpern and Fred B. Schneider.Verifying Temporal Properties without Temporal Logic. ACM Transactions on Programming Languages and Systems,11(1):147--167, January 1989.
[294] Gail E. Kaiser.Incremental Dynamic Semantics for Language-Based ProgrammingEnvironments. ACM Transactions on Programming Languages and Systems,11(2):169--193, April 1989.
[295] Robert D. Cameron.Efficient High-Level Iteration with Accumulators. ACM Transactions on Programming Languages and Systems,11(2):194--211, April 1989.
[296] Wilf R. LaLonde.Designing Families of Data Types Using Exemplars. ACM Transactions on Programming Languages and Systems,11(2):212--248, April 1989.
[297] William E. Weihl.Local Atomicity Properties: Modular Concurrency Control forAbstract Data Types. ACM Transactions on Programming Languages and Systems,11(2):249--283, April 1989.
[298] Vincenza Carchiolo and Antonella Di Stefano and Alberto Faroand Giuseppe Pappalardo.ECCS and LIPS: Two Languages for OSI Systems Specificationand Verificatio. ACM Transactions on Programming Languages and Systems,11(2):284--329, April 1989.
[299] James E. Burns and Jan K. Pachl.Uniform Self-Stabilizing Rings. ACM Transactions on Programming Languages and Systems,11(2):330--344, April 1989.
[300] Susan Horwitz and Jan Prins and Thomas W. Reps.Integrating Noninterfering Versions of Programs. ACM Transactions on Programming Languages and Systems,11(3):345--387, July 1989.
[301] R. P. Brent.Efficient Implementation of the First-Fit Strategy for DynamicStorage Allocation. ACM Transactions on Programming Languages and Systems,11(3):388--403, July 1989.
[302] Frank D. Anger.On Lamport's Interprocessor Communication Mode. ACM Transactions on Programming Languages and Systems,11(3):404--417, July 1989.
[303] Saumya K. Debray.Static Inference of Modes and Data Dependencies in LogicPrograms. ACM Transactions on Programming Languages and Systems,11(3):418--450, July 1989.
[304] Saumya K. Debray and David Scott Warren.Functional Computations in Logic Programs. ACM Transactions on Programming Languages and Systems,11(3):451--481, July 1989.
[305] Alfred V. Aho and Mahadevan Ganapathi and Steven W. K. Tjiang.Code Generation Using Tree Matching and Dynamic Programming. ACM Transactions on Programming Languages and Systems,11(4):491--516, October 1989.
[306] Greg Nelson.A Generalization of Dijkstra's Calculu. ACM Transactions on Programming Languages and Systems,11(4):517--561, October 1989.
[307] Valmir C. Barbosa and Eli Gafni.Concurrency in Heavily Loaded Neighborhood-Constrained Systems. ACM Transactions on Programming Languages and Systems,11(4):562--584, October 1989.
[308] Rajive Bagrodia.Synchronization of Asynchronous Processes in CS. ACM Transactions on Programming Languages and Systems,11(4):585--597, October 1989.
[309] Arvind and Rishiyur S. Nikhil and Keshav Pingali.I-Structures: Data Structures for Parallel Computing. ACM Transactions on Programming Languages and Systems,11(4):598--632, October 1989.
[310] Ben A. Sijtsma.On the Productivity of Recursive List Definitions. ACM Transactions on Programming Languages and Systems,11(4):633--649, October 1989.
[311] Tim Nicholson and Norman Foo.A Denotational Semantics for Prolo. ACM Transactions on Programming Languages and Systems,11(4):650--665, October 1989.
[312] Arthur Sorkin.Some Comments on ``A Solution to a Problem with Morel andRenvoise's `Global Optimization by Suppression of PartialRedundancies. ACM Transactions on Programming Languages and Systems,11(4):666--668, October 1989.
[313] Geoffrey Clemm and Leon J. Osterweil.A Mechanism for Environment Integration. ACM Transactions on Programming Languages and Systems,12(1):1--25, January 1990.
[314] Susan Horwitz and Thomas W. Reps and David Binkley.Interprocedural Slicing Using Dependence Graphs. ACM Transactions on Programming Languages and Systems,12(1):26--60, January 1990.
[315] Vance E. Waddle.Production Trees: A Compact Representation of Parsed Programs. ACM Transactions on Programming Languages and Systems,12(1):61--83, January 1990.
[316] E. Korach and Shay Kutten and Shlomo Moran.A Modular Technique for the Design of Efficient DistributedLeader Finding Algorithms. ACM Transactions on Programming Languages and Systems,12(1):84--101, January 1990.
[317] Shing-Tsaan Huang.A Distributed Deadlock Detection Algorithm for CSP-LikeCommunicatio. ACM Transactions on Programming Languages and Systems,12(1):102--122, January 1990.
[318] William M. Farmer and John D. Ramsdell and Ronald J. Watro.A Correctness Proof for Combinator Reduction with Cycles. ACM Transactions on Programming Languages and Systems,12(1):123--134, January 1990.
[319] F. Warren Burton.Type Extension Through Polymorphism. ACM Transactions on Programming Languages and Systems,12(1):135--138, January 1990.
[320] David Lorge Parnas.On Iterative Constructs. ACM Transactions on Programming Languages and Systems,12(1):139--141, January 1990.
[321] Brad A. Myers.Creating User Interfaces Using Programming by Exampl. ACM Transactions on Programming Languages and Systems,12(2):143--177, April 1990.
[322] William E. Weihl.Linguistic Support for Atomic Data Types. ACM Transactions on Programming Languages and Systems,12(2):178--202, April 1990.
[323] Edgar Knapp.An Exercise in the Formal Derivation of Parallel Programs:Maximum Flows in Graphs. ACM Transactions on Programming Languages and Systems,12(2):203--223, April 1990.
[324] Jared L. Darlington.Search Direction by Goal Failure in Goal-Directed Programming. ACM Transactions on Programming Languages and Systems,12(2):224--252, April 1990.
[325] Annalisa Bossi and Nicoletta Cocco and S. Dulli.A Method for Specializing Logic Programs. ACM Transactions on Programming Languages and Systems,12(2):253--302, April 1990.
[326] S. Aggarwal and C. Courcoubetis and Pierre Wolper.Adding Liveness Properties to Coupled Finite-State Machines. ACM Transactions on Programming Languages and Systems,12(2):303--339, April 1990.
[327] Michael Burke.An Interval-Based Approach to Exhaustive and IncrementalInterprocedural Data-Flow Analysis. ACM Transactions on Programming Languages and Systems,12(3):341--395, July 1990.
[328] Leslie Lamport.\emphwin and \emphsin: Predicate Transformers forConcurrenc. ACM Transactions on Programming Languages and Systems,12(3):396--428, July 1990.
[329] Larry G. Jones.Efficient Evaluation of Circular Attribute Grammars. ACM Transactions on Programming Languages and Systems,12(3):429--462, July 1990.
[330] Maurice Herlihy and Jeannette M. Wing.Linearizability: A Correctness Condition for ConcurrentObjects. ACM Transactions on Programming Languages and Systems,12(3):463--492, July 1990.
[331] Fred C. Chow and John L. Hennessy.The Priority-Based Coloring Approach to Register Allocation. ACM Transactions on Programming Languages and Systems,12(4):501--536, October 1990.
[332] James W. Stamos and David K. Gifford.Remote Evaluation. ACM Transactions on Programming Languages and Systems,12(4):537--565, October 1990.
[333] Prasun Dewan and Marvin H. Solomon.An Approach to Support Automatic Generation of User Interfaces. ACM Transactions on Programming Languages and Systems,12(4):566--609, October 1990.
[334] Hans Leiss.On Kilbury's Modification of Earley's Algorith. ACM Transactions on Programming Languages and Systems,12(4):610--640, October 1990.
[335] Laura K. Dillon.Using Symbolic Execution for Verification of Ada TaskingProgram. ACM Transactions on Programming Languages and Systems,12(4):643--669, October 1990.
[336] Jack C. Wileden and Lori A. Clarke and Alexander L. Wolf.A Comparative Evaluation of Object Definition Techniques. ACM Transactions on Programming Languages and Systems,12(4):670--699, October 1990.
[337] Russell W. Quong and Mark A. Linton.Linking Programs Incrementally. ACM Transactions on Programming Languages and Systems,13(1):1--20, January 1991.
[338] Pascal Fradet and Daniel Le M\'etaye.Compilation of Functional Languages by Program Transformation. ACM Transactions on Programming Languages and Systems,13(1):21--51, January 1991.
[339] Richard C. Waters.Automatic Transformation of Series Expressions into Loops. ACM Transactions on Programming Languages and Systems,13(1):52--98, January 1991.
[340] Antonio Brogi and Paolo Ciancarini.The Concurrent Languag. ACM Transactions on Programming Languages and Systems,13(1):99--123, January 1991.
[341] Maurice Herlihy.Wait-Free Synchronization. ACM Transactions on Programming Languages and Systems,13(1):124--149, January 1991.
[342] M. Ancona and G. Dodero and V. Gianuzzi and M. Morgavi.Efficient Construction of LR($k$) States and Table. ACM Transactions on Programming Languages and Systems,13(1):150--178, January 1991.
[343] Mark N. Wegman and F. Kenneth Zadeck.Constant Propagation with Conditional Branches. ACM Transactions on Programming Languages and Systems,13(2):181--210, April 1991.
[344] Daniel M. Yellin and Robert E. Strom.INC: A Language for Incremental Computation. ACM Transactions on Programming Languages and Systems,13(2):211--236, April 1991.
[345] Mart\'\in Abadi and Luca Cardelli and Benjamin C. Pierce andGordon D. Plotki.Dynamic Typing in a Statically Typed Language. ACM Transactions on Programming Languages and Systems,13(2):237--268, April 1991.
[346] Paul Hudak and Jonathan Young.Collecting Interpretations of Expressions. ACM Transactions on Programming Languages and Systems,13(2):269--290, April 1991.
[347] Dhananjay M. Dhamdhere.Practical Adaptation of the Global Optimization Algorithm ofMorel and Renvois. ACM Transactions on Programming Languages and Systems,13(2):291--294, April 1991.
[348] J\"urgen B\"orstler and Ulrich M\"oncke and ReinhardWilhel.Table Compression for Tree Automata. ACM Transactions on Programming Languages and Systems,13(3):295--314, July 1991.
[349] Scott E. Hudson.Incremental Attribute Evaluation: A Flexible Algorithm for LazyUpdate. ACM Transactions on Programming Languages and Systems,13(3):315--341, July 1991.
[350] Ronald Morrison and Alan Dearle and R. C. H. Conner and AlfredL. Brown.An Ad Hoc Approach to the Implementation of Polymorphism. ACM Transactions on Programming Languages and Systems,13(3):342--371, July 1991.
[351] Thomas P. Murtagh.An Improved Storage Management Scheme for Block StructuredLanguages. ACM Transactions on Programming Languages and Systems,13(3):372--398, July 1991.
[352] Wuxu Peng and S. Purushothaman.Data Flow Analysis of Communicating Finite State Machines. ACM Transactions on Programming Languages and Systems,13(3):399--442, July 1991.
[353] Ron Cytron and Jeanne Ferrante and Barry K. Rosen and Mark N.Wegman and F. Kenneth Zadeck.Efficiently Computing Static Single Assignment Form and theControl Dependence Graph. ACM Transactions on Programming Languages and Systems,13(4):451--490, October 1991.
[354] Jong-Deok Choi and Barton P. Miller and Robert H. B. Netzer.Techniques for Debugging Parallel Programs with FlowbackAnalysis. ACM Transactions on Programming Languages and Systems,13(4):491--530, October 1991.
[355] Tim Sheard.Automatic Generation and Use of Abstract Structure Operators. ACM Transactions on Programming Languages and Systems,13(4):531--557, October 1991.
[356] Edward A. Lycklama and Vassos Hadzilacos.A First-Come-First-Served Mutual-Exclusion Algorithm with SmallCommunication Variables. ACM Transactions on Programming Languages and Systems,13(4):558--576, October 1991.
[357] Radha Jagadeesan and Keshav Pingali and Prakash Panangaden.A Fully Abstract Semantics for a First-Order Functional Languagewith Logic Variables. ACM Transactions on Programming Languages and Systems,13(4):577--625, October 1991.
[358] Norman H. Cohen.Type-Extension Type Tests Can Be Performed In Constant Time. ACM Transactions on Programming Languages and Systems,13(4):626--629, October 1991.
[359] Niklaus Wirth.Reply to ``Type-Extension Tests Can Be Performed In ConstantTime'. ACM Transactions on Programming Languages and Systems,13(4):630, October 1991.
[360] Dennis M. Volpano.Subtypes and Quantification. ACM Transactions on Programming Languages and Systems,13(4):631--632, October 1991.
[361] F. Warren Burton.Reply to ``Subtypes and Quantification'. ACM Transactions on Programming Languages and Systems,13(4):633, October 1991.
[362] David Ungar and Frank Jackson.An Adaptive Tenuring Policy for Generation Scavengers. ACM Transactions on Programming Languages and Systems,14(1):1--27, January 1992.
[363] Jon A. Solworth.Epochs. ACM Transactions on Programming Languages and Systems,14(1):28--53, January 1992.
[364] Timothy J. Hickey and Jacques Cohen and Hitofumi Hotta andThierry PetitJean.Computer-Assisted Microanalysis of Parallel Programs. ACM Transactions on Programming Languages and Systems,14(1):54--106, January 1992.
[365] David A. Gudeman.Denotational Semantics of a Goal-Directed Language. ACM Transactions on Programming Languages and Systems,14(1):107--125, January 1992.
[366] Raymond T. Boute.The Euclidean Definition of the Functions div and mo. ACM Transactions on Programming Languages and Systems,14(2):127--144, April 1992.
[367] Carsten K. Gomard.A Self-Applicable Partial Evaluator for the Lambda Calculus:Correctness and Pragmatics. ACM Transactions on Programming Languages and Systems,14(2):147--172, April 1992.
[368] Lori L. Pollock and Mary Lou Soffa.Incremental Global Reoptimization of Programs. ACM Transactions on Programming Languages and Systems,14(2):173--200, April 1992.
[369] Gail E. Kaiser and Brent Hailpern.An Object-Based Programming Model for Shared Data. ACM Transactions on Programming Languages and Systems,14(2):201--264, April 1992.
[370] Koopman Jr.Cache Behavior of Combinator Graph Reduction. ACM Transactions on Programming Languages and Systems,14(2):265--297, April 1992.
[371] David W. Wall.Experience with a Software-Defined Machine Architecture. ACM Transactions on Programming Languages and Systems,14(3):299--338, July 1992.
[372] Joxan Jaffar and Spiro Michaylov and Peter J. Stuckey andRoland H. C. Yap.The CLP(R) Language and Syste. ACM Transactions on Programming Languages and Systems,14(3):339--395, July 1992.
[373] Jennifer Widom and David Gries and Fred B. Schneider.Trace-Based Network Proof Systems: Expressiveness andCompleteness. ACM Transactions on Programming Languages and Systems,14(3):396--416, July 1992.
[374] A. Udaya Shankar and Simon S. Lam.A Stepwise Refinement Heuristic for Protocol Construction. ACM Transactions on Programming Languages and Systems,14(3):417--461, July 1992.
[375] Wilfred J. Hansen.Subsequence References: First-Class Values for Substrings. ACM Transactions on Programming Languages and Systems,14(4):471--489, October 1992.
[376] Jan Heering and Paul Klint and J. Rekers.Incremental Generation of Lexical Scanners. ACM Transactions on Programming Languages and Systems,14(4):490--520, October 1992.
[377] Angelo Morzenti and Dino Mandrioli and Carlo Ghezzi.A Model Parametric Real-Time Logic. ACM Transactions on Programming Languages and Systems,14(4):521--573, October 1992.
[378] Jacob Katzenelson and Shlomit S. Pinter and Eugen Schenfeld.Type Matchin. ACM Transactions on Programming Languages and Systems,14(4):574--588, October 1992.
[379] Robert Muller.M-Lisp: A Representation-Independent Dialect of Lisp withReduction Semantic. ACM Transactions on Programming Languages and Systems,14(4):589--615, October 1992.
[380] Gerard Tel and Friedemann Mattern.The Derivation of Distributed Termination Detection Algorithmsfrom Garbage Collection Schemes. ACM Transactions on Programming Languages and Systems,15(1):1--35, January 1993.
[381] Rance Cleaveland and Joachim Parrow and Bernhard Steffen.The Concurrency Workbench: A Semantics-Based Tool for theVerification of Concurrent System. ACM Transactions on Programming Languages and Systems,15(1):36--72, January 1993.
[382] Mart\'\in Abadi and Leslie Lampor.Composing Specifications. ACM Transactions on Programming Languages and Systems,15(1):73--132, January 1993.
[383] Roberto Barbuti and Roberto Giacobazzi and Giorgio Levi.A General Framework for Semantics-Based Bottom-Up AbstractInterpretation of Logic Programs. ACM Transactions on Programming Languages and Systems,15(1):133--181, January 1993.
[384] Yehuda Afek and Geoffrey Brown and Michael Merritt.Lazy Caching. ACM Transactions on Programming Languages and Systems,15(1):182--205, January 1993.
[385] Alan Finlay and Lloyd Allison.A Correction to the Denotational Semantics for the Prolog ofNicholson and Fo. ACM Transactions on Programming Languages and Systems,15(1):206--208, January 1993.
[386] Robert Harper and John C. Mitchell.On the Type Structure of Standard M. ACM Transactions on Programming Languages and Systems,15(2):211--252, April 1993.
[387] Fritz Henglein.Type Inference with Polymorphic Recursion. ACM Transactions on Programming Languages and Systems,15(2):253--289, April 1993.
[388] A. J. Kfoury and Jerzy Tiuryn and Pawel Urzyczyn.Type Recursion in the Presence of Polymorphic Recursion. ACM Transactions on Programming Languages and Systems,15(2):290--311, April 1993.
[389] Dhananjay M. Dhamdhere and Harish Patil.An Elimination Algorithm for Bidirectional Data Flow ProblemsUsing Edge Placement. ACM Transactions on Programming Languages and Systems,15(2):312--336, April 1993.
[390] Shmuel Katz.A Superimposition Control Construct for Distributed Systems. ACM Transactions on Programming Languages and Systems,15(2):337--356, April 1993.
[391] Max Copperman and Charles E. McDowell.A Further Note on Hennessy's ``Symbolic Debugging ofOptimized Code'. ACM Transactions on Programming Languages and Systems,15(2):357--365, April 1993.
[392] Michael Burke and Linda Torczon.Interprocedural Optimization: Eliminating UnnecessaryRecompilation. ACM Transactions on Programming Languages and Systems,15(3):367--399, July 1993.
[393] Siddhartha Chatterjee.Compiling Nested Data-Parallel Programs for Shared-MemoryMultiprocessors. ACM Transactions on Programming Languages and Systems,15(3):400--462, July 1993.
[394] Charles Consel and Siau Cheng Khoo.Parameterized Partial Evaluation. ACM Transactions on Programming Languages and Systems,15(3):463--493, July 1993.
[395] Joel E. Richardson and Michael J. Carey and Daniel T. Schuh.The Design of the E Programming Languag. ACM Transactions on Programming Languages and Systems,15(3):494--534, July 1993.
[396] Martin Odersky.Defining Context-Dependent Syntax Without Using Contexts. ACM Transactions on Programming Languages and Systems,15(3):535--562, July 1993.
[397] Shing-Tsaan Huang.Leader Election in Uniform Rings. ACM Transactions on Programming Languages and Systems,15(3):563--573, July 1993.
[398] Roberto M. Amadio and Luca Cardelli.Subtyping Recursive Types. ACM Transactions on Programming Languages and Systems,15(4):575--631, September 1993.
[399] Krishna V. Palem and Barbara B. Simons.Scheduling Time-Critical Instructions on RISC Machine. ACM Transactions on Programming Languages and Systems,15(4):632--658, September 1993.
[400] Gopal Gupta and Bharat Jayaraman.Analysis of Or-Parallel Execution Models. ACM Transactions on Programming Languages and Systems,15(4):659--680, September 1993.
[401] C. J. Fidge.A Formal Definition of Priority in CS. ACM Transactions on Programming Languages and Systems,15(4):681--705, September 1993.
[402] Mart\'\in Abadi and Michael Burrows and Butler Lampson andGordon D. Plotki.A Calculus for Access Control in Distributed Systems. ACM Transactions on Programming Languages and Systems,15(4):706--734, September 1993.
[403] Sukumar Ghosh.An Alternative Solution to a Problem on Self-Stabilization. ACM Transactions on Programming Languages and Systems,15(4):735--742, September 1993.
[404] Maurice Herlihy.A Methodology for Implementing Highly Concurrent Objects. ACM Transactions on Programming Languages and Systems,15(5):745--770, November 1993.
[405] Jonathan I. Leivent and Ronald J. Watro.Mathematical Foundations of Time Warp Systems. ACM Transactions on Programming Languages and Systems,15(5):771--794, November 1993.
[406] Mic Bowman and Saumya K. Debray and Larry L. Peterson.Reasoning About Naming Systems. ACM Transactions on Programming Languages and Systems,15(5):795--825, November 1993.
[407] Saumya K. Debray and Nai-Wei Lin.Cost Analysis of Logic Programs. ACM Transactions on Programming Languages and Systems,15(5):826--875, November 1993.
[408] Huimin Lin.Procedural Implementation of Algebraic Specification. ACM Transactions on Programming Languages and Systems,15(5):876--895, November 1993.
[409] Evan Tick and M. Korsloot.Determinacy Testing for Nondeterminate Logic ProgrammingLanguages. ACM Transactions on Programming Languages and Systems,16(1):3--34, January 1994.
[410] Baudouin Le Charlier and Pascal Van Hentenryck.Experimental Evaluation of a Generic Abstract InterpretationAlgorithm for PROLO. ACM Transactions on Programming Languages and Systems,16(1):35--101, January 1994.
[411] Richard C. Waters.Clich\'e-Based Program Editor. ACM Transactions on Programming Languages and Systems,16(1):102--150, January 1994.
[412] James M. Purtilo.The POLYLITH Software Bu. ACM Transactions on Programming Languages and Systems,16(1):151--174, January 1994.
[413] Mary Jean Harrold and Mary Lou Soffa.Efficient Computation of Interprocedural Definition-Use Chains. ACM Transactions on Programming Languages and Systems,16(2):175--204, March 1994.
[414] Anne Mulkers and William H. Winsborough and MauriceBruynooghe.Live-Structure Dataflow Analysis for Prolo. ACM Transactions on Programming Languages and Systems,16(2):205--258, March 1994.
[415] Bengt Jonsson.Compositional Specification and Verification of DistributedSystems. ACM Transactions on Programming Languages and Systems,16(2):259--303, March 1994.
[416] Shlomit S. Pinter and Ron Y. Pinter.Program Optimization and Parallelization Using Idioms. ACM Transactions on Programming Languages and Systems,16(3):305--327, May 1994.
[417] Adrienne Bloss.Path Analysis and the Optimization of Nonstrict FunctionalPrograms. ACM Transactions on Programming Languages and Systems,16(3):328--369, May 1994.
[418] Rajiv Gupta and Mary Lou Soffa and Denise Ombres.Efficient Register Allocation via Coloring Using CliqueSeparators. ACM Transactions on Programming Languages and Systems,16(3):370--386, May 1994.
[419] Max Copperman.Debugging Optimized Code Without Being Misled. ACM Transactions on Programming Languages and Systems,16(3):387--427, May 1994.
[420] Preston Briggs and Keith D. Cooper and Linda Torczon.Improvements to Graph Coloring Register Allocation. ACM Transactions on Programming Languages and Systems,16(3):428--455, May 1994.
[421] Suresh Jagannathan.Metalevel Building Blocks for Modular Systems. ACM Transactions on Programming Languages and Systems,16(3):456--492, May 1994.
[422] J. R. Kennaway and Jan Willem Klop and M. R. Sleep and F. J. deVries.On the Adequacy of Graph Rewriting for Simulating TermRewriting. ACM Transactions on Programming Languages and Systems,16(3):493--523, May 1994.
[423] Lawrence A. Crowl and Thomas J. LeBlanc.Parallel Programming with Control Abstraction. ACM Transactions on Programming Languages and Systems,16(3):524--576, May 1994.
[424] Ian T. Foster and Stephen Taylor.A Compiler Approach to Scalable Concurrent-Program Design. ACM Transactions on Programming Languages and Systems,16(3):577--604, May 1994.
[425] Bijan Arbab and Daniel Berry.Some Comments on ``A Denotational Semantics for Prolog'. ACM Transactions on Programming Languages and Systems,16(3):605--606, May 1994.
[426] Kim Marriott and Harald S\ondergaard and Neil D. Jone.Denotational Abstract Interpretation of Logic Programs. ACM Transactions on Programming Languages and Systems,16(3):607--648, May 1994.
[427] Michael Codish and Moreno Falaschi and Kim Marriott.Suspension Analyses for Concurrent Logic Programs. ACM Transactions on Programming Languages and Systems,16(3):649--686, May 1994.
[428] Krzysztof R. Apt and Alessandro Pellegrini.On the Occur-Check-Free Prolog Program. ACM Transactions on Programming Languages and Systems,16(3):687--726, May 1994.
[429] David Garlan and Charles W. Krueger and Barbara Staudt Lerner.TransformGen: Automating the Maintenance ofStructure-Oriented Environment. ACM Transactions on Programming Languages and Systems,16(3):727--774, May 1994.
[430] Lin Yu and Daniel J. Rosenkrantz.A Linear-Time Scheme for Version Reconstruction. ACM Transactions on Programming Languages and Systems,16(3):775--797, May 1994.
[431] Josyula R. Rao.Reasoning about Probabilistic Parallel Programs. ACM Transactions on Programming Languages and Systems,16(3):798--842, May 1994.
[432] Orna Grumberg and David E. Long.Model Checking and Modular Verification. ACM Transactions on Programming Languages and Systems,16(3):843--871, May 1994.
[433] Leslie Lamport.The Temporal Logic of Actions. ACM Transactions on Programming Languages and Systems,16(3):872--923, May 1994.
[434] Manfred Broy and Greg Nelson.Adding Fair Choice to Dijkstra's Calculu. ACM Transactions on Programming Languages and Systems,16(3):924--938, May 1994.
[435] Yehuda Afek and Danny Dolev and Eli Gafni and Michael Merrittand Nir Shavit.A Bounded First-I. ACM Transactions on Programming Languages and Systems,16(3):939--953, May 1994.
[436] Yuh-Jzer Joung and Scott A. Smolka.Coordinating First-Order Multiparty Interactions. ACM Transactions on Programming Languages and Systems,16(3):954--985, May 1994.
[437] Michael K. Reiter and Kenneth P. Birman.How to Securely Replicate Services. ACM Transactions on Programming Languages and Systems,16(3):986--1009, May 1994.
[438] Jan Heering and Paul Klint and J. Rekers.Lazy and Incremental Program Generation. ACM Transactions on Programming Languages and Systems,16(3):1010--1023, May 1994.
[439] Mikkel Thorup.Controlled Grammatic Ambiguity. ACM Transactions on Programming Languages and Systems,16(3):1024--1050, May 1994.
[440] Joseph Bates and Alon Lavie.Recognizing Substrings of LR($k$) Languages in Linear Tim. ACM Transactions on Programming Languages and Systems,16(3):1051--1077, May 1994.
[441] Annalisa Bossi and Sandro Etalle.Transforming Acyclic Programs. ACM Transactions on Programming Languages and Systems,16(4):1081--1096, July 1994.
[442] Jong-Deok Choi and Jeanne Ferrante.Static Slicing in the Presence of Goto Statements. ACM Transactions on Programming Languages and Systems,16(4):1096--1113, July 1994.
[443] Michael Wolfe.The Definition of Dependence Distance. ACM Transactions on Programming Languages and Systems,16(4):1114--1116, July 1994.
[444] Jens Knoop and Oliver R\"uthing and Bernhard Steffe.Optimal Code Motion: Theory and Practice. ACM Transactions on Programming Languages and Systems,16(4):1117--1155, July 1994.
[445] Stefan Freudenberger and Thomas R. Gross and P. GeoffreyLowney.Avoidance and Suppression of Compensation Code in a TraceScheduling Compiler. ACM Transactions on Programming Languages and Systems,16(4):1156--1214, July 1994.
[446] John Hannan.Operational Semantics-Directed Compilers and MachineArchitectures. ACM Transactions on Programming Languages and Systems,16(4):1215--1247, July 1994.
[447] William Pugh and David Wonnacott.Static Analysis of Upper and Lower Bounds on Dependences andParallelism. ACM Transactions on Programming Languages and Systems,16(4):1248--1278, July 1994.
[448] Hassan A\"\it-Kaci and Andreas Podelsk.Functions as Passive Constraints in LIF. ACM Transactions on Programming Languages and Systems,16(4):1279--1318, July 1994.
[449] Thomas Ball and James R. Larus.Optimally Profiling and Tracing Programs. ACM Transactions on Programming Languages and Systems,16(4):1319--1360, July 1994.
[450] Antonio Brogi and Paolo Mancarella and Dino Pedreschi andFranco Turini.Modular Logic Programming. ACM Transactions on Programming Languages and Systems,16(4):1361--1398, July 1994.
[451] Thomas Ball.Efficient Counting Program Events with Support for On-LineQueries. ACM Transactions on Programming Languages and Systems,16(5):1399--1410, September 1994.
[452] Konstantin L\"aufer and Martin Odersk.Polymorphic Type Inference and Abstract Data Types. ACM Transactions on Programming Languages and Systems,16(5):1411--1430, September 1994.
[453] J. Michael Ashley and Charles Consel.Fixpoint Computation for Polyvariant Static Analyses ofHigher-Order Applicative Programs. ACM Transactions on Programming Languages and Systems,16(5):1331--1448, September 1994.
[454] Marcel Beemster.Strictness Optimization for Graph Reduction Machines (Why idMight Not Be Strict). ACM Transactions on Programming Languages and Systems,16(5):1449--1466, September 1994.
[455] G. Ramalingam.The Undecidability of Aliasing. ACM Transactions on Programming Languages and Systems,16(5):1467--1471, September 1994.
[456] Uday P. Khedker and Dhananjay M. Dhamdhere.A Generalized Theory of Bit Vector Data Flow Analysis. ACM Transactions on Programming Languages and Systems,16(5):1472--1511, September 1994.
[457] Edmund M. Clarke and Orna Grumberg and David E. Long.Model Checking and Abstraction. ACM Transactions on Programming Languages and Systems,16(5):1512--1542, September 1994.
[458] Mart\'\in Abadi and Leslie Lampor.An Old-Fashioned Recipe for Real-Time. ACM Transactions on Programming Languages and Systems,16(5):1543--1571, September 1994.
[459] Josephine Micallef and Gail E. Kaiser.Extending Attribute Grammars to SupportProgramming-in-the-Large. ACM Transactions on Programming Languages and Systems,16(5):1572--1612, September 1994.
[460] Peter T. Breuer and Jonathan P. Bowen.Decompilation: The Enumeration of Types and Grammars. ACM Transactions on Programming Languages and Systems,16(5):1613--1647, September 1994.
[461] David B. Whalley.Automatic Isolation of Compiler Errors. ACM Transactions on Programming Languages and Systems,16(5):1648--1659, September 1994.
[462] John J. Zic.Time-Constrained Buffer Specifications in CSP+T and TimedCS. ACM Transactions on Programming Languages and Systems,16(6):1661--1674, November 1994.
[463] A. P. W. B\"ohm and R. R. Oldehoef.Two Issues in Parallel Language Design. ACM Transactions on Programming Languages and Systems,16(6):1675--1683, November 1994.
[464] Marc M. Brandis and Hanspeter M\"ossenb\"oc.Single-Pass Generation of Static Single-Assignment Form forStructured Languages. ACM Transactions on Programming Languages and Systems,16(6):1684--1698, November 1994.
[465] Andrew W. Appel.Axiomatic Bootstrapping: A Guide for Compiler Hackers. ACM Transactions on Programming Languages and Systems,16(6):1699--1718, November 1994.
[466] Nicholas Haines and Darrell Kindred and J. Gregory Morrisettand Scott M. Nettles and Jeannette M. Wing.Composing First-Class Transactions. ACM Transactions on Programming Languages and Systems,16(6):1719--1736, November 1994.
[467] Jayadev Misra.Powerlist: A Structure for Parallel Recursion. ACM Transactions on Programming Languages and Systems,16(6):1737--1767, November 1994.
[468] Steve Carr and Ken Kennedy.Improving the Ratio of Memory Operations to Floating-PointOperations in Loops. ACM Transactions on Programming Languages and Systems,16(6):1768--1810, November 1994.
[469] Barbara Liskov and Jeannette M. Wing.A Behavioral Notion of Subtyping. ACM Transactions on Programming Languages and Systems,16(6):1811--1841, November 1994.
[470] David G. Von Bank and Charles M. Shub and Robert W. Sebesta.A Unified Model of Pointwise Equivalence of ProceduralComputations. ACM Transactions on Programming Languages and Systems,16(6):1842--1874, November 1994.
[471] Valdis Berzins.Software Merge: Semantics of Combining Changes to Programs. ACM Transactions on Programming Languages and Systems,16(6):1875--1903, November 1994.
[472] Jean-Marie Larchev\^equ.Optimal Incremental Parsing. ACM Transactions on Programming Languages and Systems,17(1):1--15, January 1995.
[473] Yih-Kuen Tsay and Rajive Bagrodia.Deducing Fairness Properties in UNITY Logic---A NewCompleteness Resul. ACM Transactions on Programming Languages and Systems,17(1):16--27, January 1995.
[474] Michael Codish and Anne Mulkers and Maurice Bruynooghe andMaria J. Garc\'\ia de la Banda and Manuel V. Hermenegild.Improving Abstract Interpretations by Combining Domains. ACM Transactions on Programming Languages and Systems,17(1):28--44, January 1995.
[475] Joseph P. Skudlarek.Notes on ``A Methodology for Implementing Highly ConcurrentData Objects'. ACM Transactions on Programming Languages and Systems,17(1):45--46, January 1995.
[476] Jens Palsberg.Closure Analysis in Constraint Form. ACM Transactions on Programming Languages and Systems,17(1):47--62, January 1995.
[477] Alexander Aiken and John H. Williams and Edward L. Wimmers.Safe: A Semantic Technique for Transforming Programs in thePresence of Errors. ACM Transactions on Programming Languages and Systems,17(1):63--84, January 1995.
[478] Michael P. Gerlek and Eric Stoltz and Michael Wolfe.Beyond Induction Variables: Detecting and Classifying SequencesUsing a Demand-Driven SS. ACM Transactions on Programming Languages and Systems,17(1):85--122, January 1995.
[479] Siddhartha Chatterjee and John R. Gilbert and Robert Schreiberand Shang-Hua Teng.Optimal Evaluation of Array Expressions on Massively ParallelMachines. ACM Transactions on Programming Languages and Systems,17(1):123--156, January 1995.
[480] Bernadette Charron-Bost and Carole Delporte-Gallet and HuguesFauconnier.Local and Temporal Predicates In Distributed Systems. ACM Transactions on Programming Languages and Systems,17(1):157--179, January 1995.
[481] Cliff Click and Keith D. Cooper.Combining Analyse. ACM Transactions on Programming Languages and Systems,17(2):181--196, March 1995.
[482] G. A. Venkatesh.Experimental Results from Dynamic Slicing of C Progra. ACM Transactions on Programming Languages and Systems,17(2):197--216, March 1995.
[483] Wi-Ngan Chin and Eak-Khoon Goh.A Reexamination of ``Optimization of Array Subscript RangeChecks'. ACM Transactions on Programming Languages and Systems,17(2):217--227, March 1995.
[484] Pei-Chi Wu and Feng-Jian Wang.A Worst Case of Circularity Test Algorithms for AttributeGrammars. ACM Transactions on Programming Languages and Systems,17(2):228--232, March 1995.
[485] Anne Rogers and Martin C. Carlile and John H. Reppy and LaurieJ. Hendren.Supporting Dynamic Data Structures on Distributed-MemoryMachines. ACM Transactions on Programming Languages and Systems,17(2):233--263, March 1995.
[486] Jens Palsberg and Cun Xiao and Karl J. Lieberherr.Efficient Implementation of Adaptive Software. ACM Transactions on Programming Languages and Systems,17(2):264--292, March 1995.
[487] Adam Webber.Optimization of Functional Programs by Grammar Thinning. ACM Transactions on Programming Languages and Systems,17(2):293--330, March 1995.
[488] Saumya K. Debray.On the Complexity of Dataflow Analysis of Logic Programs. ACM Transactions on Programming Languages and Systems,17(2):331--365, March 1995.
[489] Michal Walicki and Sigurd Meldal.A Complete Calculus for the Multialgebraic and FunctionalSemantics of Nondeterminism. ACM Transactions on Programming Languages and Systems,17(2):366--393, March 1995.
[490] Alan Carle and Lori L. Pollock.Matching-Based Incremental Evaluators for Hierarchical AttributeGrammar Dialects. ACM Transactions on Programming Languages and Systems,17(2):394--429, March 1995.
[491] Giuseppe Castagna.Covariance and Contravariance: Conflict without a Cause. ACM Transactions on Programming Languages and Systems,17(3):431--447, May 1995.
[492] W. Homer Carlisle.Type Checking Concurrent I/. ACM Transactions on Programming Languages and Systems,17(3):448--460, May 1995.
[493] Todd A. Proebsting.BURS Automata Generatio. ACM Transactions on Programming Languages and Systems,17(3):461--486, May 1995.
[494] Ron Cytron and Jeanne Ferrante.Efficiently Computing Phi-Nodes On-The-Fly. ACM Transactions on Programming Languages and Systems,17(3):487--506, May 1995.
[495] Mart\'\in Abadi and Leslie Lampor.Conjoining Specifications. ACM Transactions on Programming Languages and Systems,17(3):507--534, May 1995.
[496] Manhoi Choy and Ambuj K. Singh.Efficient Fault-Tolerant Algorithms for Distributed ResourceAllocation. ACM Transactions on Programming Languages and Systems,17(3):535--559, May 1995.
[497] Christine Fricker and Oliver Temam and William Jalby.Influence of Cross-Interferences on Blocked Loops: A Case Studywith Matrix-Vector Multiply. ACM Transactions on Programming Languages and Systems,17(4):561--575, July 1995.
[498] Jens Palsberg and Patrick O'Keefe.A Type System Equivalent to Flow Analysis. ACM Transactions on Programming Languages and Systems,17(4):576--599, July 1995.
[499] Milind Girkar and Constantine D. Polychronopoulos.Extracting Task-Level Parallelism. ACM Transactions on Programming Languages and Systems,17(4):600--634, July 1995.
[500] Pascal Van Hentenryck and Viswanath Ramachandran.Backtracking without Trailing in CLP(R-lin. ACM Transactions on Programming Languages and Systems,17(4):635--671, July 1995.
[501] Bruce J. McKenzie and Corey Yeatman and Lorraine De Vere.Error Repair in Shift-Reduce Parsers. ACM Transactions on Programming Languages and Systems,17(4):672--689, July 1995.
[502] Anthony M. Sloane.An Evaluation of an Automatically Generated Compiler. ACM Transactions on Programming Languages and Systems,17(5):691--703, September 1995.
[503] Henry Cejtin and Suresh Jagannathan and Richard Kelsey.Higher-Order Distributed Objects. ACM Transactions on Programming Languages and Systems,17(5):704--739, September 1995.
[504] Steven M. Kurlander and Todd A. Proebsting and Charles N.Fischer.Efficient Instruction Scheduling for Delayed-LoadArchitectures. ACM Transactions on Programming Languages and Systems,17(5):740--776, September 1995.
[505] Stephen P. Masticola and Thomas J. Marlowe and Barbara G.Ryder.Lattice Frameworks for Multiscore and Bidirectional Data FlowProblems. ACM Transactions on Programming Languages and Systems,17(5):777--803, September 1995.
[506] Craig Chambers and Gary T. Leavens.Typechecking and Modules for Multimethods. ACM Transactions on Programming Languages and Systems,17(6):805--843, November 1995.
[507] Atsushi Ohori.A Polymorphic Record Calculus and Its Compilation. ACM Transactions on Programming Languages and Systems,17(6):844--895, November 1995.
[508] R. C. Sekar and I. V. Ramakrishnan.Fast Strictness Analysis Based on Demand Propagation. ACM Transactions on Programming Languages and Systems,17(6):896--937, November 1995.
[509] Stephan Murer and Stephen M. Omohundro and David Stoutamire andClemens Szyerski.Iteration Abstraction in Sathe. ACM Transactions on Programming Languages and Systems,18(1):1--15, January 1996.
[510] Alan Carle and Lori L. Pollock.On the Optimality of Change Propagation for IncrementalEvaluation of Hierarchical Attribute Grammars. ACM Transactions on Programming Languages and Systems,18(1):16--29, January 1996.
[511] Brad T. Vander Zanden.An Incremental Algorithm for Satisfying Hierarchies of MultiwayDataflow Constraints. ACM Transactions on Programming Languages and Systems,18(1):30--72, January 1996.
[512] John Boyland.Conditional Attribute Grammars. ACM Transactions on Programming Languages and Systems,18(1):73--108, January 1996.
[513] Cordelia V. Hall and Kevin Hammond and Simon L. Peyton Jonesand Philip Wadler.Type Classes in Haskel. ACM Transactions on Programming Languages and Systems,18(2):109--138, March 1996.
[514] John R. Hauser.Handling Floating-Point Exceptions in Numeric Programs. ACM Transactions on Programming Languages and Systems,18(2):139--174, March 1996.
[515] David Sands.Total Correctness by Local Improvement in the Transformation ofFunctional Programs. ACM Transactions on Programming Languages and Systems,18(2):175--234, March 1996.
[516] Stan Liao and Srinivas Devadas and Kurt Keutzer and StevenTjiang and Albert Wang.Storage Assignment to Decrease Code Size. ACM Transactions on Programming Languages and Systems,18(3):235--253, May 1996.
[517] Geoffrey Smith and Dennis M. Volpano.Polymorphic typing of Variables and References. ACM Transactions on Programming Languages and Systems,18(3):254--267, May 1996.
[518] Jens Knoop and Bernhard Steffen and J\"urgen Vollme.Parallelism for Free: Efficient and Optimal Bitvector Analysesfor Parallel Programs. ACM Transactions on Programming Languages and Systems,18(3):268--299, May 1996.
[519] Lal George and Andrew W. Appel.Iterated Register Coalescing. ACM Transactions on Programming Languages and Systems,18(3):300--324, May 1996.
[520] Carroll Morgan and Annabelle McIver and Karen Seidel.Probabilistic Predicate Transformers. ACM Transactions on Programming Languages and Systems,18(3):325--353, May 1996.
[521] Urs H\"olzle and David Unga.Reconciling Responsiveness with Performance in PureObject-Oriented Languages. ACM Transactions on Programming Languages and Systems,18(4):355--400, July 1996.
[522] Mart\'\in Abadi and Luca Cardell.On Subtyping and Matching. ACM Transactions on Programming Languages and Systems,18(4):401--423, July 1996.
[523] Kathryn S. McKinley and Steve Carr and Chau-Wen Tseng.Improving Data Locality with Loop Transformations. ACM Transactions on Programming Languages and Systems,18(4):424--453, July 1996.
[524] Ian T. Foster.Compositional Parallel Programming Languages. ACM Transactions on Programming Languages and Systems,18(4):454--476, July 1996.
[525] Mohammad R. Haghighat and Constantine D. Polychronopoulos.Symbolic Analysis for Parallelizing Compilers. ACM Transactions on Programming Languages and Systems,18(4):477--518, July 1996.
[526] Jens Palsberg and Scott F. Smith.Constrained Types and Their Expressiveness. ACM Transactions on Programming Languages and Systems,18(5):519--527, September 1996.
[527] Steven Dawson and C. R. Ramakrishnan and Steven Skiena andTerrance Swift.Principles and Practice of Unification Factoring. ACM Transactions on Programming Languages and Systems,18(5):528--563, September 1996.
[528] Maria J. Garc\'\ia de la Banda and Manuel V. Hermenegildo andMaurice Bruynooghe and Veroniek Dumortier and Gerda Janssens and WimSimoen.Global Analysis of Constraint Logic Programs. ACM Transactions on Programming Languages and Systems,18(5):564--614, September 1996.
[529] Jos\'e M. Pique.Indirect Distributed Garbage Collection: Handling ObjectMigration. ACM Transactions on Programming Languages and Systems,18(5):615--647, September 1996.
[530] Vugranam C. Sreedhar and Guang R. Gao and Yong-Fong Lee.Identifying Loops Using DJ Graph. ACM Transactions on Programming Languages and Systems,18(6):649--658, November 1996.
[531] Jonas Skeppstedt and Per Stenstr\"o.Using Dataflow Analysis Techniques to Reduce Ownership Overheadin Cache Coherence Protocols. ACM Transactions on Programming Languages and Systems,18(6):659--682, November 1996.
[532] Todd A. Proebsting and Charles N. Fischer.Demand-Driven Register Allocation. ACM Transactions on Programming Languages and Systems,18(6):683--710, November 1996.
[533] Isabelle Attali and Denis Caromel and Sidi O. Ehmety.A Natural Semantics for Eiffel Dynamic Bindin. ACM Transactions on Programming Languages and Systems,18(6):711--729, November 1996.
[534] Olivier Danvy and Jens Palsberg.Eta-Expansion Does The Trick. ACM Transactions on Programming Languages and Systems,18(6):730--751, November 1996.
[535] Neng-Fa Zhou.Parameter Passing and Control Stack Management in PrologImplementation Revisite. ACM Transactions on Programming Languages and Systems,18(6):752--779, November 1996.
[536] Susan Horwitz.Precise Flow-Insensitive May-Alias Analysis is NP-Har. ACM Transactions on Programming Languages and Systems,19(1):1--6, January 1997.
[537] Agostino Cortesi and Gilberto Fil\'e and Roberto Giacobazziand Catuscia Palamidessi and Francesco Ranzat.Complementation in Abstract Interpretation. ACM Transactions on Programming Languages and Systems,19(1):7--47, January 1997.
[538] Paul Steckler and Mitchell Wand.Lightweight Closure Conversion. ACM Transactions on Programming Languages and Systems,19(1):48--86, January 1997.
[539] Andrew K. Wright and Robert Cartwright.A Practical Soft Type System for Schem. ACM Transactions on Programming Languages and Systems,19(1):87--152, January 1997.
[540] Gerald Baumgartner and Vincent F. Russo.Implementing Signatures for~C+. ACM Transactions on Programming Languages and Systems,19(1):153--187, January 1997.
[541] Brad Calder and Dirk Grunwald and Michael Jones and DonaldLindsay and James Martin and Michael Mozer and Benjamin G. Zorn.Evidence-Based Static Branch Prediction Using MachineLearning. ACM Transactions on Programming Languages and Systems,19(1):188--222, January 1997.
[542] Nicholas Pippenger.Pure Versus Impure Lis. ACM Transactions on Programming Languages and Systems,19(2):223--238, March 1997.
[543] Vugranam C. Sreedhar and Guang R. Gao and Yong-Fong Lee.Incremental Computation of Dominator Trees. ACM Transactions on Programming Languages and Systems,19(2):239--252, March 1997.
[544] Dennis Dams and Rob Gerth and Orna Grumberg.Abstract Interpretation of Reactive Systems. ACM Transactions on Programming Languages and Systems,19(2):253--291, March 1997.
[545] Daniel M. Yellin and Robert E. Storm.Protocol Specifications and Component Adaptors. ACM Transactions on Programming Languages and Systems,19(2):292--333, March 1997.
[546] Patrick M. Sansom and Simon L. Peyton Jones.Formally Based Profiling for Higher-Order Functional Languages. ACM Transactions on Programming Languages and Systems,19(2):334--385, March 1997.
[547] Jin Yang and Aloysius K. Mok and Farn Wang.Symboloc Model Checking for Event-Driven Real-Time Systems. ACM Transactions on Programming Languages and Systems,19(2):386--412, March 1997.
[548] Charles L. A. Clarke and Gordon V. Cormack.On the Use of Regular Expressions for Searching Text. ACM Transactions on Programming Languages and Systems,19(3):413--426, May 1997.
[549] Dexter Kozen.Kleene Algebra with Tests. ACM Transactions on Programming Languages and Systems,19(3):427--443, May 1997.
[550] Zhenjiang Hu and Hideya Iwasaki and Masato Takeichi.Formal Derivation of Efficient Parallel Programs by Constructionof List Homomorphisms. ACM Transactions on Programming Languages and Systems,19(3):444--461, May 1997.
[551] Keshav Pingali and Gianfranco Bilardi.Optimal Control Dependence Computation and the Roman ChariotsProble. ACM Transactions on Programming Languages and Systems,19(3):462--491, May 1997.
[552] Norman Ramsey and Mary F. Fernandez.Specifying Representations of Machine Instructions. ACM Transactions on Programming Languages and Systems,19(3):492--524, May 1997.
[553] Richard Gerber and Seongsoo Hong.Slicing Real-Time Programs for Enhanced Schedulability. ACM Transactions on Programming Languages and Systems,19(3):525--555, May 1997.
[554] Paul Havlak.Nesting of Reducible and Irreducible Loops. ACM Transactions on Programming Languages and Systems,19(4):557--567, July 1997.
[555] Saumya K. Debray and Todd A. Proebsting.Interprocedural Control Flow Analysis of First-Order Programswith Tail-Call Optimization. ACM Transactions on Programming Languages and Systems,19(4):568--585, July 1997.
[556] Peter T. Breuer and Carlos Delgado Kloos and Andr\'esMar\'\in L\'opez and Natividad Mart\'\inez Madrid and LuisS\'anchez Fern\'ande.A Refinement Calculus for the Synthesis of Verified HardwareDescriptions in VHD. ACM Transactions on Programming Languages and Systems,19(4):585--616, July 1997.
[557] E. Allen Emerson and A. Prasad Sistla.Utilizing Symmetry when Model-Checking under FairnessAssumptions: An Automata-Theoretic Approach. ACM Transactions on Programming Languages and Systems,19(4):617--638, July 1997.