Semantic Constructs for a Persistent Programming Language

Abstract

Existing persistent languages cannot express the structure and semantics of the data they work on precisely and simply. As a result programs are more difficult to write and the integrity of the data is compromised. The paper presents a persistent programming language which includes a constraint definition and checking system. The constraint definition aspects of the language PERCI are explained and the implementation of the constraint handling system is outlined. PERCI is compared with existing languages and the advantages of the new language are described