Вы здесь

Главная

абстрактный

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

Semantic Models and Abstract Interpretation Techniques for Inductive Data Structures and Pointers
Semantics-Directed Program Analysis: A Tool-Maker s Perspective
Semantics for Abstract Interpretation-Based Static Analyzes of Temporal Properties
Semantics of Order-Sorted Specifications
Separate Abstract Interpretation for Control-Flow Analysis
Sequential Abstract State Machines Capture Sequential Algorithms
Sequential Consistency versus Linearizability
Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs
SGML/HyTime Repositories: Requirements and Data Modelling Using Object-Oriented Database Concepts
Sharing and Groundness Dependencies in Logic Programs
SICStus MT - A Multithreaded Execution Environment for SICStus Prolog
Simple Semantic Analysis Problems for Functional Programs
Simulator for Real-Time Abstract State Machines
Software Agents and Intelligent Object Fusion
Software Language Engineering: Revised Selected Papers/First International Conference, SLE 2008. Toulouse, France, September 2008
Software Reusability through Formal Specifications
Some Chemical Abstract Machines
Some Results on the Full Abstraction Problem for Restricted Lambda Calculi
Sonic Partial Deduction
Specification de types abstraits pour programmes paralleles au moyen de reseaux de Petri a predicats implantation en Ada
Specification Refinement with System F - The Higher-Order Case
Specification Reuse by Analogy
Sprachen fur das Software-Engineering
Staging Transformations for Abstract Machines
States vs. Traces in Model Checking by Abstract Interpretation
Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs
Static Analysis for Logic Program Specialisation
Static Analysis of Digital Filters
Static Analysis of Interaction Nets for Distributed Implementations
Static Analysis of Linear Congruence Equalities among Variables of a Program
Static Analysis of Linear Congruence Equalities Among Variables of a Program
Static Analysis of Prolog with Cut
Static Analysis: Proc./11th International Symposium, SAS 2004. Vernona, Italy, August 2004
Static Analysis: Proc./16th International Symposium, SAS 2009. Los Angeles, CA, USA, August 2009
Static Analysis: Proc./26th International Symposium, SAS 2019, Porto, Portugal, October 2019
Strictness Properties of Lazy Algebraic Datatypes
Strong Preservation as Completeness in Abstract Interpretation
Structuring Sets in Declarative Languages
Studying the Cost of Logic Languages in an Abstract Interpretation Framework for Granularity Analysis
Supporting the Restructuring of Data Abstractions through Manipulation of a Program Visualization
Suspension Analyses for Concurrent Logic Programs
Symbolic Implementation of the Best Transformer
Symbolic Transfer Function-based Approaches to Certified Compilation
Synthesis of Programs in Abstract Data Types
System Architecture and Design Using Co-operating Groups of Real and Abstract Components
System F and Abstract Interpretation
Temporal Abstract Interpretation
Termination Analysis for Offline Partial Evaluation of a Higher Order Functional Language
Testing Ada Abstract Data Types using Formal Specifications
The Algebraic Specification Column