| |
In PASTE '01: Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering (2001), pp. 90-96.
|
| |
|
| |
IEEE Transactions on Parallel and Distributed Systems, Vol. 1, No. 3. (1990), pp. 365-376.
|
| |
|
| |
Theoretical Computer Science, Vol. 110, No. 2. (1993), pp. 249-339.
|
| |
ACM SIG\-PLAN Notices, Vol. 36, No. 3. (2001), pp. 128-141.
|
| |
In Proc. First Symposium on Networked Systems Design and Implementation (NSDI '04) (March 2004)
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
IEEE Transactions on Software Engineering (TSE), Vol. 30, No. 6. (June 2004), pp. 388-402.
|
| |
|
| |
|
| |
Lecture Notes in Computer Science, Vol. 2076 (2001), pp. 261-??.
|
| |
|
| |
Computational Linguistics, Vol. 22, No. 2. (1996), pp. 255-264.
|
| |
International Journal on Digital Libraries, Vol. 1, No. 1. (1997), pp. 68-88.
|
| |
In Principles Practice of Parallel Programming (1993), pp. 1-12.
|
| |
In Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Langauges (POPL '97) (January 1997), pp. 106-119.
|
| |
|
| |
In Proceedings of the Fifth International Conference on Logic Programming (1988), pp. 1070-1080.
|
| |
|
| |
|
| |
In LFP '84: Proceedings of the 1984 ACM Symposium on LISP and functional programming (1984), pp. 293-298.
|
| |
In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 110-115.
|
| |
In The Computer Science and Engineering Handbook (1997)
|
| |
In The Computer Science and Engineering Handbook (1997)
|
| |
Lecture Notes in Computer Science, Vol. 2102 (2001)
|
| |
In Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 2: Deduction Methodologies (1994), pp. 229-321.
|
| |
In Handbook of Logic in Computer Science Volume 3 (1994), pp. 1-168.
|
| |
Bulletin of the EATCS, Vol. 59 (June 1996), pp. 227-256.
|
| |
In Proceedings of the 1990 ACM Conference on LISP and Functional Programming, Nice (1990), pp. 61-78.
|
| |
In Proof, Language and Interaction: Essays in Honour of Robin Milner (2000)
|
| |
In Handbook of Logic in Computer Science, Volumes 1 (Background: Mathematical Structures) and 2 (Background: Computational Structures), Abramsky \& Gabbay \& Maibaum (Eds.), Clarendon, Vol. 2 (1992)
|
| |
ACM Transactions on Mathematical Software, Vol. 22, No. 4. (1996), pp. 469-483.
|
| |
In Proceedings of the 22nd Annual ACM Symposium on Theory of Computing (May 14--16 1990: Baltimore, {MD}, {USA}) (1990), pp. 235-243.
|
| |
|
| |
ACM Computing Surveys, Vol. 28, No. 4. (1996), pp. 626-643.
by Edmund M. Clarke, Jeannette M. Wing, Rajeev Alur, et al.Rance Cleaveland, David Dill, Allen Emerson, Stephen Garland, Steven German, John Guttag, Anthony Hall, Thomas Henzinger, Gerard Holzmann, Cliff Jones, Robert Kurshan, Nancy Leveson, Kenneth Mcmillan, J. Moore, Doron Peled, Amir Pnueli, John Rushby, Natarajan Shankar, Joseph Sifakis, Prasad Sistla, Bernhard Steffen, Pierre Wolper, Jim Woodcock, Pamela Zave
|
| |
In Formal Description of Programming Concepts (1991), pp. 431-507.
|
| |
|
| |
In Proceedings 5th ACM Conf.\ on Functional Programming Languages and Computer Architecture, {FPCA}'91, Cambridge, {MA}, {USA}, 26--30 Aug 1991, Vol. 523 (1991), pp. 124-144.
|
| |
J. ACM, Vol. 27, No. 1. (January 1980), pp. 164-180.
|
| |
In Implementation of Functional Languages (1999), pp. 37-58.
|
| |
|
| |
In Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) (1990), pp. 243-320.
|
| |
|
| |
In POPL '99: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1999), pp. 214-227.
|
Search
