The following pages link to Dave Clarke (Q436386):
Displayed 26 items.
- A model of context-dependent component connectors (Q436387) (← links)
- Channel-based coordination via constraint satisfaction (Q541681) (← links)
- A correspondence between type checking via reduction and type checking via evaluation (Q763480) (← links)
- Fully abstract trace semantics for protected module architectures (Q1749116) (← links)
- Vats: a safe, reactive storage abstraction (Q2026789) (← links)
- Connector colouring. I: Synchronisation and context dependency (Q2373643) (← links)
- (Q2779232) (← links)
- Coordination Models Orc and Reo Compared (Q2866319) (← links)
- Gradual Ownership Types (Q2892752) (← links)
- Towards Incrementalization of Holistic Hyperproperties (Q2894331) (← links)
- Calculating Graph Algorithms for Dominance and Shortest Path (Q2908564) (← links)
- Modular Modelling of Software Product Lines with Feature Nets (Q3095246) (← links)
- Tiles for Reo (Q3184723) (← links)
- Featherweight generic confinement (Q3426137) (← links)
- A Secure Compiler for ML Modules (Q3460898) (← links)
- Coordination: Reo, Nets, and Logic (Q3603000) (← links)
- (Q4250669) (← links)
- (Q4816997) (← links)
- (Q5150072) (← links)
- Deconstructing <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="script">R</mml:mi><mml:mi mathvariant="sans-serif">eo</mml:mi></mml:math> (Q5179204) (← links)
- Concurrent Objects à la Carte (Q5187829) (← links)
- Dependency-style generic haskell (Q5261272) (← links)
- (Q5457269) (← links)
- FM 2005: Formal Methods (Q5716914) (← links)
- Abstract delta modelling (Q5740631) (← links)
- A Complete Guide to the Future (Q5756504) (← links)