ACM SIGPLAN Notices
Aspects of OBERON suitable for graphics applications
ACM SIGPLAN Notices
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Object-oriented programming through type extension in Ada 9X
ACM SIGAda Ada Letters
A comparison of module constructs in programming languages
ACM SIGPLAN Notices
Another defence of enumerated types
ACM SIGPLAN Notices
Reusable distributed “data environments”
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
On the type extensions of Oberon-2
ACM SIGPLAN Notices
Filtering import: a basic mechanism for reusability
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
ACM SIGPLAN Notices
Numerical analysis using nonprocedural paradigms
ACM Transactions on Mathematical Software (TOMS)
Consummating virtuality to support more polymorphism in C++
ACM SIGPLAN Notices
Dependency analysis for Standard ML
ACM Transactions on Programming Languages and Systems (TOPLAS)
Programming without enumerations in Oberon
ACM SIGPLAN Notices
Orthogonal type extensions and reductions
ACM SIGPLAN Notices
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Modular specification and verification of object-oriented programs
Modular specification and verification of object-oriented programs
Hi-index | 0.00 |