Detlef Plump
- The GP Programming System
2015/11/03 by Greg Manning, Manning, Greg, Detlef Plump +1 · 2 citations
Computer Science · #Logic, programming, and type systems #Model-Driven Software Engineering Techniques #Semantic Web and Ontologies
- Checking Graph-Transformation Systems for Confluence
2015/11/03 by Detlef Plump, Plump, Detlef, Christopher Bak +1 · 1 citation
Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Model-Driven Software Engineering Techniques #Software Testing and Debugging Techniques