Results 301 to 310 of about 6,019,748 (341)
Abstract data types and the development of data structures [PDF]
Communications of the ACM, 1976 Abstract data types can play a significant role in the development of software that is reliable, efficient, and flexible. This paper presents and discusses the application of an algebraic technique for the specification of abstract data types. Among the examples presented is a top-down development of a symbol table for a block structured language; a ...
John V. Guttag
openaire +7 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
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 +1 more
openaire +3 more sources
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 +1 more
openaire +3 more sources
Abstract data types and Data Bases
ACM SIGART Bulletin, 1980Several researchers have been working, recently, at the attempt of using the ADT approach in the Data Base area. Different specific problems have attacked and we will review some of them.
openaire +2 more sources
Abstraction, data types, and models for software
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling -, 1980In the area of software development and maintenance, a major issue is managing the complexity of the systems. Programming methodologies and languages to support them have grown in response to new ideas about how to cope with this complexity.
openaire +3 more sources
ACM SIGPLAN Notices, 1978
The programming language Euclid provides features that support abstract data types, but does not strictly speaking provide a true data abstraction mechanism. This paper assesses the data abstraction facilities that Euclid does provide, examines the two ways of instantiating Euclid modules, and discusses other features of modules that the designers of ...
Ernest Chang +2 more
openaire +2 more sources
The programming language Euclid provides features that support abstract data types, but does not strictly speaking provide a true data abstraction mechanism. This paper assesses the data abstraction facilities that Euclid does provide, examines the two ways of instantiating Euclid modules, and discusses other features of modules that the designers of ...
Ernest Chang +2 more
openaire +2 more sources
Constructive Abstract Data types (CAD)
ACM SIGMOD Record, 19801. Distinction from conventional approaches The motivation for CAD is to extend the idea of data abstraction to application programming. Conventional approaches confine themselves to operational concepts of system programming like STACK, QUEUE etc. and do not consider concepts like CONTRACT, INVOICE etc.
openaire +2 more sources
An experience in implementing abstract data types
Software: Practice and Experience, 1981AbstractThe abstract data type concept appears to be a useful software structuring tool. A project, called ‘Système d'Objets Conservés’, which was developed at the University of Rennes, (France), gave some experience in implementing this concept. The possibility of including abstract data type into a pre‐existing compiler is demonstrated, and desirable
M. Banatre +3 more
openaire +3 more sources
Iteration and abstract data types
ACM SIGPLAN Notices, 1987Numerous languages have been developed which support the creation of abstract data types. Introductions to such languages typically provide the standard stack and complex number examples to demonstrate their respective expressive power. While such examples fit neatly into the framework of these languages, only a few have attempted to deal with the ...
openaire +2 more sources
Data structures, types and abstractions
The IEEE Computer Society's Second International Computer Software and Applications Conference, 1978. COMPSAC '78., 2005The purpose of this paper is to explore the concepts and provide examples of data structures, data types and data abstractions The term data structures has been around for about 30 years; the term data type has been around for about 20 years; and the term data abstraction is a recent one and has been used for the last five years.
openaire +2 more sources
Programs are abstract data types
Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001), 2005We propose to view programs as abstract data types and to perform program changes by applying well-defined operations on programs. The ADT view of programs goes beyond the approach of syntax-directed editors and proof-editors since it is possible to combine basic update operations into larger update programs that can be stored and reused. It is crucial
openaire +2 more sources