Results 271 to 280 of about 5,183,162 (349)

Algebraic specification of abstract data types

, 1979
Marie-Claude Gaudel
openalex   +1 more source

Perioperative immunotherapy strategies for resectable non-small cell lung cancer. [PDF]

Cochrane Database Syst Rev
Marchal C, Eberst G, Calais F, Westeel V, Malouf R.   +4 more
europepmc   +1 more source

The Prevalence of Hypertension Among Children and Antihypertensive Use: Protocol for a Systematic Review and Meta-Analysis.

JMIR Res Protoc
Maamor NH, Zainudin NAZ, Md Nasir NL, Manoharan K, Syed Ahmad Yunus SZ, Muhamad NA, Nai Ming L.   +6 more
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Precise typing of abstract data type specifications

Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '83, 1983
There are two important notions of data types being used in programming languages today. In the concept called abstract data types, types are algebras; the semantics of programs is described in terms of operations in these algebras. Another notion of type found in most of the "typed" programming languages in actual use regards types as sets of objects;
R. Kieburtz
openaire   +3 more sources

Abstractions of data types

Acta Informatica, 2006
The use of abstraction in the context of abstract data types, is investigated. Properties to be checked are formulas in a first order logic under Kleene's 3-valued interpretation. Abstractions are defined as pairs consisting of a congruence and a predicate interpretation. Three types of abstractions are considered,??, ?? and ?0,1?, and for each of them
Å¢iplea, Ferucio LaurenÅ£iu, Enea, Constantin   +1 more
openaire   +3 more sources

Programming with abstract data types [PDF]

ACM SIGPLAN Notices, 1974
The motivation behind the work in very-high-level languages is to ease the programming task by providing the programmer with a language containing primitives or abstractions suitable to his problem area. The programmer is then able to spend his effort in the right place; he concentrates on solving his problem, and the resulting program will be more ...
LiskovBarbara, ZillesStephen
openaire   +2 more sources

On the Practical Need for Abstraction Relations to Verify Abstract Data Type Representations

IEEE Trans. Software Eng., 1997
The typical correspondence between a concrete representation and an abstract conceptual value of an abstract data type (ADT) variable (object) is a many-to-one function.
M. Sitaraman, B. Weide, W. Ogden
semanticscholar   +1 more source

Efficient Abstract Data Type Components for Distributed and Parallel Systems

Computer, 1987
One way of improving software system's comprehensibility and maintainability is to decompose it into several components, each of which encapsulates some information concerning the system.
F. Bastani, Wael Hilal Bahaa-El-Din, S. S. Iyengar   +2 more
semanticscholar   +1 more source