Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Abstraction and specification in program development
Abstraction and specification in program development
Systematic software development using VDM
Systematic software development using VDM
The programming language Oberon
Software—Practice & Experience
Acta Informatica
The annotated C++ reference manual
The annotated C++ reference manual
Systems programming with Modula-3
Systems programming with Modula-3
Aspect: detecting bugs with abstract dependences
ACM Transactions on Software Engineering and Methodology (TOSEM)
Toward reliable modular programs
Toward reliable modular programs
Data groups: specifying the modification of extended state
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Constraints: a uniform approach to aliasing and typing
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Modular specification and verification techniques for object-oriented software components
Foundations of component-based systems
On the criteria to be used in decomposing systems into modules
Communications of the ACM
The Java Language Specification
The Java Language Specification
Modular Verification of Data Abstractions with Shared Realizations
IEEE Transactions on Software Engineering
Recursive object types in a logic of object-oriented programs
Nordic Journal of Computing
Upgrading the Pre- and Postcondition Technique
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions - Volume I
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
An algebraic definition of simulation between programs
An algebraic definition of simulation between programs
Programming in Modula-2
| Hi-index | 0.00 |
Modern computer programs use patterns of data abstraction that are richer than those considered previously in the literature for specifying and reasoning about programs. This paper presents abstraction dependencies as a key construct in specifying modular programs. The paper motivates abstraction dependencies through an extended example and outlines how they solve the immediate problems of previous techniques.