Towards a simpler method of operational semantics for language definition

Authors:
M. D. Derk
Affiliations:
Oklahoma City University, Oklahoma City, OK
Venue:
ACM SIGPLAN Notices
Year:
2005

Citing 4
Cited 1

UMIST OBJ: a language for executable program specifications

The Computer Journal - Special issue: formal aspects of computing systems
The Vienna Definition Language

ACM Computing Surveys (CSUR)
A formal semantic definition of DEVIL

ACM SIGPLAN Notices
Slicing Z specifications

ACM SIGPLAN Notices

A translational BNF grammar notation (TBNF)

ACM SIGPLAN Notices

Quantified Score

Hi-index	0.00

Visualization

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.