Formal methods in transformational derivation of programs
Conference proceedings on Formal methods in software development
Dynamic typing in a statically typed language
ACM Transactions on Programming Languages and Systems (TOPLAS)
Inductive definitions, semantics and abstract interpretations
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
Theoretical Computer Science
Debugging natural semantics specifications
Proceedings of the sixth international symposium on Automated analysis-driven debugging
Electronic Notes in Theoretical Computer Science (ENTCS)
Bi-inductive Structural Semantics
Electronic Notes in Theoretical Computer Science (ENTCS)
Bi-inductive structural semantics
Information and Computation
Abstract interpretation of non-monotone bi-inductive semantic definitions
VMCAI'08 Proceedings of the 9th international conference on Verification, model checking, and abstract interpretation
MetaModelica: a unified equation-based semantical and mathematical modeling language
JMLC'06 Proceedings of the 7th joint conference on Modular Programming Languages
| Hi-index | 0.00 |