Foundations of Software Technology and Theoretical Computer Science

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Software Development Graphs a unifying concept for software development?
3. Altmetric Badge
   Chapter 2 Concurrent runtime checking of annotated Ada programs
4. Altmetric Badge
   Chapter 3 Recovery of noncurrent variables in source-level debugging of optimized code
5. Altmetric Badge
   Chapter 4 Automatic retargetable code generation: A new technique
6. Altmetric Badge
   Chapter 5 An implementation of OBJ2: An object-oriented language for abstract program specification
7. Altmetric Badge
   Chapter 6 Explicit representation of terms defined by counter examples
8. Altmetric Badge
   Chapter 7 A framework for intelligent backtracking in logic programs
9. Altmetric Badge
   Chapter 8 A generalization of Backus' FP
10. Altmetric Badge
    Chapter 9 Shortest-path motion
11. Altmetric Badge
    Chapter 10 Via assignment in single row routing
12. Altmetric Badge
    Chapter 11 Average-case analysis of the Modified Harmonic algorithm
13. Altmetric Badge
    Chapter 12 Covering minima and lattice point free convex bodies
14. Altmetric Badge
    Chapter 13 Binary decompositions and acyclic schemes
15. Altmetric Badge
    Chapter 14 Thin homogeneous sets of factors
16. Altmetric Badge
    Chapter 15 Irreducible polynomials over finite fields
17. Altmetric Badge
    Chapter 16 Basis reduction and evidence for transcendence of certain numbers
18. Altmetric Badge
    Chapter 17 A characterization of asynchronous message-passing
19. Altmetric Badge
    Chapter 18 Modular synthesis of deadlock-free control structures
20. Altmetric Badge
    Chapter 19 Distributed resource sharing in computer networks
21. Altmetric Badge
    Chapter 20 On proving communication closedness of distributed layers
22. Altmetric Badge
    Chapter 21 A distributed algorithm for edge-disjoint path problem
23. Altmetric Badge
    Chapter 22 Scheduling of hard real-time systems
24. Altmetric Badge
    Chapter 23 A polynomial approximation scheme for machine scheduling on uniform processors: Using the dual approximation approach
25. Altmetric Badge
    Chapter 24 Connectivity algorithms using rubber bands
26. Altmetric Badge
    Chapter 25 On simple and creative sets in NP
27. Altmetric Badge
    Chapter 26 Complexity of sufficient-completeness
28. Altmetric Badge
    Chapter 27 Sampling a population with a semi-random source
29. Altmetric Badge
    Chapter 28 An optimal parallel algorithm for dynamic expression evaluation and its applications
30. Altmetric Badge
    Chapter 29 Extension of the parallel nested dissection algorithm to path algebra problems
31. Altmetric Badge
    Chapter 30 On synthesizing systolic arrays from Recurrence Equations with Linear Dependencies
32. Altmetric Badge
    Chapter 31 An efficient parallel algorithm for term matching