Вы здесь

Главная

тип данных

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

Nested Datatypes
Net Models of Abstract Data Types
Object-Oriented Type Inference
OBSCURE a specification language for abstract data types
Observational structures and their logic
OMDoc - An Open Markup Format for Mathematical Documents [version 1.2]
On Ada Packages, Types and Task Types
On Generic Formal Package Parameters in Ada9X
On Quasi-Reducibility and Proofs by Induction in Abstract Data Types
On the Expressive Power of Finitely Typed and Universally Polymorphic Recursive Procedures
On the Power of Quantifiers in First-Order Algebraic Specification
On the Practical Need for Abstraction Relations to Verify Abstract Data Type Representations
On the Refinement and Simulation of Data Types and Processes
On the Type Structure of Standard ML
Out-of-Core Functional Programming with Type-Based Primitives
Parametric Order-Sorted Types in Logic Programming
Partial inductive definitions
Persistence and Type Abstraction Revisited
Polymorphic Queries Across Sets, Bags, and Lists
Polymorphic Type Inference and Assignment
Polymorphic Type, Region and Effect Inference
Polymorphism and Type Inference in Database Programming
Probleme des Software-Engineering
Procedural Implementation of Abstract Data Types: Concept and Connection with Parametrization
Processes as Data Types
Processes as Data Types: Observational Semantics and Logic
Programming Environments: Deriving Language Dependent Tools from Structured Denotational Semantics
Programming Languages and Systems: Proc./15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006. Vienna, Austria, March 2006
Programming Languages and Systems: Proc./16th European Symposium on Programming, ESOP 2007, Part of ETAPS 2007. Braga, Portugal, March/April 2007
Programming Languages and Systems: Proc./4th Asian Symposium,APLAS 2006, Sydney,Australia,November 2006
Programming Languages and Systems: Proc./6th Asian Symposium, APLAS 2008. Bangalore, India, December 2008
Programming Languages and Systems: Proc./Third Asian Symposium, APLAS 2005. Tsukuba, Japan, November 2005
Proofs about a Folklore Let-Polymorphic Type Inference Algorithm
Random Access to Abstract Data Types
Realms: A Foundation for Spatial Data Types in Database Systems
Recent Advances in E-Definability over Continuous Data Types
Recent Trends in Algebraic Development Techniques: Proc./12th Intern. Workshop, WADT 97. Tarquinia, Italy, June 1997
Recent Trends in Algebraic Development Techniques: Selected Papers/ 13th International Workshop, WADT 98, Lisbon, Portugal, April 1998
Recent Trends in Data Type Specification: Selected Papers/10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop. S.Margherita, Italy, May-June 1994
Recent Trends in Data Type Specification: Selected Papers/ 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop. Oslo,Norway,September 1995
Recent Trends in Data Type Specification: Selected Papers/9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop. Caldes de Malavella, Spain, October 1992
Recursive Definitions in Z
Reduce the Redex - ReDuX
Relating Abstract Datatypes and Z-Schemata
Relational Algebra for Spatial Data Management
(Relational) Programming Laws in the Boom Hierarchy of Types
Relations as Abstract Datatypes: An Institution to Specify Relations between Algebras
Schema-Based Top-Down Design of Logic Programs Using Abstract Data Types
Semantics of Order-Sorted Specifications
Sequential Consistency versus Linearizability