Scwm: An Extensible Constraint-Enabled Window Manager
Proceedings of the FREENIX Track: 2001 USENIX Annual Technical Conference
A formal logic approach to firewall packet filtering analysis and generation
Artificial Intelligence Review
| Hi-index | 0.00 |
From the Publisher:The Handbook of Programming Languages is a multivolume reference series for the professional computing community. Written by the foremost pioneers in their fields, this series provides a complete reference on the fundamentals of programming languages and methodologies. Each volume gives a complete overview of a set of languages or paradigms. Readers who have experience with at least one high-level programming language or methodology will be able to use each volume to get up-to-speed quickly on the other languages or paradigms covered in the volume. Currently planned volumes in the series include I. Object-Oriented Programming Languages II. Imperative Programming Languages III. Little Languages and Tools IV. Functional and Logic Programming Languages The Handbook of Programming Languages, Volume IV: Functional and Logic Programming Languages begins with the logic programming group, all descended from John McCarthy's LISP of the late 1960s. The volume begins with a few pages from the LISP 1.5 Programmer's Manual, a vital indicator of things to come, and moves on to discuss LISP's offspring: Emacs Lisp, Scheme, Guile, and CLOS. Jamie Andrews provides a substantial essay on the most important functional programming language, Prolog. The contributions are designed to enable the programmer to evaluate the languages and to understand the ways in which each works. ****BULLETS: {Bob Chassell, on Emacs Lisp {Brian Harvey, on Scheme {Jim Blandy, on Guile {Jim Veitch, on CLOS {James Andrews, on Prolog