↓ Skip to main content

Advances in Computing Science ASIAN 98

Overview of attention for book
Cover of 'Advances in Computing Science ASIAN 98'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Testing Proofs by Examples
  3. Altmetric Badge
    Chapter 2 Rigid Reachability
  4. Altmetric Badge
    Chapter 3 Mechanizing Reasoning about Large Finite Tables in a Rewrite Based Theorem Prover
  5. Altmetric Badge
    Chapter 4 A Polymorphic Language Which Is Typable and Poly-step
  6. Altmetric Badge
    Chapter 5 Cut Elimination for Classical Proofs as Continuation Passing Style Computation
  7. Altmetric Badge
    Chapter 6 Semantics and Logic for Provable Fault-Tolerance, A Tutorial
  8. Altmetric Badge
    Chapter 7 The Rewriting Calculus as a Semantics of ELAN
  9. Altmetric Badge
    Chapter 8 Tried Linear Hashing
  10. Altmetric Badge
    Chapter 9 A New Factoring Algorithm for Magic Predicates
  11. Altmetric Badge
    Chapter 10 An Optimal Parallel Algorithm for the Perfect Dominating Set Problem on Distance-Hereditary Graphs
  12. Altmetric Badge
    Chapter 11 Taxonomy and Expressiveness of Preemption: A Syntactic Approach
  13. Altmetric Badge
    Chapter 12 Exploring Regional Locality in Distributed Shared Memory
  14. Altmetric Badge
    Chapter 13 Guaranteed Mutually Consistent Checkpointing in Distributed Computations
  15. Altmetric Badge
    Chapter 14 Type Inference for First-Class Messages with Feature Constraints
  16. Altmetric Badge
    Chapter 15 Two Flavors of Offine Partial Evaluation
  17. Altmetric Badge
    Chapter 16 First-Class Contexts in ML
  18. Altmetric Badge
    Chapter 17 Formal Methods: Past, Present, and Future
  19. Altmetric Badge
    Chapter 18 A Comparison of Petri Net Semantics under the Collective Token Philosophy
  20. Altmetric Badge
    Chapter 19 Bisimulation Lattice of Chi Processes
  21. Altmetric Badge
    Chapter 20 Eventuality in LOTOS with a Disjunction Operator
  22. Altmetric Badge
    Chapter 21 Towards a Characterisation of Finite-State Message-Passing Systems
  23. Altmetric Badge
    Chapter 22 Mobile Computation: Calculus and Languages (A Tutorial)
Attention for Chapter 1: Testing Proofs by Examples
Altmetric Badge
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.
Chapter title
Testing Proofs by Examples
Chapter number 1
Book title
Advances in Computing Science ASIAN 98
Published by
Springer, Berlin, Heidelberg, December 1998
DOI 10.1007/3-540-49366-2_1
Book ISBNs
978-3-54-065388-2, 978-3-54-049366-2
Authors

Susumu Hayashi, Ryosuke Sumitomo