Вы здесь

Главная

денотационный

Связанные издания:

A Compositional Semantics of Combining Forms for Gamma Programs
A Deductive and Typed Object-Oriented Language
A Denotational Real-Time Semantics for Shared Processors
A Denotational Semantics for the Starburst Production Rule Language
A Formal Approach to the Teaching of Programming Language Concepts
A Framework for Programming Denotational Semantics in C++
A Fully Abstract Model for a Nonuniform Concurrent Language with Parameterization and Locality
A Fully Abstract Semantics for a First-Order Functional Language with Logic Variables
A Logical Denotational Semantics for Constraint Logic Programming
A Modular Approach to Denotational Semantics
An Exercise in Compiler Verification
An Implementation of Type:Type
A Semantics-Based Determinacy Analysis for Prolog with Cut
A Semantic Theory for Concurrent ML
A Simple Semantics for Logic Programming Languages with Dynamic Scheduling
Automatic Generation of Parallelizing Compilers for Object-Oriented Programming Languages from Denotational Semantics Specifications
Baby Modula-3 and a Theory of Objects
Categorial Graphs (Extended Abstract)
Categorical Semantics of the Call-by-value -calculus
Comparative Metric Semantics for Commit in Or-Parallel Logic Programming
Comparative Semantics for Linear Arrays of Communicating Processes
CPO Models for a Class of GSOS Languages
Denotational Semantics
Denotational Semantics as a Programming Language
Denotational Semantics of a Goal-Directed Language
Denotational Semantics of a Para-Functional Programming Language
Denotational Semantics of Object Specification
Detonational Semantics for an Active Rule Execution Model
Distributed Implementation of CCS
Domain Theory in HOL
Dynamic Denotational Semantics of Java
Extensible Denotational Language Specifications
Extensional embeddingt of a strongly stable model of PCF
Full Abstraction for the Second Order Subset of an ALGOL-like Language
Functor Categories and Two-Level Languages
Generating an Efficient Compiler for a Data Parallel Language from a Denotational Specification
Generating Efficient Code from Continuation Semantics
Layered Predicates
Logic and Programming Languages
Metric Pomset Semantics for a Concurrent Language with Recursion
Metric Semantics for True Concurrent Real Time
Minimal Function Graphs are not Instrumented
Modular Denotational Semantics for Compiler Construction
Nonstandard Logics of Recursive Programs and Denotational Semantics
Observing Located Concurrency
On A Generalized Product For Domains
On concervative extensions of syntax in system development
On conservative extensions of syntax in system development
On Denotational versus Predicative Semantics
On the Adequacy of Per Models