Control flow treatment in a simple sematics directed compiler generator

Henning Christiansen; Neil D. Jones

Control flow treatment in a simple sematics directed compiler generator

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Formal description of programming concepts II : proceedings of the IFIP Working Conference on Formal Description of Programming Concepts-II
Editors	Dines Bjørner
Volume	II
Publisher	North-Holland
Publication date	1983
Pages	s. 73-97
ISBN (Print)	0-444-86619-1
Publication status	Published - 1983
Event	IFIP Working Conference on Formal Description of Programming Concepts - Garmisch-Partenkirchen, Germany Duration: 1 Jun 1982 → 4 Jun 1982 Conference number: 2

Conference

Conference	IFIP Working Conference on Formal Description of Programming Concepts
Number	2
Country/Territory	Germany
City	Garmisch-Partenkirchen
Period	01/06/1982 → 04/06/1982

Keywords

programming languages
semantics
compiler generation

Cite this

@inproceedings{87257c5055a111de981a000ea68e967b,

title = "Control flow treatment in a simple sematics directed compiler generator",

keywords = "programming languages, semantics, compiler generation",

author = "Henning Christiansen and Jones, {Neil D.}",

year = "1983",

language = "English",

isbn = "0-444-86619-1",

volume = "II",

pages = "s. 73--97",

editor = "Dines Bj{\o}rner",

booktitle = "Formal description of programming concepts II",

publisher = "North-Holland",

note = "null ; Conference date: 01-06-1982 Through 04-06-1982",

}

Christiansen, H & Jones, ND 1983, Control flow treatment in a simple sematics directed compiler generator. in D Bjørner (ed.), Formal description of programming concepts II: proceedings of the IFIP Working Conference on Formal Description of Programming Concepts-II. vol. II, North-Holland, pp. s. 73-97, IFIP Working Conference on Formal Description of Programming Concepts, Garmisch-Partenkirchen, Germany, 01/06/1982.

Control flow treatment in a simple sematics directed compiler generator. / Christiansen, Henning; Jones, Neil D.

Formal description of programming concepts II: proceedings of the IFIP Working Conference on Formal Description of Programming Concepts-II. ed. / Dines Bjørner. Vol. II North-Holland, 1983. p. s. 73-97.

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - Control flow treatment in a simple sematics directed compiler generator

AU - Christiansen, Henning

AU - Jones, Neil D.

N1 - Conference code: 2

PY - 1983

Y1 - 1983

KW - programming languages

KW - semantics

KW - compiler generation

M3 - Article in proceedings

SN - 0-444-86619-1

VL - II

SP - s. 73-97

BT - Formal description of programming concepts II

A2 - Bjørner, Dines

PB - North-Holland

Y2 - 1 June 1982 through 4 June 1982

ER -