Protection in programming languages
Communications of the ACM
Toward an understanding of data structures
Communications of the ACM
Procedural encapsulation: A linguistic protection technique
Proceeding of ACM SIGPLAN - SIGOPS interface meeting on Programming languages - operating systems
SIMULA 67 common base language, (Norwegian Computing Center. Publication)
SIMULA 67 common base language, (Norwegian Computing Center. Publication)
Implementation of resilient, atomic data types
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Procedures as persistent data objects
ACM Transactions on Programming Languages and Systems (TOPLAS)
Abstraction-based software development
Communications of the ACM
Distributed match-making for processes in computer networks
ACM SIGOPS Operating Systems Review
Toward a general object-oriented software development methodology
ACM SIGAda Ada Letters
Communications of the ACM
How can groups communicate when they use different languages?
COCS '88 Proceedings of the ACM SIGOIS and IEEECS TC-OA 1988 conference on Office information systems
Assessing the quality of abstract data types written in ADA
ICSE '88 Proceedings of the 10th international conference on Software engineering
The role of opaque types to build abstractions
ACM SIGPLAN Notices
Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming
IEEE Transactions on Software Engineering
Keynote address - data abstraction and hierarchy
OOPSLA '87 Addendum to the proceedings on Object-oriented programming systems, languages and applications (Addendum)
Local atomicity properties: modular concurrency control for abstract data types
ACM Transactions on Programming Languages and Systems (TOPLAS)
NFQL: the natural forms query language
ACM Transactions on Database Systems (TODS)
Teaching the abstract data type in CS2
SIGCSE '89 Proceedings of the twentieth SIGCSE technical symposium on Computer science education
An object-oriented structured design method for code generation
ACM SIGSOFT Software Engineering Notes
A real-time monitor for a distributed real-time operating system
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
Partially shared views: a scheme for communicating among groups that use different type hierarchies
ACM Transactions on Information Systems (TOIS)
Linguistic support for atomic data types
ACM Transactions on Programming Languages and Systems (TOPLAS)
Implementation and manipulation of formal objects: an object-oriented view
SIGSMALL '90 Proceedings of the 1990 ACM SIGSMALL/PC symposium on Small systems
On Ada packages, types and task types
ACM SIGAda Ada Letters
Behavior sampling: a technique for automated retrieval of reusable components
ICSE '92 Proceedings of the 14th international conference on Software engineering
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
Typechecking and modules for multi-methods
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
Typechecking and modules for multimethods
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proceedings of the 18th international conference on Software engineering
Tool support for planning the restructuring of data abstractions in large systems
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
PREDATOR: an OR-DBMS with enhanced data types
SIGMOD '97 Proceedings of the 1997 ACM SIGMOD international conference on Management of data
The persistent store as an enabling technology for integrated project support environments
ICSE '85 Proceedings of the 8th international conference on Software engineering
Data abstractions for database systems
ACM Transactions on Database Systems (TODS)
Some high level language constructs for data of type relation
ACM Transactions on Database Systems (TODS)
A facility for defining and manipulating generalized data structures
ACM Transactions on Database Systems (TODS)
Proving Properties of Complex Data Structures
Journal of the ACM (JACM)
Distributed match-making for processes in computer networks (preliminary version)
Proceedings of the fourth annual ACM symposium on Principles of distributed computing
Replication and fault-tolerance in the ISIS system
Proceedings of the tenth ACM symposium on Operating systems principles
Block structure and object oriented languages
OOPWORK '86 Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming
A Codesign Approach to Real-time High Precision Control
Real-Time Systems
Operating System Structures to Support Security and Reliable Software
ACM Computing Surveys (CSUR)
Experience Using Multiprocessor Systems—A Status Report
ACM Computing Surveys (CSUR)
Comparison of the Programming Languages C and Pascal
ACM Computing Surveys (CSUR)
An Abstract Type for Statistics Collection in Simula
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Value Transmission Method for Abstract Data Types
ACM Transactions on Programming Languages and Systems (TOPLAS)
Guardians and Actions: Linguistic Support for Robust, Distributed Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Visibility aspects of programmed dynamic data structures
Communications of the ACM
Specification and verification of the UCLA Unix security kernel
Communications of the ACM
High level programming for distributed computing
Communications of the ACM
Automatic data structure selection: an example and overview
Communications of the ACM
Abstract data types and the development of data structures
Communications of the ACM
Database abstractions: aggregation
Communications of the ACM
Some ideas on data types in high-level languages
Communications of the ACM
An example of hierarchical design and proof
Communications of the ACM
Communications of the ACM
An experimental evaluation of data type conventions
Communications of the ACM
An analysis of inline substitution for a structured programming language
Communications of the ACM
Intentional resolution of privacy protection in database systems
Communications of the ACM
Exception handling: issues and a proposed notation
Communications of the ACM
The coming-of-age of software architecture research
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
A proposal for information systems design and management
ACM SIGDA Newsletter
EW 2 Proceedings of the 2nd workshop on Making distributed systems work
SIGMOD '76 Proceedings of the 1976 ACM SIGMOD international conference on Management of data
The Smalltalk-76 programming system design and implementation
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A Metalanguage for interactive proof in LCF
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Symmetry in class and type hierarchy
CRPIT '02 Proceedings of the Fortieth International Conference on Tools Pacific: Objects for internet, mobile and embedded applications
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The data management facilities of PLAIN
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
Guardians and actions: linguistic support for robust, distributed programs
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Unified dialogue management in the carousel system
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
A Metric-Based Approach to Detect Abstract Data Types and State Encapsulations
Automated Software Engineering
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
Database Management with Sequence Trees and Tokens
IEEE Transactions on Knowledge and Data Engineering
A Database Perspective on Geospatial Data Modeling
IEEE Transactions on Knowledge and Data Engineering
Tool Support for Planning the Restructuring of Data Abstractions in Large Systems
IEEE Transactions on Software Engineering
The Case for Enhanced Abstract Data Types
VLDB '97 Proceedings of the 23rd International Conference on Very Large Data Bases
Formal Modelling of Services for Getting a Better Understanding of the Feature Interaction Problem
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Enhanced abstract data types in object-relational databases
The VLDB Journal — The International Journal on Very Large Data Bases
Algebraic specifications: some old history and new thoughts
Nordic Journal of Computing
An IPC protocol and its hardware realization for a high-speed distributed multicomputer system
ISCA '81 Proceedings of the 8th annual symposium on Computer Architecture
Table: Object oriented editing of complex structures
ICSE '84 Proceedings of the 7th international conference on Software engineering
ICSE '81 Proceedings of the 5th international conference on Software engineering
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
Strategies for data abstraction in LISP
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
A system for program refinement
ICSE '79 Proceedings of the 4th international conference on Software engineering
Pragmatic techniques for program analysis and verification
ICSE '79 Proceedings of the 4th international conference on Software engineering
An experiment in software engineering: The Architecture Research Facility as a case study
ICSE '79 Proceedings of the 4th international conference on Software engineering
ICSE '79 Proceedings of the 4th international conference on Software engineering
Structured design methodologies
DAC '78 Proceedings of the 15th Design Automation Conference
Concurrent software system design supported by SARA at the age of one
ICSE '78 Proceedings of the 3rd international conference on Software engineering
A computer simulation facility for packet communication architecture
ISCA '76 Proceedings of the 3rd annual symposium on Computer architecture
Tagged architecture and the semantics of programming languages: Extensible types
ISCA '76 Proceedings of the 3rd annual symposium on Computer architecture
Introducing programming concepts with graphical objects
SIGCSE '80 Proceedings of the eleventh SIGCSE technical symposium on Computer science education
On the use of pointers and the teaching of disciplined programming
SIGCSE '76 Proceedings of the sixth SIGCSE technical symposium on Computer science education
Language extensibility and program design
DAC '76 Proceedings of the 13th Design Automation Conference
DAC '76 Proceedings of the 13th Design Automation Conference
Specialization of SARA for software synthesis
Proceedings of the Symposium on Design Automation and Microprocessors
Levels of abstraction and compilers
ACM '76 Proceedings of the 1976 annual conference
Use of symbolic and numeric methods in an algorithm for the approximation of multivariate functions
SYMSAC '76 Proceedings of the third ACM symposium on Symbolic and algebraic computation
StarOS, a multiprocessor operating system for the support of task forces
SOSP '79 Proceedings of the seventh ACM symposium on Operating systems principles
Data-dependent concurrency control and recovery (Extended Abstract)
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
Specification and implementation of resilient, atomic data types
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
Data abstraction from a programming language viewpoint
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
SIGMINI '76 Proceedings of the ACM SIGMINI/SIGPLAN interface meeting on Programming systems in the small processor environment
Abstract data types in the Model programming language
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
High level domain definition in a relational date base system
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
Data abstractions for data bases
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
Research directions in abstract data structures
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
A next step in data structuring for programming languages
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
Correctness of data representations (Extended Abstract): Pointers in high level languages
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
Towards the construction of verifiable software systems
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
Abstract types defined as classes of variables
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
A data type encapsulation scheme utilizing base language operators
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
Proceedings of the Strathclyde ALGOL 68 conference
Towards an engineering approach to software design
ICSE '76 Proceedings of the 2nd international conference on Software engineering
An approach to error-resistant software design
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Quantitative evaluation of software quality
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Consistency checking within embedded design languages
ICSE '82 Proceedings of the 6th international conference on Software engineering
Towards the ideal programming language
Proceedings of an ACM conference on Language design for reliable software
The impact of language design on the production of reliable software
Proceedings of the international conference on Reliable software
On the problem of uniform references to data structures
Proceedings of the international conference on Reliable software
Specification techniques for data abstractions
Proceedings of the international conference on Reliable software
Some experience with automated aids to the design of large-scale reliable software
Proceedings of the international conference on Reliable software
Programming-in-the large versus programming-in-the-small
Proceedings of the international conference on Reliable software
A view of program verification
Proceedings of the international conference on Reliable software
Experience with OLGA A Maximal language for the minimal PDP-11 minicomputer
SIGCSE '79 Proceedings of the tenth SIGCSE technical symposium on Computer science education
Modeling the binding policies of programming languages
ACM '79 Proceedings of the 1979 annual conference
Logical Structure Specification and data type definition
ACM '79 Proceedings of the 1979 annual conference
Formal module level specifications
ACM '77 Proceedings of the 1977 annual conference
ACM '77 Proceedings of the 1977 annual conference
The design of usable programming languages
ACM '75 Proceedings of the 1975 annual conference
POPL '76 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages
On structuring operating systems with monitors
ACM SIGOPS Operating Systems Review
Abstract data types, then and now
Software pioneers
Abstract data types and the development of data structures
Software pioneers
ACM SIGPLAN Notices
Defining dynamic variables and abstract data types in Pascal
ACM SIGPLAN Notices
Free and bound generics: two techniques for abstract data types in modular C
ACM SIGPLAN Notices
No name: just notes on software reuse
OOPSLA '03 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Limits of the "algebraic" specification of abstract data types
ACM SIGPLAN Notices
ACM SIGPLAN Notices
Some remarks on abstract data types
ACM SIGPLAN Notices
No name: just notes on software reuse
ACM SIGPLAN Notices
Report on the programming language Euclid
ACM SIGPLAN Notices
ACM SIGMOD Record
Issues in programming language design: an overview
ACM SIGPLAN Notices - Special issue on programming language design
Data types and program correctness
ACM SIGPLAN Notices - Special issue on programming language design
Specification and uniform reference to data structures in PL/I
ACM SIGPLAN Notices
Type equivalence in strongly typed languages: one more look
ACM SIGPLAN Notices
Abstracting linked data structures using incremental records
ACM SIGPLAN Notices
A simple approach to a relaxed syntax for an Ada PDL
ACM SIGAda Ada Letters
On unlimited types and reliability of Ada programs
ACM SIGAda Ada Letters
Proceedings of the workshop on Rapid prototyping
ACM SIGSOFT Software Engineering Notes
Toward semantic understanding: an approach based on information extraction ontologies
ADC '04 Proceedings of the 15th Australasian database conference - Volume 27
Transition predicate abstraction and fair termination
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Data-dependent concurrency control and recovery
ACM SIGOPS Operating Systems Review
History of programming languages---II
ACM SIGSAM Bulletin
Incrementalization across object abstraction
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
The impact of software engineering research on modern progamming languages
ACM Transactions on Software Engineering and Methodology (TOSEM)
Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Rosetta Smalltalk: a conversational, extensible microcomputer language
SIGSMALL/PC Proceedings of the Second symposium on Small systems
Complex data types and a data manipulation language for scientific and statistical databases
SSDBM'83 Proceedings of the 2nd international workshop on Proceedings of the Second International Workshop on Statistical Database Management
A view of 20th and 21st century software engineering
Proceedings of the 28th international conference on Software engineering
Interpolation for data structures
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Proceedings of the third ACM SIGPLAN conference on History of programming languages
The when, why and why not of the BETA programming language
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Classics in software engineering
Semantic integrity in a relational data base system
VLDB '75 Proceedings of the 1st International Conference on Very Large Data Bases
High Performance Development for High End Computing With Python Language Wrapper (PLW)
International Journal of High Performance Computing Applications
A software engineering view of data base management
VLDB '78 Proceedings of the fourth international conference on Very Large Data Bases - Volume 4
A software engineering view of data base systems
VLDB '78 Proceedings of the fourth international conference on Very Large Data Bases - Volume 4
Application specification for distributed data base systems
VLDB '78 Proceedings of the fourth international conference on Very Large Data Bases - Volume 4
The MR diagram: a model for conceptual database design
VLDB '85 Proceedings of the 11th international conference on Very Large Data Bases - Volume 11
Choosing an efficient internal schema
VLDB '76 Proceedings of the second international conference on Systems for Large Data Bases
Structured Specification of Communicating Systems
IEEE Transactions on Computers
IEEE Transactions on Computers
Verifying C++ with STL containers via predicate abstraction
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
A computer architecture for highly parallel signal processing
ACM '74 Proceedings of the 1974 annual ACM conference - Volume 2
Towards a definition of structured programming
ACM '74 Proceedings of the 1974 annual ACM conference - Volume 2
MPC '08 Proceedings of the 9th international conference on Mathematics of Program Construction
The design and implementation of a simple programming language for microcomputers
AFIPS '77 Proceedings of the June 13-16, 1977, national computer conference
Software management of Cm*: a distributed multiprocessor
AFIPS '77 Proceedings of the June 13-16, 1977, national computer conference
Data types and program correctness
AFIPS '75 Proceedings of the May 19-22, 1975, national computer conference and exposition
Issues in programming language design: an overview
AFIPS '75 Proceedings of the May 19-22, 1975, national computer conference and exposition
RISS: a generalized minicomputer relational data base management system
AFIPS '75 Proceedings of the May 19-22, 1975, national computer conference and exposition
CONLAN: a formal construction method for hardware description languages: basic principles
AFIPS '80 Proceedings of the May 19-22, 1980, national computer conference
Database semantic integrity for a network data manager
AFIPS '80 Proceedings of the May 19-22, 1980, national computer conference
Programming with data frames for everyday data items
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
Institutions, property-aware programming and testing
LCSD '07 Proceedings of the 2007 Symposium on Library-Centric Software Design
Unifying aspect- and object-oriented design
ACM Transactions on Software Engineering and Methodology (TOSEM)
Parallel Programming in MATLAB
International Journal of High Performance Computing Applications
John Mylopoulos: Sewing Seeds of Conceptual Modelling
Conceptual Modeling: Foundations and Applications
Api hyperlinking via structural overlap
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
On understanding data abstraction, revisited
Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
A data definition facility based on a value-oriented storage model
IBM Journal of Research and Development
Objects and values: the basis of a storage model for procedural languages
IBM Journal of Research and Development
Web applications: spaghetti code for the 21st century
Web applications: spaghetti code for the 21st century
Mashware: the future of web applications
Mashware: the future of web applications
Proceedings of the 15th Conference on Pattern Languages of Programs
Making sense of data structures exams
Proceedings of the Sixth international workshop on Computing education research
Interprocedural analysis with lazy propagation
SAS'10 Proceedings of the 17th international conference on Static analysis
Gradual refinement: blending pattern matching with data abstraction
MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
A separation logic for refining concurrent objects
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Experiences documenting and preserving software constraints using aspects
Proceedings of the tenth international conference on Aspect-oriented software development companion
ICAI'05/MCBC'05/AMTA'05/MCBE'05 Proceedings of the 6th WSEAS international conference on Automation & information, and 6th WSEAS international conference on mathematics and computers in biology and chemistry, and 6th WSEAS international conference on acoustics and music: theory and applications, and 6th WSEAS international conference on Mathematics and computers in business and economics
A model-driven software environment for modeling, simulation and analysis of complex systems
Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
Designing application domain models with roles
MDAFA'03 Proceedings of the 2003 European conference on Model Driven Architecture: foundations and Applications
A framework for adaptive mobile objects in heterogeneous environments
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part II
Empirical Software Engineering and Verification
Statecharts as protocols for objects
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
Pointers and data abstractions in high level languages-I: Language proposals
Computer Languages
Language design and analyzability: a retrospective
Software—Practice & Experience
An inheritance system for structural & behavioral reuse in component-based software programming
Proceedings of the 11th International Conference on Generative Programming and Component Engineering
A relational model of object collaborations and its use in reasoning about relationships
ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming
Extensible specifications for automatic re-use of specifications and proofs
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming
The Propagation Approach for Computing Biochemical Reaction Networks
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Design principles for research data export: lessons learned in e-health design research
DESRIST'13 Proceedings of the 8th international conference on Design Science at the Intersection of Physical and Virtual Design
Science of Computer Programming
Replicated data types: specification, verification, optimality
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Hi-index | 0.24 |
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 reliable as a result. Clearly, this is a worthwhile goal. Unfortunately, it is very difficult for a designer to select in advance all the abstractions which the users of his language might need. If a language is to be used at all, it is likely to be used to solve problems which its designer did not envision, and for which the abstractions embedded in the language are not sufficient. This paper presents an approach which allows the set of built-in abstractions to be augmented when the need for a new data abstraction is discovered. This approach to the handling of abstraction is an outgrowth of work on designing a language for structured programming. Relevant aspects of this language are described, and examples of the use and definitions of abstractions are given.