Ted Kaminski
University of Minnesota(US)
Publications by Year
Research Areas
Logic, programming, and type systems, Model-Driven Software Engineering Techniques, Software Engineering Research, Advanced Software Engineering Methodologies, Parallel Computing and Optimization Techniques
Most-Cited Works
- → Language-oriented rule-based reaction network generation and analysis: Algorithms of RING(2014)27 cited
- → Modular Well-Definedness Analysis for Attribute Grammars(2013)26 cited
- → Reliable and automatic composition of language extensions to C: the ableC extensible language framework(2017)24 cited
- → Integrating Attribute Grammar and Functional Programming Language Features(2012)14 cited
- → Ensuring non-interference of composable language extensions(2017)8 cited
- → A modular specification of Oberon0 using the Silver attribute grammar system(2015)5 cited
- → Reliably composable language extensions(2017)4 cited
- → Creating and using domain-specific language features(2013)4 cited
- → Reflection of terms in attribute grammars: Design and applications(2021)4 cited
- Reliable and Automatic Composition of Language Extensions to C(2017)