×

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: AGG; Fujaba; VIATRA2; DIEGO; Graph transformation benchmarks; GrGen; GXL; GROOVE; SPIN; DiaGen; AToM3; Moflon; MOFLON; VPM; DACTL; vUML; PORGY; GP 2; Maude; CatLib
Cited in: 52 Documents
all top 5

Cited by 88 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 Dörr, Heiko
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 Arnould, Agnès
1 Balogh, Andras
1 Baresi, Luciano
1 Batz, Gernot Veit
1 Belhaouari, Hakim
1 Bellet, Thomas
1 Bergmann, Gábor
1 Biermann, Enrico
1 Bottoni, Paolo
1 Bruggink, H. J. Sander
1 Corradini, Andrea
1 Cremer, Katja
1 de Lara, Juan
1 Derichsweiler, Frank
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 König, Barbara
1 Krapp, Carl-Arndt
1 Kreowski, Hans-Jörg
1 Krüppel, Sven
1 Kulcsár, Géza
1 Kullbach, Bernt
1 Le Gall, Pascale
1 Llabrés, Mercè
1 Lochau, Malte
1 Manning, Greg
1 Marburger, André
1 Matjeka, Marleen
1 McBrien, Peter
1 Moreno-Delgado, Antonio
1 Münch, Manfred
1 Namet, Olivier
1 Narayanan, Anantha
1 Nolte, Dennis
1 Parisi-Presicce, Francesco
1 Pascual, Romain
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 Stoltenow, Lars
1 Szalkowski, Adam
1 Varró, Gergely
1 Wang, Xin
1 Zschaler, Steffen

Citations by Year