Derived Semantics for Some Programming Language Constructs

Henderson, Peter

Derived Semantics for Some Programming Language Constructs

Download BibTeX Cite

Proceedings of the Second International Joint Conference on Artificial Intelligence. Pages 490-495.

Abstract

Some familiar programming language constructs are described and an implementation for a hypothetical computing device is given. The semantics of the object language are described as mappings of the internal states of this deYice. By compounding the sequence of mappings corresponding to the translation of a source phrase, the semantics of the source phrase can be derived as a complex mapping. The recursive nature of the syntax of the source language requires an inductive approach to this deriYation. If the derived semantics are acceptabl e then the implementation can be regarded as correct in an informal sense.

Peter Henderson. 1971. Derived Semantics for Some Programming Language Constructs. In Proceedings of the Second International Joint Conference on Artificial Intelligence, IJCAI-71. IJCAI, 490–495. https://ijcai.org/proceedings/1971/51

@inproceedings{ijcai1971p51,
  title     = {Derived Semantics for Some Programming Language Constructs},
  author    = {Henderson, Peter},
  booktitle = {Proceedings of the Second International Joint Conference on
               Artificial Intelligence, {IJCAI-71}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {D.C. Cooper},
  pages     = {490--495},
  year      = {1971},
  url       = {https://ijcai.org/proceedings/1971/51},
}

TY  - CPAPER
TI  - Derived Semantics for Some Programming Language Constructs
AU  - Henderson, Peter
T2  - Proceedings of the Second International Joint Conference on Artificial Intelligence, IJCAI-71
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1971
SP  - 490
EP  - 495
UR  - https://ijcai.org/proceedings/1971/51
ER  -