Axiomatization of Declarations and the formal treatment of an Escape Construct

M.M. Fokkinga

Axiomatization of Declarations and the formal treatment of an Escape Construct

M.M. Fokkinga

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined
Title of host publication	IFIP TC-2 Working Conference on Formal Descriptions of Programming Language Concepts
Editors	E.J. Neuhold
Place of Publication	Amsterdam, The Netherlands
Publisher	North Holland
Pages	221-236
Number of pages	16
ISBN (Print)	0-444-85107-0
Publication status	Published - 1978
Event	IFIP TC-2 Working Conference on Formal Descriptions of Programming Language Concepts - St. Andrews, Canada Duration: 1 Aug 1977 → 5 Aug 1977

Conference

Conference	IFIP TC-2 Working Conference on Formal Descriptions of Programming Language Concepts
Period	1/08/77 → 5/08/77
Other	1-5 Aug 1977

Keywords

EWI-7242

Cite this

@inproceedings{e552452fb5624f2db6201f2bf8826ee4,

title = "Axiomatization of Declarations and the formal treatment of an Escape Construct",

keywords = "EWI-7242",

author = "M.M. Fokkinga",

note = "Imported from EWI/DB PMS [db-utwente:inpr:0000003430]; IFIP TC-2 Working Conference on Formal Descriptions of Programming Language Concepts ; Conference date: 01-08-1977 Through 05-08-1977",

year = "1978",

language = "Undefined",

isbn = "0-444-85107-0",

pages = "221--236",

editor = "E.J. Neuhold",

booktitle = "IFIP TC-2 Working Conference on Formal Descriptions of Programming Language Concepts",

publisher = "North Holland",

address = "Netherlands",

}

Axiomatization of Declarations and the formal treatment of an Escape Construct. / Fokkinga, M.M.
IFIP TC-2 Working Conference on Formal Descriptions of Programming Language Concepts. ed. / E.J. Neuhold. Amsterdam, The Netherlands: North Holland, 1978. p. 221-236.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Axiomatization of Declarations and the formal treatment of an Escape Construct

AU - Fokkinga, M.M.

N1 - Imported from EWI/DB PMS [db-utwente:inpr:0000003430]

PY - 1978

Y1 - 1978

KW - EWI-7242

M3 - Conference contribution

SN - 0-444-85107-0

SP - 221

EP - 236

BT - IFIP TC-2 Working Conference on Formal Descriptions of Programming Language Concepts

A2 - Neuhold, E.J.

PB - North Holland

CY - Amsterdam, The Netherlands

T2 - IFIP TC-2 Working Conference on Formal Descriptions of Programming Language Concepts

Y2 - 1 August 1977 through 5 August 1977

ER -