Concepedia

William Stoye

WS

Statistics

Publications

5

Citations

178

H-Index

5

Active since

1984

Affiliations

University of Cambridge(Current)

William Stoye is an author at University of Cambridge specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceComputer ArchitectureSystem SoftwareParallel ComputingFormal VerificationComputer EngineeringParallel ProgrammingSystem On Chip

Publications per year

1984–2021

5

Publications

5

Some practical methods for rapid combinator reduction

William Stoye, Tania Clarke, A. C. Norman · 1984 · 75 citations · Full text

Engineering, Compiler Technology, Computer Architecture +22

The implementation of functional languages using custom hardware

William Stoye · CL Technical Reports · 2021 · 40 citations · Full text

Message-based functional operating systems

William Stoye · Science of Computer Programming · 1986 · 28 citations

Engineering, Operating Systems, Message Passing +8

Using RTL-to-C++ translation for large SoC concurrent engineering: a case study

William Stoye, David Greaves, J. Green et al. · Electronic Systems and Software · 2003 · 21 citations

Hardware Modeling, Engineering, Hardware Verification Language +20

A new scheme for writing functional operating systems

William Stoye · CL Technical Reports · 2021 · 14 citations · Full text

1–5 of 5