Programming in the Large: The Algebraic-Functional Language Opal 2alpha

DOSFOP - A Documentation Tool for the Algebraic Programming Language OPAL

We present an approach to the design of a literate programming tool for the algebraic programming language Opal, which serves as a back-end in the formal program derivation process. In designing our documentation system we not only take technical aspects into account , but also have the acceptance of the documentation system by the software developer in mind.

How to Cope with the Spectrum of SPECTRUM

The speciication language Spectrum BFG + 93] melts a wide range of concepts into a single language frame: three-valued rst-order logic, polymorphism, type classes, higher-order functions, innnite objects. The desire of identifying and relating sub-languages satisfying certain constraints given by syntactical and pragmatic considerations appears. In this paper we consider the constructive orient...

OPAL: Design and Implementation of an Algebraic Programming Language

Reflections in Opal - Meta Information in a Functional Programming Language

We report on an extension of the Opal system that allows the use of reeections. Using reeections, a programmer can query information like the type of an object at runtime. The type can in turn be queried for properties like the constructor and deconstructor functions, and the resulting reeected functions can be evaluated. These facilities can be used for generic meta-programming. We describe th...

Algebraic Matching of Vulnerabilities in a Low-Level Code

This paper explores the algebraic matching approach for detection of vulnerabilities in binary codes. The algebraic programming system is used for implementing this method. It is anticipated that models of vulnerabilities and programs to be verified are presented as behavior algebra and action language specifications. The methods of algebraic matching are based on rewriting rules and techniques...