Abstract is missing.
- The Mathematics of ProgrammingC. A. R. Hoare. 1-18
- Concurrent Programming Using Actors: Exploiting large-Scale ParallelismGul Agha, Carl Hewitt. 19-41
- A New Class of High Level Programs for Distributed Computing SystemsS. Ramesh, S. L. Mehndiratta. 42-72
- A Class of Termination Detection Algorithms For Distributed ComputationDevendra Kumar. 73-100
- New Protocols for the Election od a Leader in a RingAlberto Marchetti-Spaccamela. 101-115
- Program Simplification via Symbolic InterpretationCarlo Ghezzi, Dino Mandrioli, Antonio Tecchio. 116-128
- PROLOG-Based Inductive Theorem ProvingJieh Hsiang, Mandayam K. Srivas. 129-149
- On the Calling Behaviour of ProceduresDieter Armbruster. 150-161
- Approximation Algorithms for Planar MatchingShankar M. Venkatesan. 162-175
- Geometric Optimization and Polynomial HierarchyChandrajit L. Bajaj. 176-195
- Deriving Object Octree from ImagesJack Veenstra. 196-211
- Deduction with Relation MatchingZohar Manna, Richard J. Waldinger. 212-224
- Recursively Defined Domains and Their Induction PrinciplesFinn Verner Jensen, Kim Guldstrand Larsen. 225-245
- Large Database Specification from Small ViewsSamit Khosla, T. S. E. Maibaum, M. R. Sadler. 246-271
- A Decision Method for Temporal Logic Based on ResolutionG. Venkatesh. 272-289
- A Generalization of the Parikh Vector for Finite and Infinite WordsRani Siromoney, V. Rajkumar Dare. 290-302
- The Implication Problem for Functional and Multivalued Dependencies: An Algebraic ApproachV. S. Lakshmanan, C. E. Veni Madhavan. 303-328
- A Simple Characterization of Database SerializabilityK. Vidyasankar. 329-345
- Partial correctness semantics for CP [ , | , &]Vijay A. Saraswat. 347-368
- A Proof Technique for Rely/Guarantee PropertiesEugene W. Stark. 369-391
- A Complete System for SCCS with Modal AssertionsGlynn Winskel. 392-410
- Demand-Driven Evaluation on Dataflow MachineArvind. 411
- Design and Implementation for a Procedural VLSI LayoutJose M. Mata. 412-427
- VLSI Systems For Matrix MultiplicationKam-Hoi Cheng, Sartaj Sahni. 428-456
- Parallel Algorithms for Solving Certain Classes of Linear RecurrencesS. Lakshmivarahan, Sudarshan K. Dhall. 457-478
- O(1) Parallel Time Incremental Graph AlgorithmsDeepak D. Sherlekar, Shaunak Pawagi, I. V. Ramakrishnan. 477-495
- NC Algorithms for Comparability Graphs, Interval Gaphs, and Testing for Unique Perfect MatchingDexter Kozen, Umesh V. Vazirani, Vijay V. Vazirani. 496-503
- Fast and Efficient Parallel Algorithms for the Exact Inversion of Integer MatricesVictor Y. Pan. 504-519