Search the dblp DataBase
Gregor Snelting :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Gregor Snelting , Bernd Fischer , Franz-Josef Grosch , Matthias Kievernagel , Andreas Zeller Die inferenzbasierte Softwareentwicklungsumgebung NORA. [Citation Graph (1, 0)][DBLP ] Inform., Forsch. Entwickl., 1994, v:9, n:3, pp:116-131 [Journal ] Gregor Snelting Software Reengineering Based on Concept Lattices. [Citation Graph (0, 0)][DBLP ] CSMR, 2000, pp:3-10 [Conf ] Gregor Snelting , Frank Tip Semantics-Based Composition of Class Hierarchies. [Citation Graph (0, 0)][DBLP ] ECOOP, 2002, pp:562-584 [Conf ] Gregor Snelting , Franz-Josef Grosch , Ulrik Schroeder Inference-Based Support for Programming in the Large. [Citation Graph (0, 0)][DBLP ] ESEC, 1991, pp:396-408 [Conf ] Andreas Zeller , Gregor Snelting Handling Version Sets Through Feature Logic. [Citation Graph (0, 0)][DBLP ] ESEC, 1995, pp:191-204 [Conf ] Rolf Bahlke , Gregor Snelting The PSG System: From Formal Language Definitions to Interactive Programming Environments. [Citation Graph (0, 0)][DBLP ] ESOP, 1988, pp:374-375 [Conf ] Gregor Snelting Concept Lattices in Software Analysis. [Citation Graph (0, 0)][DBLP ] Formal Concept Analysis, 2005, pp:272-287 [Conf ] Tobias Nipkow , Gregor Snelting Type Classes and Overloading Resolution via Order-Sorted Unification. [Citation Graph (0, 0)][DBLP ] FPCA, 1991, pp:1-14 [Conf ] M. Jäger , Rolf Bahlke , Wolfgang Henhapl , M. Hunkel , Thomas Letschert , Gregor Snelting Industrieprogramm: PSG. [Citation Graph (0, 0)][DBLP ] Programmierumgebungen und Compiler, 1984, pp:285-291 [Conf ] Maren Krone , Gregor Snelting On the Inference of Configuration Structures from Source Code. [Citation Graph (0, 0)][DBLP ] ICSE, 1994, pp:49-57 [Conf ] Christian Lindig , Gregor Snelting Assessing Modular Structure of Legacy Code Based on Mathematical Concept Analysis. [Citation Graph (0, 0)][DBLP ] ICSE, 1997, pp:349-359 [Conf ] Torsten Robschink , Gregor Snelting Efficient path conditions in dependence graphs. [Citation Graph (0, 0)][DBLP ] ICSE, 2002, pp:478-488 [Conf ] Rolf Bahlke , Gregor Snelting Context-sensitive Editing with PSG Environments. [Citation Graph (0, 0)][DBLP ] Advanced Programming Environments, 1986, pp:26-38 [Conf ] Mirko Streckenbach , Gregor Snelting Refactoring class hierarchies with KABA. [Citation Graph (0, 0)][DBLP ] OOPSLA, 2004, pp:315-330 [Conf ] Daniel Wasserrab , Tobias Nipkow , Gregor Snelting , Frank Tip An operational semantics and type safety prooffor multiple inheritance in C++. [Citation Graph (0, 0)][DBLP ] OOPSLA, 2006, pp:345-362 [Conf ] Christian Hammer , Gregor Snelting An improved slicer for Java. [Citation Graph (0, 0)][DBLP ] PASTE, 2004, pp:17-22 [Conf ] Gregor Snelting Concept Analysis - A New Framework for Program Understanding. [Citation Graph (0, 0)][DBLP ] PASTE, 1998, pp:1-10 [Conf ] Rolf Bahlke , B. Moritz , Gregor Snelting A generator for language-specific debugging systems. [Citation Graph (0, 0)][DBLP ] PLDI, 1987, pp:92-101 [Conf ] Franz-Josef Grosch , Gregor Snelting Inference-Based Overloading Resolution for ADA. [Citation Graph (0, 0)][DBLP ] PLILP, 1990, pp:30-44 [Conf ] Gregor Snelting , Wolfgang Henhapl Unification in Many-Sorted Algebras as a Device for Incremental Semantic Analysis. [Citation Graph (0, 0)][DBLP ] POPL, 1986, pp:229-235 [Conf ] Wolfgang Henhapl , Gregor Snelting Context Relations - a Concept for Incremental Context Analysis in Program Fragments. [Citation Graph (0, 0)][DBLP ] Fachtagung über Programmiersprachen, 1984, pp:128-143 [Conf ] Gregor Snelting Combining Slicing and Constraint Solving for Validation of Measurement Software. [Citation Graph (0, 0)][DBLP ] SAS, 1996, pp:332-348 [Conf ] Wolfgang Henhapl , Stefan Kaes , Gregor Snelting Utilizing Fifth Generation Technology in Software Development Tools. [Citation Graph (0, 0)][DBLP ] Software Development Environments and CASE Technology, 1991, pp:153-166 [Conf ] Gregor Snelting , Frank Tip Reengineering Class Hierarchies Using Concept Analysis. [Citation Graph (0, 0)][DBLP ] SIGSOFT FSE, 1998, pp:99-110 [Conf ] Gregor Snelting Experiences with the PSG - Programming System Generator. [Citation Graph (0, 0)][DBLP ] TAPSOFT, Vol.2, 1985, pp:148-162 [Conf ] Gregor Snelting The Calculus of Context Relations. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1991, v:28, n:5, pp:411-445 [Journal ] Jens Krinke , Torsten Robschink , Gregor Snelting Software-Sicherheitsprüfung mit VALSOFT. [Citation Graph (0, 0)][DBLP ] Inform., Forsch. Entwickl., 1999, v:14, n:2, pp:62-73 [Journal ] Rolf Bahlke , Gregor Snelting Design and Structure of a Semantics-Based Programming Environment. [Citation Graph (0, 0)][DBLP ] International Journal of Man-Machine Studies, 1992, v:37, n:4, pp:467-479 [Journal ] Jens Krinke , Gregor Snelting Validation of measurement software as an application of slicing and constraint solving. [Citation Graph (0, 0)][DBLP ] Information & Software Technology, 1998, v:40, n:11-12, pp:661-675 [Journal ] Gregor Snelting Feyerabend - zwei Jahre später - zur Diskussion gestellt. [Citation Graph (0, 0)][DBLP ] Informatik Spektrum, 2001, v:24, n:5, pp:305-308 [Journal ] Gregor Snelting Paul Feyerabend und die Softwaretechnologie (Zur Diskussion gestellt). [Citation Graph (0, 0)][DBLP ] Informatik Spektrum, 1998, v:21, n:5, pp:273-276 [Journal ] Paul Klint , Thomas W. Reps , Gregor Snelting Programming environments: report on an international workshop at Dagstuhl Castle. [Citation Graph (0, 0)][DBLP ] SIGPLAN Notices, 1992, v:27, n:11, pp:90-96 [Journal ] Gregor Snelting How to Build LR Parsers Which Accept Incomplete Input. [Citation Graph (0, 0)][DBLP ] SIGPLAN Notices, 1990, v:25, n:4, pp:51-58 [Journal ] Gregor Snelting Feyerabend - zwei Jahre später. [Citation Graph (0, 0)][DBLP ] Softwaretechnik- Trends, 2001, v:21, n:1, pp:- [Journal ] Gregor Snelting Paul Feyerabend and Software Technology. [Citation Graph (0, 0)][DBLP ] STTT, 1998, v:2, n:1, pp:1-5 [Journal ] Rolf Bahlke , Gregor Snelting The PSG System: From Formal Language Definitions to Interactive Programming Environments. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1986, v:8, n:4, pp:547-576 [Journal ] Gregor Snelting , Frank Tip Understanding class hierarchies using concept analysis. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 2000, v:22, n:3, pp:540-582 [Journal ] Gregor Snelting , Torsten Robschink , Jens Krinke Efficient path conditions in dependence graphs for software safety analysis. [Citation Graph (0, 0)][DBLP ] ACM Trans. Softw. Eng. Methodol., 2006, v:15, n:4, pp:410-457 [Journal ] Gregor Snelting Reengineering of Configurations Based on Mathematical Concept Analysis. [Citation Graph (0, 0)][DBLP ] ACM Trans. Softw. Eng. Methodol., 1996, v:5, n:2, pp:146-189 [Journal ] Andreas Zeller , Gregor Snelting Unified Versioning Through Feature Logic. [Citation Graph (0, 0)][DBLP ] ACM Trans. Softw. Eng. Methodol., 1997, v:6, n:4, pp:398-441 [Journal ] Daniel Wasserrab , Tobias Nipkow , Gregor Snelting , Frank Tip C++ ist typsicher? Garantiert! [Citation Graph (0, 0)][DBLP ] Software Engineering, 2007, pp:29-34 [Conf ] KABA: Automated Refactoring for Improved Cohesion. [Citation Graph (, )][DBLP ] Static path conditions for Java. [Citation Graph (, )][DBLP ] On PDG-based noninterference and its modular proof. [Citation Graph (, )][DBLP ] On Temporal Path Conditions in Dependence Graphs. [Citation Graph (, )][DBLP ] Gateway Decompositions for Constrained Reachability Problems. [Citation Graph (, )][DBLP ] On temporal path conditions in dependence graphs. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.302secs