Inductive definitions, semantics and abstract interpretations
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On the semantic diversity of delegation-based programming languages
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
A framework for programming denotational semantics in C++
ACM SIGPLAN Notices
Partial-evaluation techniques for concurrent programs
PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
DSL implementation using staging and monads
Proceedings of the 2nd conference on Domain-specific languages
An approach for modeling the name lookup problem in the C++ programming lanaguage
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 2
Functional and constraint logic programming
Constraints in computational logics
A unified language processing methodology
Theoretical Computer Science
Generating Model Checkers from Algebraic Specifications
Formal Methods in System Design
A Foreword to ‘Fundamental Concepts in ProgrammingLanguages’
Higher-Order and Symbolic Computation
The Varieties of Programming Language Semantics
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
The Varieties of Programming Language Semantics
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
High Level System Design and Analysis Using Abstract State Machines
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Relating operational and denotational semantics for input/output effects
Mathematical Structures in Computer Science
A study of evaluation order semantics in expressions with side effects
Journal of Functional Programming
Combinators for program generation
Journal of Functional Programming
Semantics of plan revision in intelligent agents
Theoretical Computer Science - Algebraic methodology and software technology
Programming monads operationally with Unimo
Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming
Bi-inductive Structural Semantics
Electronic Notes in Theoretical Computer Science (ENTCS)
GPCE '08 Proceedings of the 7th international conference on Generative programming and component engineering
Bi-inductive structural semantics
Information and Computation
Proceedings of the 8th international workshop on Specification and verification of component-based systems
EDEVS: A Scalable DEVS Formalism for Event-Scheduling Based Parallel and Distributed Simulations
DS-RT '09 Proceedings of the 2009 13th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications
On the Transformation of SystemC to AsmL Using Abstract Interpretation
Electronic Notes in Theoretical Computer Science (ENTCS)
Advanced symbolic analysis for compilers: new techniques and algorithms for symbolic program analysis and optimization
Abstract interpretation of non-monotone bi-inductive semantic definitions
VMCAI'08 Proceedings of the 9th international conference on Verification, model checking, and abstract interpretation
VDM semantics of programming languages: combinators and monads
Formal methods and hybrid real-time systems
Action semantics in retrospect
Semantics and algebraic specification
A constructive semantics for basic aspect constructs
Semantics and algebraic specification
An action semantics based on two combinators
Semantics and algebraic specification
On convex relaxations of quadrilinear terms
Journal of Global Optimization
Design and verification of systemc transaction-level models
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
The rewriting logic semantics project: a progress report
FCT'11 Proceedings of the 18th international conference on Fundamentals of computation theory
A decision procedure for monotone functions over bounded and complete lattices
TARSKI'02-05 Proceedings of the 2006 international conference on Theory and Applications of Relational Structures as Knowledge Instruments - Volume 2
Component-based description of programming languages
VoCS'08 Proceedings of the 2008 international conference on Visions of Computer Science: BCS International Academic Conference
Hi-index | 0.00 |