|
|
Working with Objects: The Ooram Software Engineering method
Author:
T Reenskaug
Language:
| The main theme of this book is to describe complex phenomena as
structures of interacting objects. Object technology is applicable to a
wide range of phenomena on many different levels. Examples are . . . . . |
|
Advanced Programming Language Design
Author:
Raphael Finkel
Language:
| This book stems in part from courses taught at the University of Kentucky and at the University of Wisconsin-Madison on programming language design. There are many good books that deal with the subjec . . . . . |
|
Parsing Techniques - A Practical Guide
Author:
Dick Grune Ceriel J. H. Jacobs
Language:
| This 320-page book treats parsing in its own right, in greater depth than is found in most computer science and linguistics books. It offers a clear, accessible, and thorough discussion of many differ . . . . . |
|
Semantics with Applications
Author:
Hanne Riis Nielson Flemming Nielson
Language:
| The purpose of this book is to present the fundamental ideas behind operational, denotional and axiomatic semantics, stressing their relationship by formulating and proving relevant theorems, and illu . . . . . |
|
Programming in Martin-Lof's Type Theory
Author:
Bengt Nordström Kent Petersson Jan M. Smith
Language:
In recent years, several formalisms for program construction have appeared. One such formalism is the type theory developed by Per Martin-Lof. Well suited as a theory for program construction, it make . . . . . |
Programming Languages
Author:
Scott F. Smith
Language:
This book is an introduction to the study of programming languages. The book treats programming language topics from a foundational, but not formal, perspective. It is foundational in that it focuses . . . . . |
Compiler Construction using Flex and Bison
Author:
Anthony Aaby
Language:
Compiler Construction using Flex and Bison
|
A Compact Guide to Lex & Yacc
Author:
Tom Niemann
Portland, Oregon
Language:
| This document explains how to construct a compiler using lex and yacc. Lex and yacc are tools used to generate lexical analyzers and parsers. I assume you can program in C, and understand data structu . . . . . |
|
