The meta-object facility typed
Proceedings of the 2006 ACM symposium on Applied computing
Proofs-as-Model-Transformations
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
One-and-a-Halfth Order Terms: Curry-Howard and Incomplete Derivations
WoLLIC '08 Proceedings of the 15th international workshop on Logic, Language, Information and Computation
Synthesis of Data Views for Communicating Processes
Logic-Based Program Synthesis and Transformation
Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms
Information and Computation
Correct-by-construction model transformations from partially ordered specifications in Coq
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
A type theoretic framework for formal metamodelling
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
Hi-index | 0.00 |