NUST Institutions Library Catalogue catalog › Details for: Formal syntax and semantics of programming languages (E-Book)

Normal view MARC view ISBD view

Formal syntax and semantics of programming languages (E-Book) a laboratory based approach / Kenneth Slonneger, Barry L. Kurtz.

By: Slonneger, KennethContributor(s): Kurtz, Barry LPublisher: Reading, Mass. ; Wokingham : Addison-Wesley Pub. Co, c1995Description: xviii, 637 p. : ill. ; 25 cmISBN: 0-201-65697-3 ;Subject(s): Logic programming | Programming languages (Electronic computers) -- Semantics | Programming languages (Electronic computers) -- Syntax | (E-Book)DDC classification: 005.131 | 005.131

Contents:

Specifying Syntax 1 Introduction To Laboratory Activities 31 Attribute Grammars 59 Two-Level Grammars 105 The Lambda Calculus 139 Self-Definition Of Programming Languages 167 Translational Semantics 187 Traditional Operational Semantics 223 Denotational Semantics 271 Domain Theory And Fixed-Point Semantics 341 Axiomatic Semantics 395 Algebraic Semantics 443 Action Semantics 507

Tags from this library: No tags from this library for this title. Log in to add tags.

Holdings ( 1 )
Title notes ( 1 )
Comments ( 0 )

Item type	Current location	Home library	Collection	Call number	URL	Status	Date due	Barcode	Item holds
Book	Military College of Signals (MCS)	Military College of Signals (MCS)	NFIC	005.131 (Browse shelf)	Link to resource	Available		MCSEB-366

Total holds: 0

Browsing Military College of Signals (MCS) shelves Close shelf browser

Previous							No cover image available	Next
Previous	005.13 BIN Practical algorithms for programmers / (E-BOOK)	005.13 HAR Novell® GroupWise® 6.5 User's Handbook-(EBOOK)	005.13 KRU Data Structures and Program Design in C++(E-Book)	005.131 Formal syntax and semantics of programming languages (E-Book)	005.131 MON Understanding formal methods /	005.131 STO Formal syntax and semantics of programming languages-(E-BOOK)	005.133 C Sharp Complete-(E-BOOK)	Next

There are no comments on this title.

to post a comment.