Publications by Year
sign in
In Proceedings
Search:
Search
K.R. Apt (Krzysztof)
1978
Equivalence of operational and denotational semantics for a fragment of PASCAL
Publication
Publication
Presented at the
IFIP WG 2.2. Formal Description of Programming Concepts
, St. Andrews, Canada
Additional Metadata
Publisher
North-Holland
Conference
IFIP WG 2.2. Formal Description of Programming Concepts
Citation
APA Style
AAA Style
APA Style
Cell Style
Chicago Style
Harvard Style
IEEE Style
MLA Style
Nature Style
Vancouver Style
American-Institute-of-Physics Style
Council-of-Science-Editors Style
BibTex Format
Endnote Format
RIS Format
CSL Format
DOIs only Format
Apt, K. (1978). Equivalence of operational and denotational semantics for a fragment of PASCAL. In
Proceedings of IFIP WG 2.2. Formal Description of Programming Concepts 1978
(pp. 139–163). North-Holland.
Free Full Text
( Final Version , 2mb )
×
Workflow
×
Workflow
×
Add Content
User
Publication
Person
Organisation
Collection