Work

Visible semantics for programming languages

Year: 1974

Type: conference-paper

Abstract: Operational models for the semantics of programming languages often employ data structure diagrams for representing computation states (snapshots). Provided that these data structures are simple enough, automation of their display is feasible, supplying "visible semantics" for the languages modelled.

Source: ACM Annual Conference

DOI: 10.1145/1408800.1408812

Authors: Joseph W. Thomas, Elliott I. Organick

Institution: University of Utah

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W2027306949

FWCI:

Cites: 5

Cited by: 2

Related to: 10