Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
Special pages
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

On removing the machine from the language

From MaRDI portal
Publication:1247740
Jump to:navigation, search

DOI10.1007/BF00264318zbMATH Open0382.68007MaRDI QIDQ1247740FDOQ1247740


Authors: Eric C. R. Hehner Edit this on Wikidata


Publication date: 1978

Published in: Acta Informatica (Search for Journal in Brave)






Mathematics Subject Classification ID

General topics in the theory of software (68N01)


Cites Work

  • Title not available (Why is that?)
  • Title not available (Why is that?)
  • An axiomatic basis for computer programming
  • A genealogy of control structures
  • Title not available (Why is that?)
  • Proof rules for the programming language Euclid
  • Recursive data structures
  • Title not available (Why is that?)


Cited In (1)

  • Semantics of algorithmic languages

Uses Software

  • Modula





This page was built for publication: On removing the machine from the language

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1247740)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1247740&oldid=13335417"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 31 January 2024, at 08:39. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki