PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Snelting, Gregor"

Author of the publication

copydeleteadd this publication to your clipboard
Die inferenzbasierte Softwareentwicklungsumgebung NORA.

, , , , and . Inform., Forsch. Entwickl., 9 (3): 116-131 (1994)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dr. rer. pol. Gregor Kungl University of Stuttgart

Gregor Eisenbeiß University of Stuttgart

Gregor Neubauer University of Stuttgart

Dr. rer. nat. Gregor Weiß University of Stuttgart

Gregor Löber University of Stuttgart

 

Other publications of authors with the same name

Paul Feyerabend und die Softwaretechnologie (Zur Diskussion gestellt).. Informatik Spektrum, 21 (5): 273-276 (1998)On temporal path conditions in dependence graphs., and . Autom. Softw. Eng., 16 (2): 263-290 (2009)Paul Feyerabend and Software Technology.. STTT, 2 (1): 1-5 (1998)Industrieprogramm: PSG., , , , , and . Programmierumgebungen und Compiler, volume 18 of Berichte des German Chapter of the ACM, page 285-291. Teubner, (1984)Type Classes and Overloading Resolution via Order-Sorted Unification., and . FPCA, volume 523 of Lecture Notes in Computer Science, page 1-14. Springer, (1991)Understanding probabilistic software leaks.. Sci. Comput. Program., (2015)Assessing Modular Structure of Legacy Code Based on Mathematical Concept Analysis., and . ICSE, page 349-359. ACM, (1997)An improved slicer for Java., and . PASTE, page 17-22. ACM, (2004)Unification in Many-Sorted Algebras as a Device for Incremental Semantic Analysis., and . POPL, page 229-235. ACM Press, (1986)On Time-sensitive Control Dependencies., , and . ACM Trans. Program. Lang. Syst., 44 (1): 2:1-2:37 (2022)