The syntax definition formalism SDF—reference manual—
ACM SIGPLAN Notices
SPARE: A Development Environment for Program Analysis Algorithms
IEEE Transactions on Software Engineering
Journal of Symbolic Computation - Special issue on automatic programming
An Unboxed Operational Semantics for ML Polymorphism
Lisp and Symbolic Computation
Specifying and Automatically Generating a Specialization Tool for Fortran 90
Automated Software Engineering
Certification of a Type Inference Tool for ML: Damas–Milner within Coq
Journal of Automated Reasoning
ESOP '99 Proceedings of the 8th European Symposium on Programming Languages and Systems
Dead Code Elimination through Dependent Types
PADL '99 Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
Design and Correctness of Program Transformations Based on Control-Flow Analysis
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
A Curry-Howard Isomorphism for Compilation and Program Execution
TLCA '99 Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications
Typed Exeptions and Continuations Cannot Macro-Express Each Other
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
Proving ML Type Soundness Within Coq
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
Constructor Subtyping in the Calculus of Inductive Constructions
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
Enhanced Control Flow Graphs in Montages
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
FST TCS '02 Proceedings of the 22nd Conference Kanpur on Foundations of Software Technology and Theoretical Computer Science
Specifying Prolog Trace Models with a Continuation Semantics
LOPSTR '00 Selected Papers form the 10th International Workshop on Logic Based Program Synthesis and Transformation
Exploiting labels in Structural Operational Semantics
Proceedings of the 2004 ACM symposium on Applied computing
Parallel functional programming on recursively defined data via data-parallel recursion
Journal of Functional Programming
Structured Operational Semantics of a fragment of the language Scheme
Journal of Functional Programming
iRho: an imperative rewriting calculus
PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
An operational semantics for Scheme
ACM SIGPLAN Lisp Pointers
Theoretical Computer Science - Formal methods for components and objects
Information and Computation
Aspect-Oriented Action Semantics Descriptions
Electronic Notes in Theoretical Computer Science (ENTCS)
Defunctionalized interpreters for programming languages
Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
A logical account of uncertain databases based on linear logic
Proceedings of the 12th International Conference on Database Theory
Extending the loop language with higher-order procedural variables
ACM Transactions on Computational Logic (TOCL)
Vivid: A framework for heterogeneous problem solving
Artificial Intelligence
A Proof Calculus for Natural Semantics Based on Greatest Fixed Point Semantics
Electronic Notes in Theoretical Computer Science (ENTCS)
Information and Computation
Modelling declassification policies using abstract domain completeness
Mathematical Structures in Computer Science - Programming Language Interference and Dependence
From natural semantics to abstract machines
LOPSTR'04 Proceedings of the 14th international conference on Logic Based Program Synthesis and Transformation
Formal aspects of and development environments for Montages
Algebraic'97 Proceedings of the 2nd international conference on Theory and Practice of Algebraic Specifications
A Two-Level Logic Approach to Reasoning About Computations
Journal of Automated Reasoning
PEPM '13 Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation
Engineering definitional interpreters
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming
Hi-index | 0.00 |