Joseph E. Stoy

发表

λS: An implicitly parallel λ-calculus with recursive bindings, synchronization and side effects

Arvind, Rishiyur S. Nikhil, Jan-Willem Maessen, 1998 .

Semantics of barriers in a non-strict, implicitly-parallel language

Arvind, Joseph E. Stoy, Shail Aditya, 1995, FPCA '95.

OS6 - an experimental operating system for a small computer. Part 2: input/output and filing system

Christopher Strachey, Joseph E. Stoy, 1972, Comput. J..

Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory

Joseph E. Stoy, J. Stoy, 1981 .

A Lambda Calculus with Letrecs and Barriers

Arvind, Rishiyur S. Nikhil, Jan-Willem Maessen, 1996, FSTTCS.

OS6 - an experimental operating system for a small computer. Part 1: general principles and structure

Christopher Strachey, Joseph E. Stoy, C. Strachey, 1972, Comput. J..

Os6: an operating system for a small computer

Christopher Strachey, Joseph E. Stoy, 1972 .

Proofs of Correctness of Cache-Coherence Protocols

Xiaowei Shen, Arvind, Joseph E. Stoy, 2001, FME.

LambdaS: an implicitly parallel lambda-calculus with letrec, synchronization and side-effects

Arvind, Rishiyur S. Nikhil, Jan-Willem Maessen, 1998, Electron. Notes Theor. Comput. Sci..

Reliable design with multiple clock domains

Joseph E. Stoy, Ravi Nanavati, E. Czeck, 2006, Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings..

Christopher Strachey and Fundamental Concepts

Joseph E. Stoy, J. Stoy, 2000, High. Order Symb. Comput..

Foundations of Denotational Semantics

Joseph E. Stoy, 1979, Abstract Software Specifications.

Proceedings of the fourth international conference on Functional programming languages and computer architecture

Joseph E. Stoy, 1989 .

The Congruence of two Programming Language Definitions

Joseph E. Stoy, J. Stoy, 1981, Theor. Comput. Sci..

Vim: an experimental multi-user system supporting functional programming

Jack B. Dennis, Joseph E. Stoy, B. Guharoy, 1984 .