Intensional logic is concerned with assertions and other expressions whose meaning depends on an implicit context. An intensional language is both a programming language and, at the same time, a formal system based on intensional semantics. It provides users with context-switching operators which allow values from different contexts to be combined without explicit context manipulation. Plane Lu...

This paper presents an object-oriented implementation of Lucid. We implement each variable in a Lucid program as a class. An object of the class is the variable in a context. An object evaluates itself when it receives a demand for its value and stores the value. Evaluation of a program involves object self-evaluations and message passing of demands among objects. Some optimization issues are a...

In this work we model the ACME (a fictitious company name) “printer case incident” and make its specification in Forensic Lucid, a Lucidand intensional-logic-based programming language for cyberforensic analysis and event reconstruction specification. The printer case involves a dispute between two parties that was previously solved using the finite-state automata (FSA) approach, and is now re-...

If I find myself here today, sharing with Andre Lwoff and Jacques Monod this very great honor which is being bestowed upon us, it is undoubtedly because, when I entered research in 1950, I was fortunate enough to arrive at the right place at the right time. At the right place, because there, in the attics of the Pasteur Institute, a new discipline was emerging in an atmosphere of enthusiasm, lu...

The popularity of this text is attested by the fact that this, the 5th edition, was necessitated after a lapse of but 3 years. Certain, but by no means major, revisions have been made in this edition. The style is concise and lucid. A number of the illustrations are excellent and most of the others are good. One of its most attractive features is the inclusion of an adequate bibliography after ...