SafeTSA: A type safe and referentially secure mobile-code representation based on static single assignment form, Proceedings of the ACM SIGPLAN'01 Conference on Programming Language Design and Implementation, pp.137-147, 2001. ,
Modern Compiler Implementation in Java, 1998. ,
DOI : 10.1017/CBO9780511811432
Practical Improvements to the Construction and Destruction of Static Single Assignment Form. Software Practice and Experience, pp.859-881, 1998. ,
Simple Smalltalk Testing With Patterns. unpublis- hed ,
DOI : 10.1017/cbo9780511574979.033
Inside AOStA, 2003. ,
Efficiently computing static single assignment form and the control dependence graph, ACM Transactions on Programming Languages and Systems, vol.13, issue.4, pp.451-490, 1991. ,
DOI : 10.1145/115372.115320
Design Patterns, 1997. ,
Smalltalk-80: The Language and Its Implementation, 1983. ,
Compiler Construction, 1984. ,
Adaptive Optimization for SELF: Reconciling High Performance with Exploratory Programming, 1994. ,
Back to the Future: The Story of Squeak, A Practical Smalltalk Written in Itself, Conference Proceedings of OOPSLA '97 ACM SIGPLAN Notices, pp.318-326, 1997. ,
A Tree-Based Alternative to Java Byte-Codes, 1996. ,
The mechanical evaluation of expressions, Computer J, vol.6, issue.4, 1964. ,
A Sketch for an Adaptive Optimizer for Smalltalk written in Smalltalk. unpublished, 2002. ,
Paradigm Regained: Abstraction Mechanisms for Access Control, 2003. ,
Mindstorms: Children, Computer and Powerful Ideas, Basic Books, 1980. ,
DOI : 10.1007/978-3-0348-5357-6
Translating Out of Static Single Assignment Form, Proceedings of the 6th International Symposium on Static Analysis, pp.194-210, 1999. ,
Croquet, A Collaboration System Architecture, C5: Conference on Creating, Connecting and Collaborating through Computing, 2003. ,