| |
In PLDI '99: Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation (1999), pp. 25-36.
|
| |
In PLDI '01: Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation (2001), pp. 274-285.
|
| |
Software Reliability Engineering, 1999. Proceedings. 10th International Symposium on In Software Reliability Engineering, 1999. Proceedings. 10th International Symposium on (1999), pp. 52-61.
|
| |
C/C++ Users J., Vol. 19, No. 5. (May 2001), pp. 66-72.
|
| |
C/C++ Users J., Vol. 19, No. 2. (February 2001), pp. 80-86.
|
| |
C/C++ Users J., Vol. 19, No. 2. (February 2001), pp. 8-16.
|
| |
In SELMAS '06: Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems (2006), pp. 37-44.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 7, No. 2. (1985), pp. 214-243.
|
| |
Journal of Systems and Software, Vol. 59, No. 2. (15 November 2001), pp. 197-222.
|
| |
|
| |
|
| |
|
| |
|
| |
: FM 2005: Formal Methods (2005), pp. 350-365.
|
| |
Computer Supported Cooperative Work (CSCW), Vol. 9, No. 3. (1 November 2000), pp. 269-292.
|
| |
ESOP 86 (1986), pp. 173-186.
|
| |
|
| |
In Conference on Cooperative Information Systems (1999), pp. 115-126.
|
| |
ACM Trans. Inf. Syst., Vol. 13, No. 2. (April 1995), pp. 206-233.
|
| |
Database and Expert Systems Applications, 1997. Proceedings., Eighth International Workshop on In Database and Expert Systems Applications, 1997. Proceedings., Eighth International Workshop on (1997), pp. 42-48.
|
| |
Distributed and Parallel Databases, Vol. 13, No. 3. (1 May 2003), pp. 271-306.
|
| |
World Wide Web, Vol. 6, No. 1. (1 March 2003), pp. 49-91.
|
| |
SIGPLAN Not., Vol. 40, No. 8. (August 2005), pp. 34-39.
|
| |
Advanced Topics in Exception Handling Techniques (2006), pp. 200-220.
|
| |
The Computer Journal, Vol. 47, No. 6. (1 June 2004), pp. 651-661.
|
| |
ECOOP 2007 – Object-Oriented Programming (2007), pp. 151-175.
|
| |
J. Syst. Softw., Vol. 59, No. 2. (November 2001), pp. 197-222.
|
| |
Theoretical Aspects of Computing – ICTAC 2007 (2007), pp. 260-274.
|
| |
Concurr. Comput. : Pract. Exper., Vol. 20, No. 3. (March 2008), pp. 297-309.
|
| |
In PPPJ '07: Proceedings of the 5th international symposium on Principles and practice of programming in Java (2007), pp. 175-184.
|
| |
Journal of Systems Architecture, Vol. 47, No. 9. (March 2002), pp. 763-781.
|
| |
SIGOPS Oper. Syst. Rev., Vol. 34, No. 4. (October 2000), pp. 21-31.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004), Vol. 105 (10 December 2004), pp. 133-145.
|
| |
Scientific Engineering of Distributed Java Applications (2005), pp. 58-67.
|
| |
In ERLANG '04: Proceedings of the 2004 ACM SIGPLAN workshop on Erlang (2004), pp. 16-26.
|
| |
In WWW '05: Proceedings of the 14th international conference on World Wide Web (2005), pp. 170-179.
|
| |
e-Technology, e-Commerce and e-Service, 2005. EEE '05. Proceedings. The 2005 IEEE International Conference on (2005), pp. 68-74.
|
| |
: Advances in Exception Handling Techniques: (2001), 147.
|
| |
Software Engineering, IEEE Transactions on, Vol. 30, No. 12. (2004), pp. 1008-1022.
|
| |
Lecture Notes in Computer Science, Vol. 2022 (2001)
|
| |
|
| |
Commun. ACM, Vol. 18, No. 12. (December 1975), pp. 683-696.
|
| |
Distributed Computing Systems, 1998. Proceedings. 18th International Conference on (1998), pp. 12-21.
|
| |
IEEE Trans. Softw. Eng., Vol. 12, No. 8. (August 1986), pp. 811-826.
|
| |
: Advances in Exception Handling Techniques: (2001), 111.
|
| |
Softw. Pract. Exper., Vol. 23, No. 7. (July 1993), pp. 773-798.
|
| |
Software, IEEE, Vol. 23, No. 5. (2006), pp. 11-13.
|
| |
Formal Aspects of Computing, Vol. V7, No. 1. (1 January 1995), pp. 54-76.
|
| |
Object-Oriented Real-Time Distributed Computing, 2005. ISORC 2005. Eighth IEEE International Symposium on (2005), pp. 149-156.
|
| |
In SIGPLAN Conference on Programming Language Design and Implementation (2001), pp. 274-285.
|
Search
