The art of computer programming, volume 3: (2nd ed.) sorting and searching
The art of computer programming, volume 3: (2nd ed.) sorting and searching
Protection in programming languages
Communications of the ACM
Program development by stepwise refinement
Communications of the ACM
Programming with abstract data types
Proceedings of the ACM SIGPLAN symposium on Very high level languages
Programming-in-the large versus programming-in-the-small
Proceedings of the international conference on Reliable software
LISP 1.5 Programmer's Manual
Synchronizing shared abstract types
ACM Transactions on Computer Systems (TOCS)
An architecture for object management in OIS
ACM Transactions on Information Systems (TOIS)
Magma2: a language oriented toward experiments in control
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Implementation of resilient, atomic data types
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
A modular verifiable exception handling mechanism
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Database hosting in strongly-typed programming languages
ACM Transactions on Database Systems (TODS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Procedures as persistent data objects
ACM Transactions on Programming Languages and Systems (TOPLAS)
Abstraction-based software development
Communications of the ACM
A generalized model management system for mathematical programming
ACM Transactions on Mathematical Software (TOMS)
Writing Larch interface language specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction
An input-output model of interactive systems
CHI '86 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
An introduction to Trellis/Owl
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Object structure in the Emerald system
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Managing stack frames in Smalltalk
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
XC- A language for embedded rule based systems
ACM SIGPLAN Notices
Box structured information systems
IBM Systems Journal
Programming constructs for database system implementation in EXODUS
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Dimensions of object-based language design
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Issues in the design of object-oriented database programming languages
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Distributed programming in Argus
Communications of the ACM
Abstract types have existential type
ACM Transactions on Programming Languages and Systems (TOPLAS)
Semantic database modeling: survey, applications, and research issues
ACM Computing Surveys (CSUR)
Promises: linguistic support for efficient asynchronous procedure calls in distributed systems
PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
Data and Time Abstraction Techniques for Analyzing Multilevel Concurrent Systems
IEEE Transactions on Software Engineering
Type theories and object-oriented programmimg
ACM Computing Surveys (CSUR)
Keynote address - data abstraction and hierarchy
OOPSLA '87 Addendum to the proceedings on Object-oriented programming systems, languages and applications (Addendum)
Efficient high-level iteration with accumulators
ACM Transactions on Programming Languages and Systems (TOPLAS)
Testing the Completeness of Specifications
IEEE Transactions on Software Engineering
Functional Refinement and Nested Objects for Object-Oriented Design
IEEE Transactions on Software Engineering
Programming languages for distributed computing systems
ACM Computing Surveys (CSUR)
Lifetime analysis of dynamically allocated objects
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Layering and multiple views of data abstraction in Ada: techniques and experiences
TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
Stepwise refinement process with modularity
ICSE '89 Proceedings of the 11th international conference on Software engineering
The Effect of Data Abstraction on Loop Programming Techniques
IEEE Transactions on Software Engineering
ACM Transactions on Programming Languages and Systems (TOPLAS)
LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
Generators and the replicator control structure in the parallel environment of ALLOY
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
Design of the Mneme persistent object store
ACM Transactions on Information Systems (TOIS)
Type substitution for object-oriented programming
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Formal manipulation of modular software systems
Conference proceedings on Formal methods in software development
Programming with Streams in a Pascal-Like Language
IEEE Transactions on Software Engineering
K: a high-level knowledge base programming language for advanced database applications
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
Communications of the ACM - Special issue on LISP
The design and implementation of hierarchical software systems with reusable components
ACM Transactions on Software Engineering and Methodology (TOSEM)
Interactive modular programming in Scheme
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Toward a method of object-oriented concurrent programming
Communications of the ACM
ACM SIGPLAN Notices
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
CSC '93 Proceedings of the 1993 ACM conference on Computer science
The design of the E programming language
ACM Transactions on Programming Languages and Systems (TOPLAS)
Metalevel building blocks for modular systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parallel programming with control abstraction
ACM Transactions on Programming Languages and Systems (TOPLAS)
Suggestion for a parametrized class model
ACM SIGPLAN OOPS Messenger
A Parallel Virtual Machine for Programs Composed of Abstract Data Types
IEEE Transactions on Computers
Typechecking and modules for multi-methods
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
Automated support for encapsulating abstract data types
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Subtypes vs. where clauses: constraining parametric polymorphism
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
Typechecking and modules for multimethods
ACM Transactions on Programming Languages and Systems (TOPLAS)
Safe and efficient sharing of persistent objects in Thor
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
Simple translation of goal-directed evaluation
Proceedings of the ACM SIGPLAN 1997 conference on Programming language design and implementation
Adding type parameterization to the Java language
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A proposal for syntactic data integration math protocols
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
Supporting the restructuring of data abstractions through manipulation of a program visualization
ACM Transactions on Software Engineering and Methodology (TOSEM)
Concepts for a database system compiler
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Abstract types have existential types
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Ensuring integrity by adding obligations to privileges
ICSE '85 Proceedings of the 8th international conference on Software engineering
Data abstractions for database systems
ACM Transactions on Database Systems (TODS)
A language facility for designing database-intensive applications
ACM Transactions on Database Systems (TODS)
Semantic analysis of virtual classes and nested classes
Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
The Expressiveness of Simple and Second-Order Type Structures
Journal of the ACM (JACM)
An adaptable and distributed load adjustment algorithm
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Use of preprocessor as a tool to assist students in implementing stacks and queues
SIGCSE '85 Proceedings of the sixteenth SIGCSE technical symposium on Computer science education
OOPWORK '86 Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming
Why properties are objects or some refinements of “is-a”
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
ODM: an object oriented data model for design databases
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
Perspectives in Software Engineering
ACM Computing Surveys (CSUR)
External Representations of Objects of User-Defined Type
ACM Transactions on Programming Languages and Systems (TOPLAS)
An Alternative to the Use of Patterns in String Processing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Specification of Abstract Data Types in Modula
ACM Transactions on Programming Languages and Systems (TOPLAS)
An Abstract Type for Statistics Collection in Simula
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Statement-Oriented Approach to Data Abstraction
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Data Abstraction, Implementation, Specification, and Testing
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Value Transmission Method for Abstract Data Types
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Evaluation of Expressions in Icon
ACM Transactions on Programming Languages and Systems (TOPLAS)
Final Data Types and Their Specification
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability
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)
Interprocess communication and processor dispatching on the Intel 432
ACM Transactions on Computer Systems (TOCS)
A comparison of two network-based file servers
Communications of the ACM
A Fortran programming methodology based on data abstraction
Communications of the ACM
High level programming for distributed computing
Communications of the ACM
Communications of the ACM
A language extension for expressing constraints on data access
Communications of the ACM
Abstract data types and software validation
Communications of the ACM
Orca: a language for distributed programming
ACM SIGPLAN Notices
ACM SIGPLAN Notices
Sharing code among instances of Ada generics
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
Data types as values: polymorphism, type-checking, encapsulation
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
On the unification of data and program abstraction in Ada
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Abstraction mechanisms in the BETA programming language
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Data types, parameters and type checking
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Expressiveness of the operation set of a data abstraction
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
"Type-completeness" as a language principle
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Modeling of problem domains for driving program development systems
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT 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
Data abstraction, views and updates in RIGEL
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
A type declaration and inference system for smalltalk
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Lithe: a language combining a flexible syntax and classes
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
Modular verification of concurrent programs
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Ownership types for object encapsulation
POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
What Is Object-Oriented Programming?
IEEE Software
Set Restrictions for Semantic Groupings
IEEE Transactions on Knowledge and Data Engineering
Mathemtical Model of Composite Objects and Its Application for Organizing Engineering Databases
IEEE Transactions on Software Engineering
Design and Specification of Iterators Using the Swapping Paradigm
IEEE Transactions on Software Engineering
A brief history of the object-oriented approach
ACM SIGSOFT Software Engineering Notes
Molecular Objects, Abstract Data Types, and Data Models: A Framework
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
Semantics of Network Data Manipulation Languages: An Object-Oriented Approach
VLDB '82 Proceedings of the 8th International Conference on Very Large Data Bases
What is "Object-Oriented Programming?"
ECOOP '87 Proceedings of the European Conference on Object-Oriented Programming
Concurrency Features for the Trellis/Owl Language
ECOOP '87 Proceedings of the European Conference on Object-Oriented Programming
Inheritance as an Incremental Modification Mechanism or What Like Is and Isn't Like
ECOOP '88 Proceedings of the European Conference on Object-Oriented Programming
Unifying Genericity - Combining the Benefits of Virtual Types and Parameterized Classes
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
ECOOP '00 Proceedings of the Workshops, Panels, and Posters on Object-Oriented Technology
Fresh Breeze: a multiprocessor chip architecture guided by modular programming principles
ACM SIGARCH Computer Architecture News
Research problems of decentralized systems with largely autonomous nodes
ACM SIGOPS Operating Systems Review
Algebraic specifications: some old history and new thoughts
Nordic Journal of Computing
Grids: A new program structuring mechanism based on layered graphs
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A types-as-sets semantics for milner-style polymorphism
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
INCENSE: A system for displaying data structures
SIGGRAPH '83 Proceedings of the 10th annual conference on Computer graphics and interactive techniques
The device model of interaction
SIGGRAPH '82 Proceedings of the 9th annual conference on Computer graphics and interactive techniques
Supporting ada memory management in the iAPX-432
ASPLOS I Proceedings of the first international symposium on Architectural support for programming languages and operating systems
Interactive verification of communication software on the basis of CIL
SIGCOMM '84 Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols: tutorials & symposium
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
Experience with a modular typed language: PROTEL
ICSE '81 Proceedings of the 5th international conference on Software engineering
The finalization operation for abstract types
ICSE '81 Proceedings of the 5th international conference on Software engineering
HFP: A hierarchical and functional programming based on attribute grammar
ICSE '81 Proceedings of the 5th international conference on Software engineering
Program refinement by transformation
ICSE '81 Proceedings of the 5th international conference on Software engineering
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
HOPE: An experimental applicative language
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
Module structure in an evolving family of real time systems
ICSE '79 Proceedings of the 4th international conference on Software engineering
The use of a Module Interconnection Language in the SARA system design methodology
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
Behavior modelling during software design
ICSE '78 Proceedings of the 3rd international conference on Software engineering
A type-checking program linkage system for pascal
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Validating The Utility Of Abstraction Techniques
ACM '78 Proceedings of the 1978 annual conference
ACM '78 Proceedings of the 1978 annual conference
An Introduction To DIAM Levels Of Abstraction In Accessing Information
ACM '78 Proceedings of the 1978 annual conference
Factored Specifications In The Synthesis Of LISP Functions
ACM '78 Proceedings of the 1978 annual conference
The Lattice Security Model In A Public Computing Network
ACM '78 Proceedings of the 1978 annual conference
Teaching data abstraction to the practicing programmer: A case study
SIGCSE '80 Proceedings of the eleventh SIGCSE technical symposium on Computer science education
On the importance of teaching PASCAL in the IS curriculum
SIGCSE '80 Proceedings of the eleventh SIGCSE technical symposium on Computer science education
An actor-based programming system
Proceedings of the SIGOA conference on Office information systems
Evaluating synchronization mechanisms
SOSP '79 Proceedings of the seventh ACM symposium on Operating systems principles
Primitives for distributed computing
SOSP '79 Proceedings of the seventh ACM symposium on Operating systems principles
The architecture of the Eden system
SOSP '81 Proceedings of the eighth ACM symposium on Operating systems principles
Language concepts for distributed processing of large arrays
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
FP with data abstraction and strong typing
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
A programmer controlled approach to data and control abstraction
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
Specification and implementation of resilient, atomic data types
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
Fable: A programming-language solution to IC process automation problems
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
Type hierarchies and Semantic Data Models
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
A data abstraction approach to database modelling
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
The semantics of graphical input
SIGGRAPH '79 Proceedings of the 6th annual conference on Computer graphics and interactive techniques
A form-based approach to human engineering methodologies
ICSE '82 Proceedings of the 6th international conference on Software engineering
The Darwin software-evolution environment
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Origins of the APT language for automatically programmed tools
ACM SIGPLAN Notices - Special issue: History of programming languages conference
Abstract types, ADA packages, and the teaching of data structures
SIGSCE '84 Proceedings of the fifteenth SIGCSE technical symposium on Computer science education
Discrete event simulation languages current status and future directions
WSC '84 Proceedings of the 16th conference on Winter simulation
Ada Requirements Methodology (ARM)
ACM '82 Proceedings of the ACM '82 conference
Capsules: A data abstraction facility for Pascal
ACM '81 Proceedings of the ACM '81 conference
Data abstraction, controlled iteration, and communicating processes
ACM '80 Proceedings of the ACM 1980 annual conference
Module: An encapsulation mechanism for specifying and implementing abstract data types
ACM '80 Proceedings of the ACM 1980 annual conference
Modeling the binding policies of programming languages
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
Assignments and high level data types
ACM '78 Proceedings of the 1978 annual conference - Volume 2
Interaction with databases through procedural languages
ACM '78 Proceedings of the 1978 annual conference - Volume 2
Forms-based automatic program generation
ACM '78 Proceedings of the 1978 annual conference - Volume 2
ACM '77 Proceedings of the 1977 annual conference
The concept of asynchronization
ACM SIGOPS Operating Systems Review
An approach to distributed software systems
ACM SIGOPS Operating Systems Review
ACM SIGSOFT Software Engineering Notes
The roots of object orientation: the Simula language
Software pioneers
Abstract data types, then and now
Software pioneers
Toward relaxing assumptions in languages and their implementations
ACM SIGPLAN Notices
Procedural specifications and implementations for abstract data types
ACM SIGPLAN Notices
Ambiguities and insecurities in Modula-2
ACM SIGPLAN Notices
DUIF: a data-driented flowchart environment
ACM SIGPLAN Notices
Implementing data abstractions and monitors in UCSD Pascal
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
Some remarks on records with variants
ACM SIGPLAN Notices
Lazy modular upgrades in persistent object stores
OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
The CAMIL programming language
ACM SIGPLAN Notices
Further comments on "a view of coroutines"
ACM SIGPLAN Notices
On orthogonality in programming languages
ACM SIGPLAN Notices
Aspects of the ALGOL 68 mode structure
ACM SIGPLAN Notices
ACM SIGPLAN Notices
Rationale for the design of the Ada programming language
ACM SIGPLAN Notices - Rationale for the deisgn of the Ada programming language
Summary of the characteristics of several "modern" programming languages
ACM SIGPLAN Notices
Parallel evolution programming language for data flow machines
ACM SIGPLAN Notices
An operating system course project
ACM SIGCSE Bulletin
Efficient computation of LALR(1) look-ahead sets
ACM SIGPLAN Notices - Best of PLDI 1979-1999
Implementation implications of Ada generics
ACM SIGAda Ada Letters
Implementation prototypes in the development of programming language features
Proceedings of the workshop on Rapid prototyping
ACM SIGMIS Database
Performance monitoring in computer systems: a structured approach
ACM SIGOPS Operating Systems Review
History of programming languages---II
ACM SIGSAM Bulletin
Experience with access functions in an experimental compiler
ACM SIGMICRO Newsletter - Is microprogramming dead?
The impact of software engineering research on modern progamming languages
ACM Transactions on Software Engineering and Methodology (TOSEM)
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
DLS '05 Proceedings of the 2005 symposium on Dynamic languages
Generic programming and high-performance libraries
International Journal of Parallel Programming - Special issue: The next generation software program
Roadmap for enhanced languages and methods to aid verification
Proceedings of the 5th international conference on Generative programming and component engineering
Stayin' alert:: moulding failure and exceptions to your needs
Proceedings of the 5th international conference on Generative programming and component engineering
Origins of the APT language for automatically programmed tools
History of programming languages I
The impact of research on middleware technology
ACM SIGSOFT Software Engineering Notes
The impact of research on middleware technology
ACM SIGOPS Operating Systems Review
The development of the Emerald programming language
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Case study on algebraic software methodologies for scientific computing
Scientific Programming
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
Programming languages and databases
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
VLDB '78 Proceedings of the fourth international conference on Very Large Data Bases - Volume 4
Some features of the TAXIS data model
VLDB '80 Proceedings of the sixth international conference on Very Large Data Bases - Volume 6
Parsimony principles for software components and metalanguages
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
ACM Transactions on Programming Languages and Systems (TOPLAS)
Programming languages as part of core computer science
ACM SIGPLAN Notices
A prototyping environment for real-time graphics
AFIPS '84 Proceedings of the July 9-12, 1984, national computer conference and exposition
A multiprocessor description language
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
CARL: experience of an application using clusters
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
Database programming with data abstractions
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
Towards a Universal Toolkit Model for Structures
Engineering Interactive Systems
A method for automatically analyzing programs
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 2
Brand X: LISP support for semantic networks
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 2
A formal representation for plans in the programmer's apprentice
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 2
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2
Abstract design and program translator: new tools for software design
IBM Systems Journal
IBM Journal of Research and Development
A data definition facility based on a value-oriented storage model
IBM Journal of Research and Development
SLAN-4: a language for the specification and design of large software systems
IBM Journal of Research and Development
Programming versus databases in the object-oriented paradigm
Information and Software Technology
Abstract for-loops over several aggregates
Information Processing Letters
Experience with access functions in an experimental compiler
IBM Journal of Research and Development
Abstract design and program translator: new tools for software design
IBM Systems Journal
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Role-centered design for evolution
ECBS'99 Proceedings of the 1999 IEEE conference on Engineering of computer-based systems
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
A language for generic programming in the large
Science of Computer Programming
JavaGI: The Interaction of Type Classes with Interfaces and Inheritance
ACM Transactions on Programming Languages and Systems (TOPLAS)
Language requirements for large-scale generic libraries
GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
An iterator construct for the refinement calculus
IW-FM'00 Proceedings of the 4th Irish conference on Formal Methods
Binding strategies and scope rules are independent
Computer Languages
An implementation of generators in C
Computer Languages
Implementation of language enhancements
Computer Languages
Computer Languages
The external structure: Experience with an automated module interconnection language
Journal of Systems and Software
Abstraction hierarchies in top-down design
Journal of Systems and Software
Socio-PLT: principles for programming language adoption
Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software
Modules as gradually-typed objects
Proceedings of the 7th Workshop on Dynamic Languages and Applications
Object-oriented programming: Some history, and challenges for the next fifty years
Information and Computation
The impact of research on the development of middleware technology
ACM Transactions on Software Engineering and Methodology (TOSEM)
Hi-index | 48.36 |
CLU is a new programming language designed to support the use of abstractions in program construction. Work in programming methodology has led to the realization that three kinds of abstractions—procedural, control, and especially data abstractions—are useful in the programming process. Of these, only the procedural abstraction is supported well by conventional languages, through the procedure or subroutine. CLU provides, in addition to procedures, novel linguistic mechanisms that support the use of data and control abstractions. This paper provides an introduction to the abstraction mechanisms in CLU. By means of programming examples, the utility of the three kinds of abstractions in program construction is illustrated, and it is shown how CLU programs may be written to use and implement abstractions. The CLU library, which permits incremental program development with complete type checking performed at compile time, is also discussed.