Вы здесь

Главная

тип данных

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

Building User-Environment Factories
Canonical term functors and parameterization-by-use for the specification of abstract data types
Categorical Abstract Data Type (CADT)
Categorical Programming with Abstract Data Types
Coalgebraic Methods in Computer Science: Revised Selected Papers/14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, June 2018
Communication as Unification in the Petri Box Calculus
Computer Science Logic: Proc./19th International Workshop, CSL; 14th Annual Conference of the EACSL. Oxford, UK, August 2005
Concept Bases and Algebraic Modeling Methods
Concurrency and Data Types: A Specification Method. An Example with LOTOS
Constructive Specifications of Abstract Data Types Using Temporal Logic
Context-Specific Synchronization for Atomic Data Types
Control-Flow Effects for Escape Analysis
Database Programming Languages: Revised Selected Papers/10th International Symposium, DBPL 2005. Trondheim, Norway, August 2005
Database Theory - ICDT 2005: Proc./10th International Conference. Edinburgh, UK, January 2005
Data refinement of predicate transformers
Datatype-Generic Programming: Revised Lectures/International Spring School, SSDGP 2006. Nottingham, UK, April 2006
Data Type Point of View of Main Features of a Modern Persistent Language
Data Types, Infinity and Equality in System AF
Datatypes in L2
Data Types over Multiple-valued Logics
Data types with errors and exeptions
DBMS Support for Time and Totally Ordered Compound Data Types
Declarative Debugging of Abstract Data Types in Godel
Defining Equations in Terminal Coalgebras
Deriving and Using Destructive Data Types
DIANA Reference Manual. Revision 3
Doing Business with the Web: The Informix/Illustra Approach
Domain Analysis for Software Reuse - A More Detailed Approach
Dynamic Abstract Data Types Based on Algebraic Graph Transformations
Dynamic Typing in Polymorphic Languages
ECOOP 2007 - Object-Oriented Programming: Proc./21st European Conference. Berlin, Germany, July/August 2007
Edicates - A Specification of Calling Sequences
Efficiently Computing Static Single Assignment Form and the Control Dependence Graph
Efficient Mining of Association Rules in Large Dynamic Databases
Elements of a Relational Theory of Datatypes
Embedding functiionally described abstract data types into Modula-2 programs
Entwicklung und Implementierung eines abstrakten Datentyps fur geordnete Baume am Beispiel eines abstrakten Programmbaums
Essence of generalized partial computation
Exception handling and term labelling
Executing Higher Order Logic
EXPANDER: Manual and Implementation
Exploiting Parallelism in Primitive Operations on Bulk Data Types
Extending AlgBench with a Type System
Extending Structure, Type, and Expression in APL2
-extension of Algebraic Specification
Final Algebras, Cosemicomputable Algebras and Degrees of Unsolvability
First-class Data-type Representations in SchemeXerox
Forcing Behavioral Subtyping Through Specification Inheritance
Formalisation of Data and Process Model Reuse Using Hierarchic Data Types
Fractional Types