Related Books

Constructing Language Processors for Little Languages
Language: en
Pages: 472
Authors: Randy M. Kaplan
Categories: Computers
Type: BOOK - Published: 1994-08-23 - Publisher: John Wiley & Sons, Incorporated

DOWNLOAD EBOOK

"Little languages" are specialty languages that can help programmers streamline the development of specific applications. This text, written for experienced pro
Abstract Computing Machines
Language: en
Pages: 382
Authors: Werner Kluge
Categories: Computers
Type: BOOK - Published: 2005-12-02 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.
Formal Languages and Computation
Language: en
Pages: 318
Authors: Alexander Meduna
Categories: Computers
Type: BOOK - Published: 2014-02-11 - Publisher: CRC Press

DOWNLOAD EBOOK

Formal Languages and Computation: Models and Their Applications gives a clear, comprehensive introduction to formal language theory and its applications in comp
Elements of Compiler Design
Language: en
Pages: 292
Authors: Alexander Meduna
Categories: Computers
Type: BOOK - Published: 2007-12-03 - Publisher: CRC Press

DOWNLOAD EBOOK

Maintaining a balance between a theoretical and practical approach to this important subject, Elements of Compiler Design serves as an introduction to compiler
Formal Methods and Software Engineering
Language: en
Pages: 639
Authors: Chris George
Categories: Computers
Type: BOOK - Published: 2003-06-30 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 4th International Conference on Formal Engineering methods, ICFEM 2002, held in Shanghai, China, in Octobe