×

PROGRES

swMATH ID: 2905
Software Authors: Münch, Manfred; Schürr, Andy; Winter, Andreas J.
Description: Integrity constraints in the multi-paradigm language PROGRES. 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 semantics at runtime. It discusses a number of important design decisions such as when constraints have to be checked and what happens if constraint violations are detected.
Homepage: http://de.wikipedia.org/wiki/Progres
Keywords: specification; graph rewriting; type-checker; static semantics; static integrity constraints; graph transformations; programming language
Related Software: VIATRA2; AGG; Fujaba; SPIN; DIEGO; Graph transformation benchmarks; GrGen; GXL; GROOVE; DiaGen; AToM3; DACTL; VPM; Moflon; MOFLON; PORGY; vUML; CheckVML; GP 2; Maude
Cited in: 49 Publications

Standard Articles

1 Publication describing the Software, including 1 Publication in zbMATH Year
Integrity constraints in the multi-paradigm language PROGRES. Zbl 0971.68611
Münch, Manfred; Schürr, Andy; Winter, Andreas J.
2000
all top 5

Cited by 78 Authors

7 Schürr, Andy
5 Heckel, Reiko
5 Plump, Detlef
5 Varró, Dániel
4 Ehrig, Hartmut
4 Hoffmann, Berthold
4 Winter, Andreas
3 Engels, Gregor
3 Kirchner, Hélène
3 Minas, Mark
3 Taentzer, Gabriele
3 Westfechtel, Bernhard
2 Bardohl, Roswitha
2 Drewes, Frank
2 Fernández, Maribel
2 Habel, Annegret
2 Karsai, Gabor
2 Kuske, Sabine
2 Orejas, Fernando
2 Pataricza, András
2 Schneider, Hans Jürgen
2 Simeoni, Marta
1 Andries, Marc
1 Balogh, Andras
1 Baresi, Luciano
1 Batz, Gernot Veit
1 Bergmann, Gábor
1 Biermann, Enrico
1 Bottoni, Paolo
1 Corradini, Andrea
1 Cremer, Katja
1 de Lara, Juan
1 Derichsweiler, Frank
1 Dörr, Heiko
1 Durán, Francisco
1 Duval, Dominique
1 Echahed, Rachid
1 Ehrig, Karsten
1 Ermel, Claudia
1 Geiß, Rubino
1 Golas, Ulrike
1 Große-Rhode, Martin
1 Grund, Daniel
1 Hack, Sebastian
1 Holt, Richard C.
1 Horváth, Ákos
1 Janssens, Dirk
1 Kahl, Wolfram
1 Krapp, Carl-Arndt
1 Kreowski, Hans-Jörg
1 Krüppel, Sven
1 Kulcsár, Géza
1 Kullbach, Bernt
1 Llabrés, Mercè
1 Lochau, Malte
1 Manning, Greg
1 Marburger, André
1 McBrien, Peter
1 Moreno-Delgado, Antonio
1 Münch, Manfred
1 Namet, Olivier
1 Narayanan, Anantha
1 Parisi-Presicce, Francesco
1 Petriu, Dorina C.
1 Pinaud, Bruno
1 Prange, Ulrike
1 Prost, Frédéric
1 Ráth, István
1 Riediger, Volker
1 Rötschke, Tobias
1 Sauer, Stefan
1 Schleicher, Ansgar
1 Sim, Susan Elliott
1 Steinert, Sandra
1 Szalkowski, Adam
1 Varró, Gergely
1 Wang, Xin
1 Zschaler, Steffen
all top 5

Cited in 9 Serials

5 Science of Computer Programming
3 Lecture Notes in Computer Science
2 Journal of Computer and System Sciences
2 Theoretical Computer Science
2 Journal of Software Maintenance and Evolution. Research and Practice
2 Journal of Logical and Algebraic Methods in Programming
1 MSCS. Mathematical Structures in Computer Science
1 Fundamenta Informaticae
1 Journal of Universal Computer Science

Cited in 5 Fields

49 Computer science (68-XX)
2 Combinatorics (05-XX)
1 General and overarching topics; collections (00-XX)
1 Mathematical logic and foundations (03-XX)
1 Category theory; homological algebra (18-XX)

Citations by Year