Implementation of resilient, atomic data types
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
On understanding types, data abstraction, and polymorphism
ACM Computing Surveys (CSUR) - The MIT Press scientific computation series
Writing Larch interface language specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Iteration and abstract data types
ACM SIGPLAN Notices
Types and persistence in database programming languages
ACM Computing Surveys (CSUR)
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A multi-level parallelism architecture
ACM SIGARCH Computer Architecture News
Parameterized specifications for software reuse
ACM SIGSOFT Software Engineering Notes
Viewing Ada from a process model perspective
SIGAda '85 Proceedings of the 1985 annual ACM SIGAda international conference on Ada
The VAL Language: Description and Analysis
ACM Transactions on Programming Languages and Systems (TOPLAS)
CCured: type-safe retrofitting of legacy code
POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Concurrency Features for the Trellis/Owl Language
ECOOP '87 Proceedings of the European Conference on Object-Oriented Programming
ECOOP '88 Proceedings of the European Conference on Object-Oriented Programming
Capsules: A data abstraction facility for Pascal
ACM '81 Proceedings of the ACM '81 conference
Toward type-oriented dynamic vertical migration
ACM SIGMICRO Newsletter
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
STLlint: lifting static checking from languages to libraries
Software—Practice & Experience
cJ: enhancing java with safe type conditions
Proceedings of the 6th international conference on Aspect-oriented software development
Case study on algebraic software methodologies for scientific computing
Scientific Programming
The design of PLAIN: support for systematic programming
AFIPS '80 Proceedings of the May 19-22, 1980, national computer conference
Criteria for a standard command language based on data abstraction
AFIPS '82 Proceedings of the June 7-10, 1982, national computer conference
JavaGI: The Interaction of Type Classes with Interfaces and Inheritance
ACM Transactions on Programming Languages and Systems (TOPLAS)
TFP'10 Proceedings of the 11th international conference on Trends in functional programming
A comparison of generic template support: ada, C++, C#, and javaTM
Ada-Europe'10 Proceedings of the 15th Ada-Europe international conference on Reliable Software Technologies
Type checking annotation-based product lines
ACM Transactions on Software Engineering and Methodology (TOSEM)
A variability-aware module system
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
| Hi-index | 0.00 |