Вы здесь

Главная

абстрактный

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

On the Practical Need for Abstraction Relations to Verify Abstract Data Type Representations
On the Refinement and Simulation of Data Types and Processes
On the Type Structure of Standard ML
On the Verification of Finite Failure
Optimality in Abstractions of Model Checking
Optimization Tecniques for General Purpose Fixpoint Algorithms Practical Efficiency for the Abstract Interpretation of Prolog
PAGODE: A back end generator using attribute abstract syntaxes and Term rewriting
PAGODE: a back end generator using attribute abstract syntaxes and term rewritings
Parallel Bounded Quantification - Preliminary Results
Parallel Programming with Control Abstraction
Parameterizing a Groundness Analysis of Logic Programs
Partial Evaluation in an Industrial Context: Compiling for Endomorphic Machines
Partitioning Non-strict Functional Languages for Multi-threaded Code Generation
Path Analysis and the Optimization of Nonstrict Functional Languages
Persistence and Type Abstraction Revisited
Polymorphic Types and Widening Operators
Polymorphic Typing by Abstract Interpretation
Polymorphic Typing for Call-By-Name Semantics
Polyvariant Expansion and Compiler Generators
Precise Type Analysis by Abstract Interpretation
Procedural Implementation of Abstract Data Types: Concept and Connection with Parametrization
Procedural Implementation of Algebraic Specification
Processes as Data Types
Program Analysis as Model Checking of Abstract Interpretations
Program Analysis: The Abstract Interpretation Perspective
Program Development Using Abstract Interpretation (And the Ciao System Preprocessor)
Programming Environments: Deriving Language Dependent Tools from Structured Denotational Semantics
Program Specialisation and Abstract Interpretation Reconciled
Propagation: A New Operation in a Framework for Abstract Interpretation of Logic Programs
Propagation of Roundoff Errors in Finite Precision Computations: A Semantics Approach
Properties of a Type Abstract Interpreter
Property Checking Driven Abstract Interpretation-Based Static Analysis
Quotienting Share for Dependency Analysis
Random Access to Abstract Data Types
Rationalized Three Instruction Machine
Recent Trends in Algebraic Development Techniques: Selected Papers/ 13th International Workshop, WADT 98, Lisbon, Portugal, April 1998
Recent Trends in Data Type Specification: Selected Papers/10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop. S.Margherita, Italy, May-June 1994
Recent Trends in Data Type Specification: Selected Papers/ 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop. Oslo,Norway,September 1995
Recent Trends in Data Type Specification: Selected Papers/9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop. Caldes de Malavella, Spain, October 1992
Reexecution in Abstract Interpretation of Prolog
Refining Static Analyses by Trace-Based Partitioning Using Control Flow
Relating Abstract Datatypes and Z-Schemata
Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors
Relational Abstract Interpretation of Higher Order Functional Programs (extended abstract)
Relations as Abstract Datatypes: An Institution to Specify Relations between Algebras
Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Borger on the Occasion of His 60th Birthday
Rules for Abstraction
Schedulers as Abstract Interpretations of Higher-Dimensional Automata
Schema-Based Top-Down Design of Logic Programs Using Abstract Data Types
SelfLog: Language and Implementation