( en | de | ru )

 

Disambiguation of "Reid, Alastair"

Author of the publication

copydeleteadd this publication to your clipboard
Knit: Component Composition for Systems Software.

, , , , and . OSDI, page 347-360. USENIX Association, (2000)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Alastair Walker

Alastair Barrow

Albert Reid

Duncan Reid

Alastair Faulkner

 

Other publications of authors with the same name

Putting the Spine Back in the Spineless Tagless G-Machine: An Implementation of Resumable Black-Holes.. IFL, volume 1595 of Lecture Notes in Computer Science, page 186-199. Springer, (1998)A Semantics for Imprecise Exceptions., , , , and . PLDI, page 25-36. ACM, (1999)Teleworking. NCC Blackwell, Manchester u.a., (1994)Implementing Fudgets with Standard Widget Sets., and . Functional Programming, page 222-235. Springer, (1993)Static and dynamic structure in design patterns., , , and . ICSE, page 208-218. ACM, (2002)Designing Data Structures.. Functional Programming, page 170-181. Springer, (1989)HOIST: a system for automatically deriving static analyzers for embedded systems., and . ASPLOS, page 133-143. ACM, (2004)Evolving real-time systems using hierarchical scheduling and concurrency analysis., , , , and . RTSS, page 25-36. IEEE Computer Society, (2003)Prototyping Real-Time Vision Systems: An Experiment in DSL Design., , , and . ICSE, page 484-493. ACM, (1999)End-to-End Verification of Processors with ISA-Formal., , , , , , , , , and . CAV (2), volume 9780 of Lecture Notes in Computer Science, page 42-58. Springer, (2016)