Formal Syntax and Semantics of Programming Languages, a Laboratory Based Approach

By Slonneger, Kenneth

Book Id: WPLBN0003842807
Format Type: PDF eBook:
File Size: 1.74 MB
Reproduction Date: 2015

Title:	Formal Syntax and Semantics of Programming Languages, a Laboratory Based Approach
Author:	Slonneger, Kenneth
Volume:
Language:	English
Subject:	Operational Semantics, Programming, Programming
Collections:	Technical eBooks and Manuals Collection, Online Programming Books
Historic Publication Date:	1995
Publisher:	University of Iowa


Citation APA MLA Chicago Kennethslonneger, B. (1995). Formal Syntax and Semantics of Programming Languages, a Laboratory Based Approach. Retrieved from http://gutenberg.cc/

Description
Description: The primary target readership of our text is first-year graduate students, although by careful selection of materials it is also accessible to advanced undergraduate students. The text contains more material than can be covered in a one semester course. We have provided a wide variety of techniques so that instructors may choose materials to suit the particular needs of their students.

Table of Contents
TOC : Specifying Syntax - Introduction To Laboratory Activities - Attribute Grammars - Two-Level Grammars - The Lambda Calculus - Self-Definition Of Programming Languages - Translational Semantics - Traditional Operational Semantics - Denotational Semantics - Domain Theory And Fixed-Point Semantics - Axiomatic Semantics - Algebraic Semantics - Action Semantics.