Foundations of Software Technology and Theoretical Computer Science: Sixth Conference, New Delhi, India December 18–20, 1986 Proceedings

Software Development Graphs a unifying concept for software development?....Pages 1-9
Concurrent runtime checking of annotated Ada programs....Pages 10-35
Recovery of noncurrent variables in source-level debugging of optimized code....Pages 36-56
Automatic retargetable code generation: A new technique....Pages 57-80
An implementation of OBJ2: An object-oriented language for abstract program specification....Pages 81-95
Explicit representation of terms defined by counter examples....Pages 96-107
A framework for intelligent backtracking in logic programs....Pages 108-123
A generalization of Backus' FP....Pages 124-143
Shortest-path motion....Pages 144-153
Via assignment in single row routing....Pages 154-176
Average-case analysis of the Modified Harmonic algorithm....Pages 177-192
Covering minima and lattice point free convex bodies....Pages 193-213
Binary decompositions and acyclic schemes....Pages 214-238
Thin homogeneous sets of factors....Pages 239-251
Irreducible polynomials over finite fields....Pages 252-262
Basis reduction and evidence for transcendence of certain numbers....Pages 263-269
A characterization of asynchronous message-passing....Pages 270-287
Modular synthesis of deadlock-free control structures....Pages 288-318
Distributed resource sharing in computer networks....Pages 319-329
On proving communication closedness of distributed layers....Pages 330-343
A distributed algorithm for edge-disjoint path problem....Pages 344-361
Scheduling of hard real-time systems....Pages 362-381
A polynomial approximation scheme for machine scheduling on uniform processors: Using the dual approximation approach....Pages 382-393
Connectivity algorithms using rubber bands....Pages 394-411
On simple and creative sets in NP....Pages 412-425
Complexity of sufficient-completeness....Pages 426-442
Sampling a population with a semi-random source....Pages 443-452
An optimal parallel algorithm for dynamic expression evaluation and its applications....Pages 453-469
Extension of the parallel nested dissection algorithm to path algebra problems....Pages 470-487
On synthesizing systolic arrays from Recurrence Equations with Linear Dependencies....Pages 488-503
An efficient parallel algorithm for term matching....Pages 504-518