Semantically based programming tools (Summary)

  • William L. Scherlis
  • Dana S. Scott
Advanced Seminar On The Role Of Semantics In Software Development Concepts Of Semantics With A View To Software Development
Part of the Lecture Notes in Computer Science book series (LNCS, volume 185)


It is one of our fundamental theses that major improvements in software engineering practice will come about only through the development and use of software development tools. This thesis is based on our belief that formal methods will ultimately have a far more profound effect on software engineering productivity than management based methods, programming language design, or fast hardware. But we also believe that formal methods, by their nature, are suitable for practical use only in mechanized systems. This is not to say that everything is to be automated; the point is that the actual formal steps must be automated even if most of the guidance for their use is to come from the user. This is the same kind of observation that prompted the developers of LCF to introduce the ML type structure to protect the notion of “theorem,” together with formal deductive structure that defines it, from the surrounding heuristic apparatus. It must be expected that heuristics will be under continual development, but a deductive system is fragile and will change only infrequently.


Deductive System Derivation Step Syntax Tree Programming Step Defense Advance Research Project Agency 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • William L. Scherlis
    • 1
  • Dana S. Scott
    • 1
  1. 1.Department of Computer ScienceCarnegie-Mellon UniversityPittsburghUSA

Personalised recommendations