Foundations Of Software Technology And Theoretical Computer Science: Fifth Conference, New Delhi, India, December 16-18, 1985. Proceedings (lecture Notes In Computer Science)

These are general philosophical and moral principles, and I hold them to be self-evident - wich is just as well, because all the real evidence is against them. 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