Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Joseph E. Stoy

> Home > Persons

Person information

affiliation: Bluespec Inc., USA
affiliation: Oxford University, Computing Laboratory, UK

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2000
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Stoy00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/Stoy00
Joseph E. Stoy:
Christopher Strachey and Fundamental Concepts. High. Order Symb. Comput. 13(1/2): 115-117 (2000)
1981
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Stoy81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Stoy81
Joseph E. Stoy:
The Congruence of two Programming Language Definitions. Theor. Comput. Sci. 13: 151-174 (1981)
1972
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/cj/StoyS72
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cj/StoyS72
Joseph E. Stoy, Christopher S. Strachey:
OS6 - an experimental operating system for a small computer. Part 1: general principles and structure. Comput. J. 15(2): 117-124 (1972)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/cj/StoyS72a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cj/StoyS72a
Joseph E. Stoy, Christopher S. Strachey:
OS6 - an experimental operating system for a small computer. Part 2: input/output and filing system. Comput. J. 15(3): 195-203 (1972)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2006
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/CzeckNS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/CzeckNS06
E. Czeck, Ravi Nanavati, Joseph E. Stoy:
Reliable design with multiple clock domains. MEMOCODE 2006: 139-148
2001
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/StoySA01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/StoySA01
Joseph E. Stoy, Xiaowei Shen, Arvind:
Proofs of Correctness of Cache-Coherence Protocols. FME 2001: 43-71
1998
[c4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/ArvindMNS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ArvindMNS98
Arvind, Jan-Willem Maessen, Rishiyur S. Nikhil, Joseph E. Stoy:
LambdaS: an implicitly parallel lambda-calculus with letrec, synchronization and side-effects. HLCL 1998: 265-290
1996
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/ArvindMNS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/ArvindMNS96
Arvind, Jan-Willem Maessen, Rishiyur S. Nikhil, Joseph E. Stoy:
A Lambda Calculus with Letrecs and Barriers. FSTTCS 1996: 19-36
1995
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/fpca/AdityaAS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fpca/AdityaAS95
Shail Aditya, Arvind, Joseph E. Stoy:
Semantics of Barriers in a Non-Strict, Implicitly-Parallel Language. FPCA 1995: 204-215
1979
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/ac/Stoy79
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Stoy79
Joseph E. Stoy:
Foundations of Denotational Semantics. Abstract Software Specifications 1979: 43-99

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

1989
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/fpca/1989
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fpca/1989
Joseph E. Stoy:
Proceedings of the fourth international conference on Functional programming languages and computer architecture, FPCA 1989, London, UK, September 11-13, 1989. ACM 1989, ISBN 0-201-51389-7 [contents]

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.