Affiliation:
1. Oklahoma City University, Oklahoma City, OK
Abstract
One of the needs of the computer science community is a simple, clear and generally accepted method of defining programming language semantics. Towards this end, the author presents a new approach to operational semantics based on binding, which is dubbed relational semantics. By grouping bound elements in tuples, the primary language functions are defined in a clear and concise manner. Relational semantics may be used together with BNF for a more complete yet simple language definition tool.
Publisher
Association for Computing Machinery (ACM)
Subject
Computer Graphics and Computer-Aided Design,Software
Reference7 articles.
1. Lee J. A. N. Computer Semantics. New York: Van Nostrand Reinhold 1972. Lee J. A. N. Computer Semantics. New York: Van Nostrand Reinhold 1972.
2. UMIST OBJ: a Language for Executable Program Specifications
3. The Vienna Definition Language
4. Slicing Z specifications
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献