|
1
|
Compound Types: Strong Typing for Architecture Composition
– Wolfgang Weck, Martin Büchi
- 1998
|
|
6
|
Java needs compound types
– Martin Büchi, Wolfgang Weck
- 1998
|
|
34
|
The Greybox Approach: When Blackbox Specifications Hide Too Much
– Martin Büchi, Wolfgang Weck
- 1999
|
|
39
|
Generic Wrappers
– Martin Büchi, Wolfgang Weck
- 2000
|
|
4
|
Nominal and Structural Subtyping in Component-Based Programming
– Klaus Ostermann
|
|
3
|
The Diesel language specification and rationale: Version 0.2
– Craig Chambers
- 2006
|
|
11
|
Machine-checking the Java Specification: Proving Type-Safety
– David von Oheimb, Tobias Nipkow
- 1998
|
|
1
|
Developments in Object-Oriented Type Systems
– Michael I. Schwartzbach, C Fl Michael I. Schwartzbach
- 1994
|
|
2
|
Component-Oriented Programming in Object-Oriented Languages
– Peter H. Fröhlich, Michael Franz
- 1999
|
|
96
|
Automatic Program Transformation with JOIE
– Geoff A. Cohen, Jeffrey S. Chase, David L. Kaminsky
- 1998
|
|
57
|
Byte Code Engineering
– Markus Dahm
- 1999
|
|
3
|
Orthogonal to the Java Imperative
– Suad Alagic, Jose Solorzano, David Gitchell
- 1998
|
|
58
|
Intersection Types and Computational Effects
– Rowan Davies, Frank Pfenning
- 2000
|
|
17
|
On variance-based subtyping for parametric types
– Atsushi Igarashi, Mirko Viroli
- 2002
|
|
1
|
COMEL: A Formal Model for COM
– Rosziati Ibrahim
- 1998
|
|
11
|
Fast Portable Orthogonally Persistent Java
– Alonso Marquez, John N Zigman, Stephen M Blackburn
- 1999
|
|
75
|
Subtypes vs. Where Clauses: Constraining Parametric Polymorphism
– Mark Day, Robert Gruber, Barbara Liskov, Andrew C. Myers
- 1995
|
|
6
|
Beyond Objects: Objects
– Dennis Tsichritzis, Oscar Nierstrasz, Simon Gibbs
- 1992
|
|
11
|
Engineering Modeling and Analysis: Sound Methods and Effective Tools
– David Coppit
- 2003
|
