4 citations · 11 across the 7 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.PL2017
A Co-contextual Type Checker for Featherweight Java (incl. Proofs)
Edlira Kuci, Sebastian Erdweg, Oliver Bračevac +2
This paper addresses compositional and incremental type checking for object-oriented programming languages. Recent work achieved incremental type checking for structurally typed fu…
cs.SE2017★ 4 cited
A Module-System Discipline for Model-Driven Software Development
Sebastian Erdweg, Klaus Ostermann
Model-driven development is a pragmatic approach to software development that embraces domain-specific languages (DSLs), where models correspond to DSL programs. A distinguishing f…