Semantic Translation of Programming Languages

Mathematical Logic Quarterly 17 (1):39-46 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19710170110

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,888

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Semantic Translation of Programming Languages.Andrzej Skowron - 1971 - Mathematical Logic Quarterly 17 (1):39-46.
Mathematical Logic and Programming Languages.Charles Antony Richard Hoare & J. C. Shepherdson - 1985 - Prentice-Hall.
Mathematical Logic and Programming Languages.Sir Charles Anthony Richard Hoare & J. C. Shepherdson (eds.) - 1985 - Englewood Cliffs, NJ, USA: Prentice-Hall.
On the relation between SPARQL1.1 and Answer Set Programming.Axel Polleres & Johannes Peter Wallner - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):159-212.
Mathematical Foundations of Programming.Frank S. Beckman - 1981 - Boston and Reading, MA and Don Mills, Ontario: Addison-Wesley.
Natural Language Understanding and Logic Programming: Proceedings of the First International Workshop on Natural Language Understanding and Logic Programming, Rennes, France, 18-20 September, 1984.Veronica Dahl & Patrick Saint-Dizier (eds.) - 1985 - Amsterdam, Netherlands: North Holland.
A Paradigm for Program Semantics: Power Structures and Duality.Chris Brink & Ingrid M. Rewitzky - 2001 - Center for the Study of Language and Inf.
Graph Reduction: Proceedings of a Workshop, Santa Fé, New Mexico, USA, September 29-October 1, 1986.Joseph H. Fasel, Robert M. Keller, Los Alamos National Laboratory & Microelectronics and Computer Technology Corporation - 1987 - Springer Verlag.
Logic and Specification: Extending VDM-SL for Advanced Formal Specification.Cornelis A. Middelburg - 1993
Proof theory and computer programming.Ruy J. G. B. de Queiroz & Thomas S. E. Maibaum - 1990 - Mathematical Logic Quarterly 36 (5):389-414.

Analytics

Added to PP
2013-11-24

Downloads
65 (#325,365)

6 months
9 (#482,469)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references