A kernel language for abstract data types and modules.
Proc. of the international symposium on Semantics of data types
Programming in MODULA-2 (3rd corrected ed.)
Programming in MODULA-2 (3rd corrected ed.)
System R: an architectural overview
IBM Systems Journal
Communications of the ACM
Protection in programming languages
Communications of the ACM
GEDANKEN—a simple typeless language based on the principle of completeness and the reference concept
Communications of the ACM
EULER: a generalization of ALGOL and it formal definition: Part 1
Communications of the ACM
The next 700 programming languages
Communications of the ACM
Revised report on the algorithm language ALGOL 60
Communications of the ACM
Programming with abstract data types
Proceedings of the ACM SIGPLAN symposium on Very high level languages
Some desirable properties of data abstraction facilities
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
Procedural encapsulation: A linguistic protection technique
Proceeding of ACM SIGPLAN - SIGOPS interface meeting on Programming languages - operating systems
PAL—a language designed for teaching programming linguistics
ACM '68 Proceedings of the 1968 23rd ACM national conference
Rationale for the design of the Ada programming language
ACM SIGPLAN Notices - Rationale for the deisgn of the Ada programming language
Report on the programming language Euclid
ACM SIGPLAN Notices
Algol-60 Implementation
LISP 1.5 Programmer's Manual
Simula Begin
The contour model of block structured processes
ACM SIGPLAN Notices
ACM Transactions on Information Systems (TOIS)
PS-Algol's device-independent output statement
ACM SIGPLAN Notices
Using a relational system on Wall Street: the good, the bad, the ugly, and the ideal
Communications of the ACM
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
An object addressing mechanism for statically typed languages with multiple inheritance
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Design of the Mneme persistent object store
ACM Transactions on Information Systems (TOIS)
PCLOS: stress testing CLOS experiencing the metaobject protocol
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
An ad hoc approach to the implementation of polymorphism
ACM Transactions on Programming Languages and Systems (TOPLAS)
Computer
&mgr;Database: parallelism in a memory-mapped environment (research summary)
Proceedings of the eighth annual ACM symposium on Parallel algorithms and architectures
Orthogonally persistent object systems
The VLDB Journal — The International Journal on Very Large Data Bases - Persistent object systems
CSCW '86 Proceedings of the 1986 ACM conference on Computer-supported cooperative work
The persistent workshop - a programming environment for Napier88
Nordic Journal of Computing
Constructing Database Systems in a Persistent Environment
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
Current Directions in Hyper-Programming
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
A type and effect system for atomicity
PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
Atomizer: a dynamic atomicity checker for multithreaded programs
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Exploiting purity for atomicity
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Exploiting Purity for Atomicity
IEEE Transactions on Software Engineering
Atomizer: A dynamic atomicity checker for multithreaded programs
Science of Computer Programming
Orthogonal persistence revisited
ICOODB'09 Proceedings of the Second international conference on Object databases
Server enforced program safety for web application engineering
Journal of Web Engineering
Closure generation based on viewing lambda as epsilon plus compile
Computer Languages
| Hi-index | 0.02 |
A persistent programming environment, together with a language that supports first class procedures, may be used to provide the semantic features of other object modeling languages. In particular, the two concepts may be combined to implement abstract data types, modules, separate compilation, views, and data protection. Furthermore, the ideas may be used in system construction and version control, as demonstrated here.