Proving Properties of Complex Data Structures
Journal of the ACM (JACM)
A technique for software module specification with examples
Communications of the ACM
Compiler Construction, An Advanced Course, 2nd ed.
Programming with abstract data types
Proceedings of the ACM SIGPLAN symposium on Very high level languages
The design of data type specifications
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Programming by semantic refinement
Proceeding of ACM SIGPLAN - SIGOPS interface meeting on Programming languages - operating systems
Language design to enhance programming reliability.
Language design to enhance programming reliability.
The specification and application to programming of abstract data types.
The specification and application to programming of abstract data types.
SIMULA 67 common base language, (Norwegian Computing Center. Publication)
SIMULA 67 common base language, (Norwegian Computing Center. Publication)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Modeling the storage architectures of commercial database systems
ACM Transactions on Database Systems (TODS)
Writing Larch interface language specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Database Systems (TODS)
KNOs: KNowledge acquisition, dissemination, and manipulation Objects
ACM Transactions on Information Systems (TOIS)
Automatic design and implementation of language data types
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
Object-oriented development in an industrial environment
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
A comparison of four design methods for real-time systems
ICSE '87 Proceedings of the 9th international conference on Software Engineering
A precompiler for modular, transportable Pascal
ACM SIGPLAN Notices
Semantic database modeling: survey, applications, and research issues
ACM Computing Surveys (CSUR)
Data and Time Abstraction Techniques for Analyzing Multilevel Concurrent Systems
IEEE Transactions on Software Engineering
Using a relational system on Wall Street: the good, the bad, the ugly, and the ideal
Communications of the ACM
Functional Refinement and Nested Objects for Object-Oriented Design
IEEE Transactions on Software Engineering
Representational and Denotational Semantics of Digital Systems
IEEE Transactions on Computers
Unreachable States in Model-Oriented Specifications
IEEE Transactions on Software Engineering
Partially shared views: a scheme for communicating among groups that use different type hierarchies
ACM Transactions on Information Systems (TOIS)
Case studies on testing object-oriented programs
TAV4 Proceedings of the symposium on Testing, analysis, and verification
The operational semantics of an active message system
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
The design and implementation of hierarchical software systems with reusable components
ACM Transactions on Software Engineering and Methodology (TOSEM)
Behavior sampling: a technique for automated retrieval of reusable components
ICSE '92 Proceedings of the 14th international conference on Software engineering
TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
Retrieving reusable software by sampling behavior
ACM Transactions on Software Engineering and Methodology (TOSEM)
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Equal rights for functional objects or, the more things change, the more they are the same
ACM SIGPLAN OOPS Messenger
Ada 9X: from abstraction-oriented to object-oriented
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
The ASTOOT approach to testing object-oriented programs
ACM Transactions on Software Engineering and Methodology (TOSEM)
Abstract data types are under full control with Ada 9X
TRI-Ada '94 Proceedings of the conference on TRI-Ada '94
Concepts for a database system compiler
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
ICSE '85 Proceedings of the 8th international conference on Software engineering
On the correct translation of update operations on relational views
ACM Transactions on Database Systems (TODS)
Data abstractions for database systems
ACM Transactions on Database Systems (TODS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
An Abstract Type for Statistics Collection in Simula
ACM Transactions on Programming Languages and Systems (TOPLAS)
Data Abstraction, Implementation, Specification, and Testing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Final Data Types and Their Specification
ACM Transactions on Programming Languages and Systems (TOPLAS)
Modularity and the sequential file update problem
Communications of the ACM
Abstract data types and software validation
Communications of the ACM
An example of hierarchical design and proof
Communications of the ACM
A proposal for information systems design and management
ACM SIGDA Newsletter
Data types as values: polymorphism, type-checking, encapsulation
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Precise typing of abstract data type specifications
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
On proving inductive properties of abstract data types
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Formal specification as a design tool
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Synthesizing structured analysis and object-based formal specifications
Annals of Software Engineering
A Metric-Based Approach to Detect Abstract Data Types and State Encapsulations
Automated Software Engineering
Induction Proofs with Partial Functions
Journal of Automated Reasoning
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
Splitting the Difference: The Historical Necessity of Synthesis in Software Engineering
IEEE Annals of the History of Computing
Computer
The Case for Enhanced Abstract Data Types
VLDB '97 Proceedings of the 23rd International Conference on Very Large Data Bases
Enhanced abstract data types in object-relational databases
The VLDB Journal — The International Journal on Very Large Data Bases
Table: Object oriented editing of complex structures
ICSE '84 Proceedings of the 7th international conference on Software engineering
Implementing SMART for minicomputers via relational processing With abstract data types
SIGSMALL '81 Proceedings of the 1981 ACM SIGSMALL symposium on Small systems and SIGMOD workshop on Small database systems
Classes of functions for computing on binary trees (Extended Abstract)
STOC '81 Proceedings of the thirteenth annual ACM symposium on Theory of computing
ICSE '81 Proceedings of the 5th international conference on Software engineering
Evaluation of a software requirements document by analysis of change data
ICSE '81 Proceedings of the 5th international conference on Software engineering
A system for program refinement
ICSE '79 Proceedings of the 4th international conference on Software engineering
On correct program development
ICSE '79 Proceedings of the 4th international conference on Software engineering
ICSE '79 Proceedings of the 4th international conference on Software engineering
A flexible environment for program development based on a symbolic interpreter
ICSE '79 Proceedings of the 4th international conference on Software engineering
Control structure aptness: A case study using top-down parsing
ICSE '78 Proceedings of the 3rd international conference on Software engineering
FP with data abstraction and strong typing
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
Operators and algebraic structures
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
Filling regions in binary raster images: A graph-theoretic approach
SIGGRAPH '80 Proceedings of the 7th annual conference on Computer graphics and interactive techniques
Towards a practical specification language
ACM '81 Proceedings of the ACM '81 conference
Module: An encapsulation mechanism for specifying and implementing abstract data types
ACM '80 Proceedings of the ACM 1980 annual conference
Logical Structure Specification and data type definition
ACM '79 Proceedings of the 1979 annual conference
An extension to algebraic specifications to incorporate state behavior
ACM '79 Proceedings of the 1979 annual conference
Interaction with databases through procedural languages
ACM '78 Proceedings of the 1978 annual conference - Volume 2
The evolution of specification techniques
ACM '77 Proceedings of the 1977 annual conference
The external consistency of abstract data types
ACM SIGPLAN Notices
ACM SIGPLAN Notices
A note on some limits of the algebraic specification method
ACM SIGPLAN Notices
Traversable stack with fewer errors
ACM SIGPLAN Notices
Rationale for the design of the Ada programming language
ACM SIGPLAN Notices - Rationale for the deisgn of the Ada programming language
Hidden coinduction: behavioural correctness proofs for objects
Mathematical Structures in Computer Science
Methodologies for the development of knowledge-based systems, 1982–2002
The Knowledge Engineering Review
Some definitions for algebraic data type specifications
ACM SIGPLAN Notices
On the application of Rothon diagrams to data abstraction
ACM SIGPLAN Notices
ACM SIGSOFT Software Engineering Notes
ACM SIGMIS Database
Definition of menus as an abstract data type
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
ALGOL Bulletin
A software engineering view of data base management
VLDB '78 Proceedings of the fourth international conference on Very Large Data Bases - Volume 4
What is the use of abstract data types?
VLDB '78 Proceedings of the fourth international conference on Very Large Data Bases - Volume 4
Algebraic specification schemes for data base systems
VLDB '78 Proceedings of the fourth international conference on Very Large Data Bases - Volume 4
An object-oriented environment for OIS applications
VLDB '85 Proceedings of the 11th international conference on Very Large Data Bases - Volume 11
IML-inscribed nets for modeling text processing and data (base) management systems
VLDB '81 Proceedings of the seventh international conference on Very Large Data Bases - Volume 7
Systematic derivation of complementary specifications
VLDB '81 Proceedings of the seventh international conference on Very Large Data Bases - Volume 7
Structured Specification of Communicating Systems
IEEE Transactions on Computers
Capability Based Tagged Architectures
IEEE Transactions on Computers
Database semantic integrity for a network data manager
AFIPS '80 Proceedings of the May 19-22, 1980, national computer conference
The design of PLAIN: support for systematic programming
AFIPS '80 Proceedings of the May 19-22, 1980, national computer conference
A formal representation for plans in the programmer's apprentice
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 2
Abstract data types in Fortran 90
Computer Standards & Interfaces
SLAN-4: a language for the specification and design of large software systems
IBM Journal of Research and Development
Web applications: spaghetti code for the 21st century
Web applications: spaghetti code for the 21st century
Optimal interprocedural program optimization: a new framework and its application
Optimal interprocedural program optimization: a new framework and its application
Proceedings of the 15th Conference on Pattern Languages of Programs
Applicative modelling with RAISE
Domain modeling and the duration calculus
Granularity transformations in wayfinding
Spatial cognition III
Relationships between equational and inductive data types
Formal Methods in Software and Systems Modeling
Statecharts as protocols for objects
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
Message oriented programming-A resource based methodology
Computer Languages
Implementation of language enhancements
Computer Languages
Software development for reliable software systems
Journal of Systems and Software
Evaluating a data abstraction testing system based on formal specifications
Journal of Systems and Software
The external structure: Experience with an automated module interconnection language
Journal of Systems and Software
Inference from models of software systems
Journal of Systems and Software
Embedded system design with ada as the system design language
Journal of Systems and Software
The Formal Design Models of a Universal Array UA and its Implementation
International Journal of Software Science and Computational Intelligence
Hi-index | 48.29 |
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 discussion of the proof of its correctness is given. The paper also contains a brief discussion of the problems involved in constructing algebraic specifications that are both consistent and complete.