Вы здесь

Главная

абстрактный

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

The ASTOOT Approach to Testing Object-Oriented Programs
The Boblingen Building Blocks - A Catalogue of Reusable Software Components
The Cartesian Product Algorithm. Simple and Precise Type Inference of Parametric Polymorphism
The Chemical Abstract Machine
The Correctness of Set-Sharing
The Costs and Benefits of Abstract Interpretation-Driven Prolog Optimization
The Impact of Granularity in Abstract Interpretation of Prolog
The Imperative Implementation of Algebraic Data Types
The m-calculus over Finite Domains as an Abstract Semantics of Prolog
Theoretical Framework Towards Quality Software Development
Theories of Abstract Automata
Theory and Applications of Formal Argumentation: Revised Selected Papers/2nd International Wirkshop, TAFA 2013, Beijing, China, August 2013
Theory of computation over Stream Algebras, and its Applications
The Parallel Abstract Machine: A Common Execution Model for EDTs
The Power of Abstraction, Reuse, and Simplicity: An Object-Oriented Library for Event-Driven Design
The Semantics of Scheme Control-Flow Analysis
The Term Retrieval Abstract Machine
The VTP Project: Modular Abstarct Syntax Specification
Tools and Algorithms for the Construction and Analysis of Systems, Part I: Proc./26th International Conference, TACAS 2020 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 2020
Towards a Provably Correct Compiler for OBJ3
Towards a Semantic View of an Extended Entity-Relationship Model
Towards Optimization of Full Prolog Programs Guided by Abstract Interpretation
Trace Specifications of Non-Deterministic Multi-Object Modules
Transactions on Computational Science XXIII: Special Issue on Cyberworlds
Transformation of Meta-information by Abstract Co-interpretation
Transforming Lazy Functions Using Comportment Properties
True Concurrency via Abstract Interpretation
Two Fully Abstract Models for UNITY
Two Impossibility Theorems on Behaviour Specification of Abstract Data Types
Type Theory and Projections for Higher-Order Static Analysis
Typing Abstract Data Types
Understanding Finiteness Analysis Using Abstract Interpretation
Une analyse du comporterment recursif de programmes Prolog par une interpretation abstraite
Uniform PERs and Comportment Analysis
Using Abstract Interpretation for Gate splitting in LOTOS Specifications
Using Abstract Interpretation to Define a Strictness Type Inference System
Using Static Analysis to Compile Non-sequential Functional Logic Programs
USL - The Language of Natural State Machines
Verification by Abstract Interpretation
Verification, Model Checking and Abstract Interpretation: Proc./6th International Conference, VMCAI 2005. Paris, France, January 2005
Verification of Erlang Programs using Abstract Interpretation and Model Checking
Verification of Linear Hybrid Systems by Means of Convex Approximations
Verifying Atomic Data Types
Verifying the Correctness of Compiler Transformations on Basic Blocks using Abstract Interpretation
WAM Local Analysis
Within ARM s Reach: Compilation of Left-Linear Rewrite Systems via Minimal Rewrite Systems
Абстрактная интерпретация императивных программ
Абстрактная модель компилятора как результат алгебраической семантики языка программирования
Абстрактные типы данных и частичная корректность программ
Аксиоматическая теория именных множеств и моделирование структур экспликативного программирования