| |
ECOOP 2009 – Object-Oriented Programming In Genoa: Proceedings of the 23rd European Conference on ECOOP 2009 --- Object-Oriented Programming (2009), pp. 294-317.
|
| |
Softw. Pract. Exper., Vol. 37, No. 6. (2007), pp. 581-641.
|
| |
Electron. Notes Theor. Comput. Sci., Vol. 190, No. 1. (2007), pp. 35-50.
|
| |
Trustworthy Global Computing (2008), pp. 57-72.
|
| |
In ECOOP '00: Proceedings of the 14th European Conference on Object-Oriented Programming (2000), pp. 313-336.
|
| |
|
| |
J. Autom. Reason., Vol. 30, No. 3-4. (2003), pp. 235-269.
|
| |
In CC '02: Proceedings of the 11th International Conference on Compiler Construction (2002), pp. 111-127.
|
| |
Static Analysis (2000), pp. 143-155.
|
| |
In In Proceedings of the 3rd Conference on Object-Oriented Technologies and Systems (1997), pp. 1-20.
|
| |
In CASCON '99: Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative research (1999), 13.
|
| |
Compiler Construction (2008), pp. 197-212.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 21, No. 6. (1999), pp. 1196-1250.
|
| |
Theor. Comput. Sci., Vol. 364, No. 3. (November 2006), pp. 273-291.
|
| |
J. Autom. Reason., Vol. 30, No. 3-4. (2003), pp. 271-321.
|
| |
In COOTS'97: Proceedings of the 3rd conference on USENIX Conference on Object-Oriented Technologies (COOTS) (1997), pp. 14-14.
|
| |
In CADE-18: Proceedings of the 18th International Conference on Automated Deduction (2002), pp. 63-77.
|
| |
In E-SMART '01: Proceedings of the International Conference on Research in Smart Cards (2001), pp. 150-164.
|
| |
Journal of Automated Reasoning, Vol. 31, No. 3. (13 November 2003), pp. 303-334.
|
| |
In COMPSAC '00: 24th International Computer Software and Applications Conference (2000), pp. 486-491.
|
| |
In SIGPLAN Conference on Programming Language Design and Implementation (1998), pp. 291-300.
|
| |
In Proceedings of the ACM {SIGPLAN} International Conference on Functional Programming ({ICFP} '98), Vol. 34(1) (1999), pp. 129-140.
|
| |
In SCAM '05: Proceedings of the Fifth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'05) (2005), pp. 35-44.
|
| |
In Proceedings of the Fourth ACM Conference on Computer and Communications Security (1997)
|
| |
In Proceedings of the 32th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL'05) (2005)
|
| |
|
| |
Source Code Analysis and Manipulation, 2003. Proceedings. Third IEEE International Workshop on, Vol. 00 (2003), pp. 108-117.
|
| |
In SAS '00: Proceedings of the 7th International Symposium on Static Analysis (2000), pp. 199-219.
|
| |
In Conference Record of POPL 98: The 25TH {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages, San Diego, California (1998), pp. 149-160.
|
| |
In Workshop ``Formal Underpinnings of the Java Paradigm'', OOPSLA'98 (1998)
|
| |
ACM Transactions on Programming Languages and Systems, Vol. 22, No. 4. (2000), pp. 638-672.
|
| |
In Formal Syntax and Semantics of Java (1999), pp. 271-312.
|
| |
|
| |
In POPL '99: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1999), pp. 70-78.
|
| |
Theor. Comput. Sci., Vol. 298, No. 3. (April 2003), pp. 583-626.
|
| |
Lecture Notes in Computer Science, Vol. 2140 (2001)
|
| |
ACM Transactions on Programming Languages and Systems, Vol. 21, No. 6. (1999), pp. 1196-1250.
|
| |
Lecture Notes in Computer Science, Vol. 2102 (2001)
|
Search
