Algebraic laws for nondeterminism and concurrency
Journal of the ACM (JACM)
Program transformations in a denotational setting
ACM Transactions on Programming Languages and Systems (TOPLAS)
Journal of the ACM (JACM)
The denotational semantics of dynamic networks of processes
ACM Transactions on Programming Languages and Systems (TOPLAS)
Transformations of denotational semantics in semantics directed compiler generation
SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction
SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction
Revised report on the algorithmic language scheme
ACM SIGPLAN Notices
The PSG system: from formal language definitions to interactive programming environments
ACM Transactions on Programming Languages and Systems (TOPLAS)
A methodology for synthesis of recursive functional programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Formal models of stepwise refinements of programs
ACM Computing Surveys (CSUR)
Direct semantics of concurrent languages in the SMoLCS approach
IBM Journal of Research and Development
Extending the relational algebra to support transaction time
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
A realistic compiler generator based on high-level semantics: another progress report
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A mathematical approach to nondeterminism in data types
ACM Transactions on Programming Languages and Systems (TOPLAS)
Systems semantics: principles, applications, and implementation
ACM Transactions on Programming Languages and Systems (TOPLAS)
IEEE Transactions on Software Engineering
Type theories and object-oriented programmimg
ACM Computing Surveys (CSUR)
Continuations may be unreasonable
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
Objects as closures: abstract semantics of object-oriented languages
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
The Alonzo functional programming language
ACM SIGPLAN Notices
On the productivity of recursive list definitions
ACM Transactions on Programming Languages and Systems (TOPLAS)
A denotational semantics for Prolog
ACM Transactions on Programming Languages and Systems (TOPLAS)
A first course in program verification and the semantics of programming languages
SIGCSE '89 Proceedings of the twentieth SIGCSE technical symposium on Computer science education
Recursive Pattern Matching on concrete data types
ACM SIGPLAN Notices
Conception, evolution, and application of functional programming languages
ACM Computing Surveys (CSUR)
Representational and Denotational Semantics of Digital Systems
IEEE Transactions on Computers
Inheritance in smalltalk-80: a denotational definition
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Automatic binding time analysis for a typed &lgr;-calculus
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A collecting interpretation of expressions
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Sacrificing simplicity for convenience: Where do you draw the line?
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A denotational semantics of inheritance and its correctness
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Rewrite, rewrite, rewrite, rewrite, rewrite...
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
CTDNet-A Mechanism for the Concurrent Execution of Lambda Graphs
IEEE Transactions on Software Engineering
Including Scalars in a Programming Language Based on the Relational Algebra
IEEE Transactions on Software Engineering
Completeness of rewrite rules and rewrite strategies for FP
Journal of the ACM (JACM)
Efficient evaluation of circular attribute grammars
ACM Transactions on Programming Languages and Systems (TOPLAS)
Continuing into the future: on the interaction of futures and first-class continuations
LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
Higher-order attribute grammars and editing environments
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
Stacklessness: compiling recursion for a distributed architecture
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
Set abstraction in functional and logic programming
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
Static and dynamic semantics processing
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A dynamic extent control operator for partial continuations
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Mechanizing CSP Trace Theory in Higher Order Logic
IEEE Transactions on Software Engineering
Collecting interpretations of expressions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Denotational semantics of a goal-directed language
ACM Transactions on Programming Languages and Systems (TOPLAS)
Semantical interprocedural parallelization: an overview of the PIPS project
ICS '91 Proceedings of the 5th international conference on Supercomputing
PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
A fully abstract semantics for a first-order functional language with logic variables
ACM Transactions on Programming Languages and Systems (TOPLAS)
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
Testability of Software Components
IEEE Transactions on Software Engineering
Software Specialization Via Symbolic Execution
IEEE Transactions on Software Engineering
A Control-Flow Normalization Algorithm and its Complexity
IEEE Transactions on Software Engineering
SPARE: A Development Environment for Program Analysis Algorithms
IEEE Transactions on Software Engineering
A denotational semantics for the Starburst production rule language
ACM SIGMOD Record
Interactive modular programming in Scheme
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
Proving the correctness of storage representations
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
Inheritance and constraint-based grammar formalisms
Computational Linguistics - Special issue on inheritance: I
A general framework for semantics-based bottom-up abstract interpretation of logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proofs by structural induction using partial evaluation
PEPM '93 Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Separating stages in the continuation-passing style transformation
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Explicit polymorphism and CPS conversion
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Automatic generation and management of interprocedural program analyses
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Dynamic programming in a pure functional language
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
Projecting functional models of imperative programs
ACM SIGPLAN Notices
Compiling nested data-parallel programs for shared-memory multiprocessors
ACM Transactions on Programming Languages and Systems (TOPLAS)
Defining context-dependent syntax without using contexts
ACM Transactions on Programming Languages and Systems (TOPLAS)
In-place updates in the presence of control operators
LFP '94 Proceedings of the 1994 ACM conference on LISP and functional programming
Software merge: semantics of combining changes to programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Monad transformers and modular interpreters
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Formalization and application of a unifying model for name management
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Heraclitus: elevating deltas to be first-class citizens in a database programming language
ACM Transactions on Database Systems (TODS)
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A framework for programming denotational semantics in C++
ACM SIGPLAN Notices
ISO/IEC 10514–1, the standard for Modula-2: process aspects
ACM SIGPLAN Notices
Comparing models of computation
Proceedings of the 1996 IEEE/ACM international conference on Computer-aided design
The maximal VHDL subset with a cycle-level abstraction
EURO-DAC '96/EURO-VHDL '96 Proceedings of the conference on European design automation
Semantics Guided Regression Test Cost Reduction
IEEE Transactions on Software Engineering
Stack-free process-oriented simulation
Proceedings of the eleventh workshop on Parallel and distributed simulation
Generalizing lookahead—behavioral prediction in distributed simulation
PADS '98 Proceedings of the twelfth workshop on Parallel and distributed simulation
A semantics for complex objects and approximate queries
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Denotational semantics and rewrite rules for FP
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A unified semantic approach for the vectorization and parallelization of generalized reductions
ICS '89 Proceedings of the 3rd international conference on Supercomputing
ICSE '85 Proceedings of the 8th international conference on Software engineering
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
On the use of LISP in implementing denotational semantics
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Constructing Call-by-Value Continuation Semantics
Journal of the ACM (JACM)
DSL implementation using staging and monads
Proceedings of the 2nd conference on Domain-specific languages
Error Data Values in the Data-Flow Language VAL
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Deriving Target Code as a Representation of Continuation Semantics
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Evaluation of Expressions in Icon
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Distribution functions of probabilistic automata
STOC '01 Proceedings of the thirty-third annual ACM symposium on Theory of computing
Revised report on the algorithmic language scheme
ACM SIGPLAN Lisp Pointers
Designing new languages or new language manipulation systems using ML
ACM SIGPLAN Notices
Are constructive formal specifications less abstract?
ACM SIGPLAN Notices
Semantics of combinations in scheme
ACM SIGPLAN Lisp Pointers
Para-functional programming: a paradigm for programming multiprocessor systems
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Data flow analysis of applicative programs using minimal function graphs
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Control structures in hypothesis spaces: the influence on learning
Theoretical Computer Science
Design of embedded systems: formal models, validation, and synthesis
Readings in hardware/software co-design
A cost-effective estimation of uncaught exceptions in standard ML programs
Theoretical Computer Science
A case study in specifying the semantics of a programming language
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A case study in specifying the semantics of a programming language
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Program verification based on denotation semantics
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Flow analysis and optimization of LISP-like structures
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Null values in data base management a denotational semantics approach
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
Semantics-directed machine architecture
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Semantics of Untyped Functional Programs
Programming and Computing Software
Revised Report on the Algorithmic Language Scheme
Higher-Order and Symbolic Computation
Retraction Approach to CPS Transform
Higher-Order and Symbolic Computation
A Syntactic Theory of Dynamic Binding
Higher-Order and Symbolic Computation
A Foreword to ‘Fundamental Concepts in ProgrammingLanguages’
Higher-Order and Symbolic Computation
Some Reflections on Strachey and His Work
Higher-Order and Symbolic Computation
Higher-Order and Symbolic Computation
Formal specifications of debuggers
ACM SIGPLAN Notices
Composing programming languages by combining action-semantics modules
Science of Computer Programming - Special issue: Language descriptions, tools and applications (LDTA'01)
A foundation for embedded languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
Coalgebras and monads in the semantics of java
Theoretical Computer Science - Special issue: Algebraic methodology and software technology
How to circumvent church numerals
Nordic Journal of Computing
Dynamic Denotational Semantics of Java
Formal Syntax and Semantics of Java
A Multi-Resolution Relational Data Model
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
A Denotational Definition of the Semantics of DRC, A Domain Relational Calculus
VLDB '82 Proceedings of the 8th International Conference on Very Large Data Bases
A Monad for Basic Java Semantics
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
ECOOP '87 Proceedings of the European Conference on Object-Oriented Programming
Calculating Functional Programs
Revised Lectures from the International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
On the Semantics of Refinement Calculi
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
AI '02 Proceedings of the 15th Conference of the Canadian Society for Computational Studies of Intelligence on Advances in Artificial Intelligence
Integrating Domain Specific Language Design in the Software Life Cycle
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Scientific Decisions which Characterize VDM
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Fine Control of Demand in Haskell
MPC '02 Proceedings of the 6th International Conference on Mathematics of Program Construction
Calculating functional programs
Algebraic and coalgebraic methods in the mathematics of program construction
Nordic Journal of Computing
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
A combinator-based compiler for a functional language
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Direct implementation of compiler specifications or the pascal p-code compiler revisited
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The semantics of local storage, or what makes the free-list free?(Preliminary Report)
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The effect of the PDP-11 architecture on code generation for chill
ASPLOS I Proceedings of the first international symposium on Architectural support for programming languages and operating systems
Formal specification and development of an ada compiler - a vdm case study
ICSE '84 Proceedings of the 7th international conference on Software engineering
The implementation of procedurally reflective languages
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
Nondeterministic call by need is neither lazy nor by name
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
The semantics of lazy (and industrious) evaluation
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
Denotational semantics of concurrency
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
Data structures for CAD object description
DAC '81 Proceedings of the 18th Design Automation Conference
A semantic comparison of LISP and SCHEME
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
GEM: A tool for concurrency specification and verification
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
Executing functional programs on a virtual tree of processors
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
Denotational semantics as a specification of code generators
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
On a formal model of the tasking concept in Ada
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on The ADA programming language
Development of a debugger for a concurrent language
SIGSOFT '83 Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging
Towards a practical specification language
ACM '81 Proceedings of the ACM '81 conference
Syntax-Directed Construction of Value Dependence Graphs
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Assertions: A Personal Perspective
IEEE Annals of the History of Computing
The Early Search for Tractable Ways of Reasoning about Programs
IEEE Annals of the History of Computing
Demonstrating lambda calculus reduction
The essence of computation
A functional correspondence between evaluators and abstract machines
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
Simplifying ADA by removing limitations
ACM SIGPLAN Notices
Some common misconceptions about Lucid
ACM SIGPLAN Notices
ACM SIGPLAN Notices
An analysis of the coupling effect I: single test data
Science of Computer Programming
Beyond PROLOG: software specification by grammar
ACM SIGPLAN Notices
On a formal model of the tasking concept in Ada
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on Ada programming language
EURO-DAC '90 Proceedings of the conference on European design automation
Operational semantics: concepts and their expression
Information Processing Letters - Special issue: Contribution to computing science
Locus Solum: From the rules of logic to the logic of rules
Mathematical Structures in Computer Science
Intuitionistic model constructions and normalization proofs
Mathematical Structures in Computer Science
Higher-order functional languages and intensional logic
Journal of Functional Programming
First-order functional languages and intensional logic
Journal of Functional Programming
Denotational semantics for "natural" language question-answering programs
Computational Linguistics
Methodologies for the development of knowledge-based systems, 1982–2002
The Knowledge Engineering Review
The semantics of grammar formalisms seen as computer languages
ACL '84 Proceedings of the 10th International Conference on Computational Linguistics and 22nd annual meeting on Association for Computational Linguistics
A survey of semantic description frameworks for programming languages
ACM SIGPLAN Notices
A construction of one-point bases in extended lambda calculi
Information Processing Letters
Sequence-based abstract interpretation of Prolog
Theory and Practice of Logic Programming
Hierarchical meaning representation and analysis of natural language documents
COLING '80 Proceedings of the 8th conference on Computational linguistics
GLU embedded in C++: a marriage between multidimensional and object-oriented programming
Software—Practice & Experience
Paradoxes and semantic representation
TARK '86 Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge
An operational semantics for Scheme
ACM SIGPLAN Lisp Pointers
Continuations from generalized stack inspection
Proceedings of the tenth ACM SIGPLAN international conference on Functional programming
Functional declarative language design and predicate calculus: a practical approach
ACM Transactions on Programming Languages and Systems (TOPLAS)
Semantics of plan revision in intelligent agents
Theoretical Computer Science - Algebraic methodology and software technology
Realization of natural language interfaces using lazy functional programming
ACM Computing Surveys (CSUR)
Slicing as a program transformation
ACM Transactions on Programming Languages and Systems (TOPLAS)
First and Second Order Recursion on Abstract Data Types
Fundamenta Informaticae
The development of the Emerald programming language
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Implementing Local Intervals in CASL
Electronic Notes in Theoretical Computer Science (ENTCS)
Algorithmic differentiation in Axiom
Proceedings of the 2007 international symposium on Symbolic and algebraic computation
A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters
Electronic Notes in Theoretical Computer Science (ENTCS)
Three Paradigms of Computer Science
Minds and Machines
Understanding Programming Languages
Minds and Machines
ACM SIGPLAN Lisp Pointers
Topology in PVS: continuous mathematics with applications
Proceedings of the second workshop on Automated formal methods
Reasoning about aspects with common sense
Proceedings of the 7th international conference on Aspect-oriented software development
Electronic Notes in Theoretical Computer Science (ENTCS)
Defunctionalized interpreters for programming languages
Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
Problems in the ontology of computer programs
Applied Ontology
Theoretical Computer Science
Firmware testing and test data selection
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
A transformational language for mutant description
Computer Languages, Systems and Structures
Narrative Scenarios, Mediating Formalisms, and the Agent-Based Simulation of Land Use Change
Epistemological Aspects of Computer Simulation in the Social Sciences
Extending the loop language with higher-order procedural variables
ACM Transactions on Computational Logic (TOCL)
Experience and Trust ---A Systems-Theoretic Approach
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Well-founded semantics for Boolean grammars
Information and Computation
Formalizing Operational Semantic Specifications in Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
An introduction to inductive programming
Artificial Intelligence Review
Optimistic parallel discrete relaxation
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Program understanding with the lambda calculus
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Achieving information flow security through monadic control of effects
Journal of Computer Security - 18th IEEE Computer Security Foundations Symposium (CSF 18)
Formal semantics of programming languages: VDL
IBM Journal of Research and Development
Dealing Denotationally With Stream-based Communication
Electronic Notes in Theoretical Computer Science (ENTCS)
A Novel Stochastic Game Via the Quantitative μ-calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
An Approach to Splitting Atoms Safely
Electronic Notes in Theoretical Computer Science (ENTCS)
A Data Model for Data Integration
Electronic Notes in Theoretical Computer Science (ENTCS)
Bunching for Regions and Locations
Electronic Notes in Theoretical Computer Science (ENTCS)
A domain equation for bisimulation
Information and Computation
A formal framework for database sampling
Information and Software Technology
Understanding programming language concepts via operational semantics
Domain modeling and the duration calculus
Undoing dynamic typing (declarative pearl)
FLOPS'08 Proceedings of the 9th international conference on Functional and logic programming
Dynamically adaptable software with metacomputations in a staged language
SAIG'01 Proceedings of the 2nd international conference on Semantics, applications, and implementation of program generation
VDM semantics of programming languages: combinators and monads
Formal methods and hybrid real-time systems
From reduction-based to reduction-free normalization
AFP'08 Proceedings of the 6th international conference on Advanced functional programming
UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming
An effective methodology for defining consistent semantics of complex systems
CEFP'09 Proceedings of the Third summer school conference on Central European functional programming school
SP'88 Proceedings of the 1988 IEEE conference on Security and privacy
Action semantics for defining dynamic semantics of modeling languages
Proceedings of the Third Workshop on Behavioural Modelling
Pattern rewriting framework for event processing optimization
Proceedings of the 5th ACM international conference on Distributed event-based system
Revisiting information hiding: reflections on classical and nonclassical modularity
Proceedings of the 25th European conference on Object-oriented programming
Compositional semantics for the procedural interpretation of logic
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Compilation of generic regular path expressions using c++ class templates
CC'05 Proceedings of the 14th international conference on Compiler Construction
A rational deconstruction of landin's SECD machine
IFL'04 Proceedings of the 16th international conference on Implementation and Application of Functional Languages
Source-level optimization of run-time program generators
GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
Semantics of non-deterministic possibility computation
Fuzzy Sets and Systems
Denotational semantics and refinement
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
A scheme for defining partial higher-order functions by recursion
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
The functional life cycle model and its automation: USE.IT
Journal of Systems and Software
Automatic generation of execution tools in a GANDALF environment
Journal of Systems and Software
A multi-tier semantics for Hop
Higher-Order and Symbolic Computation
A semantic analysis of logics that cope with partial terms
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
Problems in the ontology of computer programs
Applied Ontology
Reasoning about i/o in functional programs
CEFP'11 Proceedings of the 4th Summer School conference on Central European Functional Programming School
First and Second Order Recursion on Abstract Data Types
Fundamenta Informaticae
A Simple Adequate Categorical Model for PCF, II
Fundamenta Informaticae
WHY DENOTATIONAL?: Remarks on Applied Denotational Semantics
Fundamenta Informaticae
Software and Systems Modeling (SoSyM)
An equational approach to secure multi-party computation
Proceedings of the 4th conference on Innovations in Theoretical Computer Science
Extensional Higher-Order Logic Programming
ACM Transactions on Computational Logic (TOCL)
Engineering definitional interpreters
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming
Theoretical Computer Science
A Domain-Theoretic Model Of Nominally-Typed Object-Oriented Programming
Electronic Notes in Theoretical Computer Science (ENTCS)
DESIGN SPACE ANALYSIS IN MODEL-DRIVEN ENGINEERING
Journal of Integrated Design & Process Science
| Hi-index | 0.01 |
From the Publisher:"First book-length exposition of the denotational (or `mathematical' or `functional') approach to the formal semantics of programming languages (in contrast to `operational' and `axiomatic' approaches). Treats various kinds of languages, beginning with the pure-lambda-calculus and progressing through languages with states, commands, jumps, and assignments. This somewhat discursive account is a valuable compilation of results not otherwise available in a single source." -- American Mathematical Monthly