Research into persistent programming languages and systems.

Paper describing semantics of FIPA and KQML

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

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]

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.

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

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

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]

Pennsylvania State University. Web information retrieval, web usage mining, search engines, semantic web.