A confined program is one unable to leak information to an unauthorized party or modify unauthorized resources, an essential feature of any secure component based system. A proof of correctness of EROS architecture for confinement. [ResearchIndex]

Scholarly paper by Neil Haller on the original S/Key system. Links to many citations from the original paper.

Presents a unified approach for expressing high performance numerical linear algebra routines for a class of dense and sparse matrix formats and shapes.

Fowler 1985 - A new make tool with support for CPP, dependency generation, compiled makefiles, parallel execution, pathname parsing operators, and a powerful metalanguage for builtin rules.

Abstract on paper on reactive kernels making the central, hardest part of reactive systems; Esterel is not full language, it is a program generator used to program reactive kernels as YACC programs parsers from grammars. [ResearchIndex]

Joe Armstrong. ACM SIGPLAN International Conference on Functional Programming, Amsterdam.

Paper describing semantics of FIPA and KQML

Research into persistent programming languages and systems.

Based on classical first-order logic; improves on usual concurrent logic languages (eg, Parlog) by explicitly specifying aspects of behavior of concurrent programs, namely: safety properties; gives advantages in writing concurrent programs and manipul...

Describes design, implementation of high level visualization programming system, created from a need to support rapid visual prototyping in an environment that can be extended by abstractions in the application problem domain.