DocumentCode
2038555
Title
Integrity constraints in the multi-paradigm language PROGRES
Author
Munch, M. ; Schurr, A. ; Winter, A.
Author_Institution
Dept. of Electron. & Comput. Sci., Southampton Univ., UK
fYear
1998
fDate
1-4 Sep 1998
Firstpage
84
Lastpage
85
Abstract
PROGRES is a multi-paradigm visual programming or executable specification language, which has a well-defined static type concept. It supports programming with graph rewriting systems. An integrated type-checker is able to check the static semantics of a specification. This paper presents the integration of static integrity constraints to the language which allow to check a specification´s integrity at run-time
Keywords
rewriting systems; specification languages; visual languages; visual programming; executable specification language; graph rewriting systems; integrated type-checker; integrity constraints; multi-paradigm language PROGRES; multi-paradigm visual programming; specification; static semantics; static type concept; Aircraft; Computer languages; Computer science; Data models; Database systems; Object oriented modeling; Programming environments; Runtime; Software engineering; Unified modeling language;
fLanguage
English
Publisher
ieee
Conference_Titel
Visual Languages, 1998. Proceedings. 1998 IEEE Symposium on
Conference_Location
Halifax, NS
ISSN
1049-2615
Print_ISBN
0-8186-8712-6
Type
conf
DOI
10.1109/VL.1998.706145
Filename
706145
Link To Document