The Psychological Study of Programming
ACM Computing Surveys (CSUR)
Communications of the ACM
CLU Reference Manual
Algorithms + Data Structures = Programs
Algorithms + Data Structures = Programs
Elements of Software Science (Operating and programming systems series)
Elements of Software Science (Operating and programming systems series)
Structured System Programming
Validating The Utility Of Abstraction Techniques
ACM '78 Proceedings of the 1978 annual conference
Some desirable properties of data abstraction facilities
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
An undergraduate compiler laboratory
SIGCSE '79 Proceedings of the tenth SIGCSE technical symposium on Computer science education
On the application of data abstraction facilities
ACM '78 Proceedings of the 1978 annual conference - Volume 2
The establishment and use of measures to evaluate the quality of software designs
Proceedings of the software quality assurance workshop on Functional and performance issues
ACM SIGPLAN Notices
ACM SIGPLAN Notices
ACM SIGPLAN Notices
ACM SIGPLAN Notices
New feature for module protection in SIMULA
ACM SIGPLAN Notices
Preliminary Ada reference manual
ACM SIGPLAN Notices - Preliminary Ada reference manual
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
Structured programming
Hi-index | 0.00 |
Described is a data type abstraction facility that has been implemented as an extension to the University of Minnesota Pascal 6000 compiler. The facility provides an encapsulation that establishes a static scope of identifiers with controlled visibility. The facility was developed primarily for instructional purposes for use throughout an undergraduate computer science curriculum in which Pascal is the major language for program implementation. The paper begins with a brief background in which earlier abstraction facilities influencing the development of the capsule are described. Then a description of the capsule and capsule parameterization (generics) facilities is provided, followed by an outline of the implementation of the capsule in a Pascal compiler. Plans for a generic capsule library and some comments concerning the use of the system in undergraduate instruction at Temple university are given in the last section.