Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
тип данных
Связанные издания:
4. Spatio-temporal Models and Languages: An Approach Based on Data Types
Abstract Behavior Types: A Foundation Model for Components and Their Composition
Abstract Data Types for the Logical Modeling of Comlex Data
Abstract Data Types in Computer Algebra
Abstract Types and the Dot Notation
A Complete Algebraic Characterization of Behavioral Subtyping
A Construction of Typed Lambda Models Related to Feasible Computability
Active Patterns
Adaptable Concurrency Control for Atomic Data Types
Adding Performance Information to ADT Interfaces
Advanced Functional Programming: Proc./5th International School, AFP 2004. Tartu, Estonia, August 2004
Advances in Databases and Information Systems: Proc./Third East European Conf., ADBIS 99. Maribor, Slovenia, September 1999
A Formal Specification of Realm - Spatial Data Types
A Generic Programming Extension for Clean
A Hierarchy of Institutions Separated by Properties of Parameterized Abstract Data Types
A Lazy Approach to Partial Algebras
Algebraic Modelling of Imperative Languages with Pointers
Algebraic Semantics of Object-Oriented Data Models
Algebraic Specification
A Logic for Abstract Data Types as Existential Types
An Abstract Data Type Development of Graded Rings
An Abstract Data Type for Freezable Lists and DAGs
An abstract data type for name analysis
An Algebraically Specified Language for Data Directed Design
An algebraic view of structural induction
An Algorithm for the Implementation of Replicated Tables
An approach to parameterized continuous data types
An Approach to Parametrized First-order Specifications: Semantics, Correctness, Parameter Passing
An Attempt to Find Polymorphic Types by Abstract Interpretation
An Efficient Method for Checking Object-Oriented Database Schema Correctness
A New Look at Pattern Matching in Abstract Data Types
An Informal Formal Method for Systematic JUnit Test Case Generation
An Initial-Algebra Approach to Directed Acyclic Graphs
An Object-Based Programming Model for Shared Data
An Orthogonal Programming System Manifesto
A Note on "Towards a Type Theory for Active Objects"
Applications of Computability Theory over Abstract Data Types
A Recursive Second Order Initial Algebra Specification of Primitive Recursion
A Spatiotemporal Model and Language for Moving Objects on Road Networks
A Static Type System for Message Passing
A Taxonomy of Datatypes
A Temporal Logic Based Approach for Querying Lists, Trees, and DAGs in Databases
A theory for program and data type specification
A Tool Interface Language for PSF
Attached Types and Their Application to Three Open Problems of Object-Oriented Programming
A Uniform Model Theory for the Specification of Data and Process Types
Automata, Languages and Programming: Proc./25th Intern. Colloq., ICALP 98. Aalborg, Denmark, July 1998
Balloon Types: Controlling Sharing of State in Data Types
Basic Properties of Data Types with Inequational Refinements
Beyond Abstract Data Types: Giving Life to Objects
1
2
3
4
5
6
7
следующая ›
последняя »