CrossRef Open Access 1979 2 sitasi

A Hierarchical Approach to Formal Semantics With Application to the Definition of PL/ CS

Robert L. Constable James E. Donahue

Abstrak

We describe a means of presenting hierarchically organized formal definitions of programming languages using the denotational approach of D. Scott and C. Strachey. As an example of our approach, we give the semantics of PL/CS, an instructional variant of PL/I. We also discuss the implications of this approach to language design, pointing out some cases where the wrong choices may cause the hierarchy to collapse into chaotic rubble.

Penulis (2)

Robert L. Constable

James E. Donahue

Format Sitasi

APA MLA BibTeX

Constable, R.L., Donahue, J.E. (1979). A Hierarchical Approach to Formal Semantics With Application to the Definition of PL/ CS. https://doi.org/10.1145/357062.357069

Akses Cepat

PDF tidak tersedia langsung

Cek di sumber asli →

Lihat di Sumber doi.org/10.1145/357062.357069

Informasi Jurnal

Tahun Terbit: 1979
Bahasa: en
Total Sitasi: 2×
Sumber Database: CrossRef
DOI: 10.1145/357062.357069
Akses: Open Access ✓