Вы здесь

Главная

тип данных

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

Shape Analysis of Functional Programs with Algebraic Data Types
Software Reusability through Formal Specifications
Solving Shape-Analysis Problems in Languages with Destructive Updating
Spatial Data Types for Database Systems: Finite Resolution Geometry for Geographical Information Systems
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
Static and Dinamic Partitioning of Pointers as Links and Threads
Static semantics, types, and binding time analysis
Static Type Checking of Multi-Methods
Stores as Homomorphisms and Their Transformations
Strictness Properties of Lazy Algebraic Datatypes
Strong Normalization of Second Order Symmetric Lambda-mu Calculus
Subdefinite Data Types and Constraints in Knowledge Representation Language
Subdefinite Models and Data Types for Mathematical Applications
Subsequence Reference: First-Class Values for Substrings
Subtyping can have a simple semantics
Supporting the Restructuring of Data Abstractions through Manipulation of a Program Visualization
Synthesis of Programs in Abstract Data Types
Testing Ada Abstract Data Types using Formal Specifications
The Algebraic Specification Column
The ASTOOT Approach to Testing Object-Oriented Programs
The Boblingen Building Blocks - A Catalogue of Reusable Software Components
The Calculus of Algebraic Constructions
The Correctness of Type Specialisation
The Euclidean Definition of the Functions div and mod
The Evolution of DVL System Software
The Imperative Implementation of Algebraic Data Types
The implementation of the data base programming language Modula-90
Theoretical Computer Science: Proc./8th Italian Conf., ICTCS 2003, Bertinoro, Italy, October 2003
Theory of computation over Stream Algebras, and its Applications
TICL- A Type Reference System for Common Lisp
Towards a Semantic View of an Extended Entity-Relationship Model
Trends in Functional Programming: Revised Selected Papers/15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 2014
Trends in Functional Programming: Revised Selected Papers/17th International Conference, TFP 2016, College Park,MD,USA, June 2016
Trends in Functional Programming: Revised Selected Papers/19th International Symposium, TFP 2018, Gothenburg, Sweden, June 2018
Turbo Pascal в среде Windows
Two Impossibility Theorems on Behaviour Specification of Abstract Data Types
Type checking with universes
Type-Indexed Data Types
Type Inference with Polymorphic Recursion
Type Matching, Type-Graphs, and the Schanuel Conjecture
Types for Proofs and Programs: Revised Selected Papers/International Conference, TYPES 2008. Cividale del Friuli, Italy, May 2007
Types for Proofs and Programs: Revised Selected Papers/International Workshop, TYPES 2004. Jouy-en-Josas, France, December 2004
Types for Proofs and Programs: Selected Papers/Intern. Workshop TYPES 93. Nijmegen, The Netherlands, May 1993
Types in Objectbases Development
Typing Abstract Data Types
Useless-Code Detection and Elimination for PCF with Algebraic Data Types
Using Metaobject Protocols to Implement Atomic Data Types
Verifying Atomic Data Types
Wrestling with Rep Exposure