Foundations of Software Technology and Theoretical Computer Science: Fifth Conference, New Delhi, India December 16–18, 1985 Proceedings

The mathematics of programming....Pages 1-18
Concurrent programming using actors: Exploiting large-scale parallelism....Pages 19-41
A new class of high level programs for distributed computing systems....Pages 42-72
A class of termination detection algorithms for distributed computations....Pages 73-100
New protocols for the election of a leader in a ring....Pages 101-115
Program simplification via symbolic interpretation....Pages 116-128
PROLOG-based inductive theorem proving....Pages 129-149
On the calling behaviour of procedures....Pages 150-161
Approximation algorithms for planar matching....Pages 162-175
Geometric optimization and the polynomial hierarchy....Pages 176-195
Deriving object octree from images....Pages 196-211
Deduction with relation matching....Pages 212-224
Recursively defined domains and their induction principles....Pages 225-245
Large database specifications from small views....Pages 246-271
A decision method for temporal logic based on resolution....Pages 272-289
A generalization of the Parikh vector for finite and infinite words....Pages 290-302
The implication problem for functional and multivalued dependencies : An algebraic approach....Pages 303-328
A simple characterization of database serializability....Pages 329-345
Who needs to verify programs if you can test them....Pages 346-346
Partial correctness semantics for CP[↓, ¦, &]....Pages 347-368
A proof technique for rely/guarantee properties....Pages 369-391
A complete proof system for SCCS with modal assertions....Pages 392-410
Demand-driven evaluation on dataflow machine....Pages 411-411
Design and implementation of a procedural VLSI layout system....Pages 412-427
VLSI systems for matrix multiplication....Pages 428-456
Parallel algorithms for solving certain classes of linear recurrences....Pages 457-476
O(1) parallel time incremental graph algorithms....Pages 477-495
NC algorithms for comparability graphs, interval graphs, and testing for unique perfect matching....Pages 496-503
Fast and efficient parallel algorithms for the exact inversion of integer matrices....Pages 504-521