SneltingGregor

发表

Reengineering of configurations based on mathematical concept analysis

SneltingGregor, 1996 .

The PSG system: from formal language definitions to interactive programming environments

SneltingGregor, BahlkeRolf, 1986 .

Flow-sensitive, context-sensitive, and object-sensitive information flow control based on program dependence graphs

SneltingGregor, HammerChristian, 2009 .

How to build LR parsers which accept incomplete input

SneltingGregor, 1990 .

Concept analysisa new framework for program understanding

SneltingGregor, 1998 .

An operational semantics and type safety prooffor multiple inheritance in C

TipFrank, SneltingGregor, NipkowTobias, 2006 .

Understanding class hierarchies using concept analysis

TipFrank, SneltingGregor, 2000 .

Unified versioning through feature logic

SneltingGregor, ZellerAndreas, 1997 .

Reengineering class hierarchies using concept analysis

TipFrank, SneltingGregor, 1998 .