Proofs and Types

Conventional build-then-test practices are making today's embedded, software-reliant systems unaffordable to build. In response, more than thirty leading industrial organizations have joined SAE (form

Model-based Engineering with AADL

Presents the results of an investigation into the issues raised by the development of a compiler for APL, a very high level computer programming language. APL presents a number of novel problems for a

An APL Compiler

The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)

Never before has a book been published that describes the techniques and technology used in writing text editors, word processors and other software. Written for the working professional and serious s

pl书籍推荐