↓ Skip to main content

Foundations of Software Technology and Theoretical Computer Science

Overview of attention for book
Cover of '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
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
2 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Foundations of Software Technology and Theoretical Computer Science
Published by
Springer Berlin Heidelberg, January 1986
DOI 10.1007/3-540-17179-7
ISBNs
978-3-54-017179-9, 978-3-54-047239-1
Editors

Nori, Kesav V.

X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 2 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 2 100%

Demographic breakdown

Readers by professional status Count As %
Student > Master 1 50%
Student > Ph. D. Student 1 50%
Readers by discipline Count As %
Computer Science 1 50%
Social Sciences 1 50%