Generating compilers from formal semantics

dc.contributor.author	Venter, H
dc.contributor.editor	Ram, Vevek
dc.date.accessioned	2018-08-15T13:12:31Z
dc.date.available	2018-08-15T13:12:31Z
dc.date.issued	1996
dc.identifier.citation	Venter, H. (1996) Generating compilers from formal semantics. Industry Meets Academia: Proceedings of the 1996 National Research and Development Conference, The South African Institute of Computer Scientists and Information Technologists, Interaction Conference Centre, University of Natal, Durban, 26 & 27 September, hosted by The Department of Computer Science and Information Systems, University of Natal, Pietermaritzburg, edited by Vevek Ram, (ISBN 0-620-20568-7).	en
dc.identifier.isbn	0-620-20568-7
dc.identifier.uri	http://hdl.handle.net/10500/24650
dc.description.abstract	Given a complete, formal description of the semantics of a programming language, it should be possible to generate a compiler for the language using an automated process. This is highly desirable, since it reduces the work required to produce a compiler to the absolute minimum and makes it more likely that the compiler will be correct. This paper describes a set of tools and a methodology that does just this, for a realistic class of programming languages.	en
dc.language.iso	en	en
dc.title	Generating compilers from formal semantics	en