Вы здесь

Главная

абстракция

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

A Behavioral Notion of Subtyping for Object-Oriented Programming in SPARK95
Abstract and Model Check While You Prove
Abstraction and Modularization in the BETA Programming Language
Abstraction and Performance in the Design of Parallel Programs
Abstraction, Reformulation and Approximation: Proc./6th International Symposium, SARA 2005. Airth Castle, Scotland, UK, July 2005
Abstraction, Reformulation, and Approximation: Proc./7th International Symposium, SARA 2007, Whistler,Canada,July 2007
Abstract Visualization of Software. A Basis for a Complex Hash-Key?
A Contingency Approach to the Application Software Generations
Adding Data and Procedure Abstraction to the Transparent Prolog Machine (TPM)
A Deductive Database Language Supporting Modules
A History of CLU
A LAN-based Comparison of IPC Abstractions
A Metric for Evaluating Effectiveness of Object-Oriented Interface Abstraction for Promoting Software Reuse
An Abstraction-Based Rule Approach to Large-Scale Information Systems Development
An Algebraic Semantics for Hierarchical P/T Nets
An Introduction to COLD-K
A Practical Technique for Process Abstraction
Architectural Adaptability in Parallel Programming via Control Abstraction
A subclass of Petri Nets as design abstraction for parallel architectures
A Theory of Contexts in Information Bases
A Transformation Method for Dynamic-Sized Tabulation
Attribute Abstraction
Balloon Types: Controlling Sharing of State in Data Types
Branching Time and Abstraction in Bisimulation Semantics
Comparison of the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation (extended abstract)
Compiler Implementation of ADTs Using Profile Data
Creating Structure from Linearity in Non-Ada Interfaces
Data Abstraction, Bulk Data and Relations in Database Programming Languages
Data Abstraction for CSP-OZ
Database Exploration with Dynamic Abstractions
Data Structures: A Unified View
Discrete Time Process Algebra with Abstraction
Dynamic Strings in Fortran 90
Equivalence Notions for Event Structures and Refinement of Actions
Extending the Translation from SDL to Promela
External Uniqueness Is Unique Enough
Formal Methods: Foundations and Applications: Proc./17th Brazilian Symposium, SBMF 2014, Maceio,AL,Brazil, September 2014
From Coloured Petri Nets to Object Petri Nets
Full Abstraction and Unnested Recursion
Garment: A Mechanism for Abstraction and Encapsulation of Languages
Generic Programming - An Introduction -
High-level Abstractions for Efficient Concurrent Systems
Integrating Formal Methods by Unifying Abstractions
Kleene under a Demonic Star
Levels of Abstraction in Knowlidge Representation and Processing
Locality Abstractions for Parallel and Distributed Computing
Machine and Language Design for Dynamic Microprogramming
Model Checking for Infinite State Systems using Data Abstraction, Assumption-Commitment Style Reasoning and Theorem Proving
Multiprocessor System Architecture for the Execution of Higher Petri Nets
Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes