Magma2: a language oriented toward experiments in control
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Algebraic laws for nondeterminism and concurrency
Journal of the ACM (JACM)
GALILEO: a strongly-typed, interactive conceptual language
ACM Transactions on Database Systems (TODS)
Journal of the ACM (JACM)
The denotational semantics of dynamic networks of processes
ACM Transactions on Programming Languages and Systems (TOPLAS)
Soundness of Hoare's logic: an automated proof using LCF
ACM Transactions on Programming Languages and Systems (TOPLAS)
Compiling circular attribute grammars into Prolog
IBM Journal of Research and Development
Toward compiler implementation correctness proofs
ACM Transactions on Programming Languages and Systems (TOPLAS)
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
Semantic parallelization: a practical exercise in abstract interpretation
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
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
Parsing Languages by Pattern Matching
IEEE Transactions on Software Engineering
Concrete syntax for data objects in functional languages
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
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
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Towards fully abstract semantics for local variables
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
Viewing object as patterns of communicating agents
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
GARDEN—an integrated and evolving environment for ULSI/VLSI CAD applications
IBM Systems Journal
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
Parameter-passing and the lambda calculus
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Generic instantiations as closures
ACM SIGAda Ada Letters
PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
Building abstract iterators using continuations
ACM SIGPLAN Notices
Testability of Software Components
IEEE Transactions on Software Engineering
Software Specialization Via Symbolic Execution
IEEE Transactions on Software Engineering
Spreadsheet computations in computer algebra
ACM SIGSAM Bulletin
Implementing denotational semantics with logic programming
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
Industrial strength compiler construction with equations
ACM SIGPLAN Notices
Denotational semantics of a calculator
CSC '93 Proceedings of the 1993 ACM conference on Computer science
Compiler correctness for parallel languages
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
A framework for programming denotational semantics in C++
ACM SIGPLAN Notices
Software Reuse by Specialization of Generic Procedures through Views
IEEE Transactions on Software Engineering
Embedding type structure in semantics
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A data modeling methodology for the design and implementation of information systems
OODS '86 Proceedings on the 1986 international workshop on Object-oriented database systems
Semantics directed compiling for functional languages
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Representation in CAD: Models and semantics
CSC '85 Proceedings of the 1985 ACM thirteenth annual conference on Computer Science
Properties of a Notation for Combining Functions
Journal of the ACM (JACM)
CSC '87 Proceedings of the 15th annual conference on Computer Science
ACM Transactions on Programming Languages and Systems (TOPLAS)
Control Flow Aspects of Semantics-Directed Compiling
ACM Transactions on Programming Languages and Systems (TOPLAS)
Designing new languages or new language manipulation systems using ML
ACM SIGPLAN Notices
Incremental compilation in Magpie
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
Higher-order strictness analysis in untyped lambda calculus
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
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
A semantics-directed compiler generator
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
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
A Syntactic Theory of Dynamic Binding
Higher-Order and Symbolic Computation
Continuation-Based Multiprocessing Revisited
Higher-Order and Symbolic Computation
A Foreword to ‘Fundamental Concepts in ProgrammingLanguages’
Higher-Order and Symbolic Computation
Christopher Strachey: Recollections of His Influence
Higher-Order and Symbolic Computation
Formal specifications of debuggers
ACM SIGPLAN Notices
A Foundation for Conventional and Temporal Query Optimization Addressing Duplicates and Ordering
IEEE Transactions on Knowledge and Data Engineering
Creation of Views for Reuse of Software with Different Data Representations
IEEE Transactions on Software Engineering
A Data Modeling Approach to Simplify the Design of User Interfaces
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
ECOOP '87 Proceedings of the European Conference on Object-Oriented Programming
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
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
Constructive Analysis of Cyclic Circuits
EDTC '96 Proceedings of the 1996 European conference on Design and Test
Heterogeneous Programming with Java: Gourmet Blend or just a Hill of Beans?
HCW '98 Proceedings of the Seventh Heterogeneous Computing Workshop
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
APL '82 Proceedings of the international conference on APL
Data structures for CAD object description
DAC '81 Proceedings of the 18th Design Automation Conference
Continuation-based multiprocessing
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
A semantic comparison of LISP and SCHEME
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
HOPE: An experimental applicative language
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
Dialogues: A basis for constructing programming environments
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
Type hierarchies and Semantic Data Models
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
Experience with the formal semantic definition of HAL/S
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
PVS - design for a practical verification system
ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
From λ to π; or, Rediscovering continuations
Mathematical Structures in Computer Science
Denotational semantics for "natural" language question-answering programs
Computational Linguistics
A comparative study of CHILL and Ada on the basis of denotational descriptions
ACM SIGAda Ada Letters
On teaching theoretical foundations of Computer Science
ACM SIGACT News
ACM SIGSOFT Software Engineering Notes - Proceedings of VERkshop III -- a formal verification workshop
Formal Semantics of Synchronous SystemC
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
An Executable Prolog Semantics
ALGOL Bulletin
Encyclopedia of Computer Science
Trustworthy 100-year digital objects: durable encoding for when it's too late to ask
ACM Transactions on Information Systems (TOIS)
Final report of the ANSI/X3/SPARC DBS-SG relational database task group
ACM SIGMOD Record
Topology in PVS: continuous mathematics with applications
Proceedings of the second workshop on Automated formal methods
The Semantics of Ugo Montanari
Concurrency, Graphs and Models
A domain equation for bisimulation
Information and Computation
Advanced symbolic analysis for compilers: new techniques and algorithms for symbolic program analysis and optimization
Understanding programming language concepts via operational semantics
Domain modeling and the duration calculus
VDM semantics of programming languages: combinators and monads
Formal methods and hybrid real-time systems
A layered semantics for mobile computation
PRIMA'06 Proceedings of the 9th Pacific Rim international conference on Agent Computing and Multi-Agent Systems
A simple algorithm specification language and its application
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
Denotational semantics and refinement
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
A note on logic and information retrieval
MIRO'95 Proceedings of the Final conference on Multimedia Information Retrieval
Automatic generation of execution tools in a GANDALF environment
Journal of Systems and Software
Constructive Boolean circuits and the exactness of timed ternary simulation
Formal Methods in System Design
WHY DENOTATIONAL?: Remarks on Applied Denotational Semantics
Fundamenta Informaticae
| Hi-index | 0.00 |