Abstraction-based software development
Communications of the ACM
IDL: sharing intermediate representations
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Information Systems (TOIS)
An introduction to Trellis/Owl
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
A Smalltalk system for algebraic manipulation
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Language support for changeable large real time systems
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
The type inference and coercion facilities in the scratchpad II interpreter
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
Efficient interpretation of synchronizable series expressions
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
Managing stack frames in Smalltalk
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
The Trellis programming environment
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
An information system based on distributed objects
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Modules and type checking in PL/LL
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Abstract types have existential type
ACM Transactions on Programming Languages and Systems (TOPLAS)
IEEE Transactions on Software Engineering
A performance comparison of object and relational databases using the Sun Benchmark
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
Intensional concepts in an object database model
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
AVANCE: an object management system
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
Keynote address - data abstraction and hierarchy
OOPSLA '87 Addendum to the proceedings on Object-oriented programming systems, languages and applications (Addendum)
Objects as closures: abstract semantics of object-oriented languages
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
IEEE Transactions on Software Engineering
XE design rationale: Clu revisited
ACM SIGPLAN Notices
Debugging of heterogeneous parallel systems
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
Static type inference for parametric classes
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Dynamic typing in a statically-typed language
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Linguistic support for atomic data types
ACM Transactions on Programming Languages and Systems (TOPLAS)
Implementing Remote Evaluation
IEEE Transactions on Software Engineering
ACM Transactions on Programming Languages and Systems (TOPLAS)
Static dependent types for first class modules
LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
Design of the Mneme persistent object store
ACM Transactions on Information Systems (TOIS)
Dynamic typing in a statically typed language
ACM Transactions on Programming Languages and Systems (TOPLAS)
An ad hoc approach to the implementation of polymorphism
ACM Transactions on Programming Languages and Systems (TOPLAS)
A comparison of module constructs in programming languages
ACM SIGPLAN Notices
Waveform moment methods for improved interconnection analysis
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
Language Design for Program Manipulation
IEEE Transactions on Software Engineering
A Case Study of CES: A Distributed Collaborative Editing System Implemented in Argus
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Monitors and concurrent Pascal: a personal history
HOPL-II The second ACM SIGPLAN conference on History of programming languages
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Iterators: signs of weakness in object-oriented languages
ACM SIGPLAN OOPS Messenger
Specifications and their use in defining subtypes
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Cache performance of garbage-collected programs
PLDI '94 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation
Suggestion for a parametrized class model
ACM SIGPLAN OOPS Messenger
Linkage in the Nemesis single address space operating system
ACM SIGOPS Operating Systems Review
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
A behavioral notion of subtyping
ACM Transactions on Programming Languages and Systems (TOPLAS)
The object oriented model and its advantages
ACM SIGPLAN OOPS Messenger
Aspect: detecting bugs with abstract dependences
ACM Transactions on Software Engineering and Methodology (TOSEM)
Typechecking and modules for multimethods
ACM Transactions on Programming Languages and Systems (TOPLAS)
Adding type parameterization to the Java language
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Software Reuse by Specialization of Generic Procedures through Views
IEEE Transactions on Software Engineering
A decentralized model for information flow control
Proceedings of the sixteenth ACM symposium on Operating systems principles
Dynamic typing for distributed programming in polymorphic languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
A design by example regular structure generator
DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference
Minplex—a compactor that minimizes the bounding rectangle and individual rectangles in a layout
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
Abstract types have existential types
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Integrating functional and imperative programming
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
The structuring of systems using upcalls
Proceedings of the tenth ACM symposium on Operating systems principles
Why properties are objects or some refinements of “is-a”
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Guardians and Actions: Linguistic Support for Robust, Distributed Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
The coming-of-age of software architecture research
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
ACM SIGPLAN Notices
Mayflower: a distributed, object-oriented programming system
EW 2 Proceedings of the 2nd workshop on Making distributed systems work
Replication, reconfiguration, and the Argus mail repository
EW 2 Proceedings of the 2nd workshop on Making distributed systems work
The Bugnet distributed debugging system
EW 2 Proceedings of the 2nd workshop on Making distributed systems work
Modular mixin-based inheritance for application frameworks
OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Atomic data abstractions in a distributed collaborative editing system
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Representation independence and data abstraction
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Guardians and actions: linguistic support for robust, distributed programs
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Type-Safe linking with recursive DLLs and shared libraries
ACM Transactions on Programming Languages and Systems (TOPLAS)
Preserving Abstraction in Concurrent Programming
IEEE Transactions on Software Engineering
CSCW '86 Proceedings of the 1986 ACM conference on Computer-supported cooperative work
Existential Types for Imperative Languages
ESOP '02 Proceedings of the 11th European Symposium on Programming Languages and Systems
Copying and Comparing: Problems and Solutions
ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
Automatic Removal of Array Memory Leaks in Java
CC '00 Proceedings of the 9th International Conference on Compiler Construction
Programming methodology
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Paragon: Novel uses of type hierarchies for data abstraction
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
On the semantic structure of information - A proposal of the abstract storage architecture
ISCA '82 Proceedings of the 9th annual symposium on Computer Architecture
A new program structure to improve accuracy and readability of pascal software
ICSE '84 Proceedings of the 7th international conference on Software engineering
ACM '78 Proceedings of the 1978 annual conference
Secure application environments in APL\3000
APL '79 Proceedings of the international conference on APL: part 1
A language for computational algebra
SYMSAC '81 Proceedings of the fourth ACM symposium on Symbolic and algebraic computation
Primitives for distributed computing
SOSP '79 Proceedings of the seventh ACM symposium on Operating systems principles
Resource management in a decentralized system
SOSP '83 Proceedings of the ninth ACM symposium on Operating systems principles
Script: A communication abstraction mechanism
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
Specification and implementation of resilient, atomic data types
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
Descartes: A programming-language approach to interactive display interfaces
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
SIGPLAN '79 Proceedings of the 1979 SIGPLAN symposium on Compiler construction
A hierarchical structuring method for functional software systems
ICSE '82 Proceedings of the 6th international conference on Software engineering
Transparent microprogramming in support of abstract type oriented dynamic vertical migration
MICRO 17 Proceedings of the 17th annual workshop on Microprogramming
Script: a communication abstraction mechanism
ACM SIGOPS Operating Systems Review
The "simplest functional programming language" is neither simple nor functional
ACM SIGPLAN Notices
Prettyprinting styles for various languages
ACM SIGPLAN Notices
A survivable distributed computing system for embedded application programs written in Ada
ACM SIGAda Ada Letters
Scalable extensibility via nested inheritance
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Monitors and Concurrent Pascal: a personal history
History of programming languages---II
History of programming languages---II
CCured: type-safe retrofitting of legacy software
ACM Transactions on Programming Languages and Systems (TOPLAS)
Simplify: a theorem prover for program checking
Journal of the ACM (JACM)
Encyclopedia of Computer Science
Encyclopedia of Computer Science
Parametric polymorphism for software component architectures
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Quantified types in an imperative language
ACM Transactions on Programming Languages and Systems (TOPLAS)
A technique for generic iteration and its optimization
Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming
Exception Handlers as Extensible Cases
APLAS '08 Proceedings of the 6th Asian Symposium on Programming Languages and Systems
A prototyping environment for real-time graphics
AFIPS '84 Proceedings of the July 9-12, 1984, national computer conference and exposition
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
On understanding data abstraction, revisited
Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
A Design for Type-Directed Programming in Java
Electronic Notes in Theoretical Computer Science (ENTCS)
Theory and Practice of Logic Programming - Prolog Systems
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Reconciling exhaustive pattern matching with objects
Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation
| Hi-index | 0.02 |