Lisp machine

Abstract: The Interrogator is a Prolog program that searches for security vulnerabilities in network protocols for automatic cryptographic key distribution. Given a formal specification of the protocol, it looks for message modification attacks that defeat the protocol objective. It is still under developement, but is has been able to rediscover a known vulnerability in a published protocol. It is implemented in LM-Prolog on a Lisp Machine, with a graphical user interface.

Abstract: This 471-page, softcover manual describes the programming language and software environment of the Lisp Machine developed at M.I.T.'s Artificial Intelligence Laboratory over the past 8 years. The Lisp Machine is the result of a successful experiment in computer science: a distributed computing system consisting of a network of powerful 32-bit personal computers, implemented with custom hardware and software as complete, interactive graphical workstations. Each machine consists of a 32-bit computer with 64 megabytes of virtual memory, 1 to 16 megabytes of main memory, 80 megabytes (or larger) disk, 800x900 graphics display (color optional), mouse, keyboard, speaker and 4 million bit/second local network interface, which allows connections to other Lisp Machines, primers and file servers.

Abstract: The Avionics Program Expert (APEX) is an automatic code generation tool for the Ada programming language (MIL-STD 1815A). It provides the programmer using APEX with the ability to quickly create a graphical representation of his initial program design. The graphical representation used by APEX is akin to a flowchart, but the interactive capabilities of the tool make design creation much faster and more efficient. Once the programmer has created his complete (or even partial) representation of a program, Ada code can then be generated with (from) APEX. The APEX program representation provides the user with three different, yet consistent, views of his program. The first view allows the programmer to lay out his initial Ada package specifications; this view is called the APEX view. A second view allows the programmer to create and manipulate complex data structures and define local variables; this view is the Data Structure view. The last view allows the programmer to define the control flow of his specific subprogram; this view is called the REM-Net view. APEX has been implanted on two host platforms; these are a Symbolics 3600 Lisp Machine and a Sun 3/XXX Workstation.

Abstract: A job-shop scheduling software currently under development is described, based on Artificial Intelligence programming techniques. The idea is to be able to make three kinds of knowledge cooperate in the derivation of a feasible schedule : theoretical knowledge (issued form scheduling theory) which achieves the management of time ; empirical knowledge about priority rules and their influence on production objectives; and practical knowledge (provided by shop-floor managers) about technological constraints to be satisfied in a given application. The latter is usually not considered in pure Operations Research algorithms. The system is actually implemented in COMMON LISP and runs on a Texas Explorer LISP Machine and a SUN workstation. Computational results are reported.