Extension to delegation and prototype-based object-oriented language Self: adds distributed objects, transparent remote reference resolution, thus facilitating distributed inheritance and instantiation mechanisms. [ResearchIndex]

Much work on validation and verification of knowledge based systems (KBSs) has been done in implementation languages, mostly rule based. Recent papers suggest it is useful to do validation and verification in a more abstract and formal specification o...

Thesis studies FORUM as specification language. FORUM is a higher order logic based on the logical connectives of Linear Logic. Initial example demonstrates that FORUM is well suited to specify concurrent computations by specifying the higher order ss...

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]

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...

Article Rafael Ramirez.

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.

By Marc Najork. This thesis describes Cube, the first visual language to employ a three-dimensional syntax.

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

A security policy is a set of rules written in general terms stating what is permitted and what is not permitted in a system during normal operation.