A Genertative Approach to Framework Instantiation
No abstract available.
Related papers
- Towards agent-oriented assistance for framework instantiation OOPSLA 2000
- Parametric shape analysis via 3-valued logic TOPLAS 2002
- Foundations for natural proofs and quantifier instantiation POPL 2018
- Binder aware recursion over well-scoped de Bruijn syntax CPP 2018
- The trace partitioning abstract domain TOPLAS 2007
- Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures POPL 2019
- MoSeL: a general, extensible modal framework for interactive proofs in separation logic ICFP 2018
- UML-F: A Modeling Language for Object-Oriented Frameworks ECOOP 2000