Keywords
Programming languageComputer scienceTheory of computationFifth-generation programming languageUSableSemantics (computer science)Comparison of multi-paradigm programming languagesProgramming language theoryFormal semantics (linguistics)Programming paradigmSimple (philosophy)Formal methodsProgramming language specificationTheoretical computer scienceInductive programmingProgramming domain
Affiliated Institutions
Related Publications
Safety analysis of timing properties in real-time systems
The authors formalize the safety analysis of timing properties in real-time systems. The analysis is based on a formal logic, RTL (real-time logic), which is especially suitable...
On Formal Semantics and Analysis of Typed Modeling Languages: An Analysis of Ascend
The use of strong typing, exemplified in the Ascend modeling language, is a recent phenomenon in executable modeling languages for mathematical modeling. It is also one that has...
The temporal logic of programs
A unified approach to program verification is suggested, which applies to both sequential and parallel programs. The main proof method suggested is that of temporal reasoning in...
Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference
Probabilistic Reasoning in Intelligent Systems is a complete and accessible account of the theoretical foundations and computational methods that underlie plausible reasoning un...
Using formal specifications in the design of a human-computer interface
Formal specification techniques are valuable in software development because they permit a designer to describe the external behavior of a system precisely without specifying it...
Publication Info
- Year
- 1974
- Type
- article
- Volume
- 3
- Issue
- 2
- Citations
- 150
- Access
- Closed
External Links
Social Impact
Altmetric
PlumX Metrics
Social media, news, blog, policy document mentions
Citation Metrics
150
OpenAlex
Cite This
C. A. R. Hoare,
P. E. Lauer
(1974).
Consistent and complementary formal theories of the semantics of programming languages.
Acta Informatica
, 3
(2)
.
https://doi.org/10.1007/bf00264034
Identifiers
- DOI
- 10.1007/bf00264034