Searching for authors named James Hook – sorted by Relevance.
-
Key Words in Context, an example
- e or s i o te t, a e a le James oo an ic ar ie urtz re on ra uate Institute hook@(email omitted); Jul
- Cited by 1 (0 self) – Add To MetaCart
-
AGENTS: An Architectural Construct to Support Distributed Simulation
- Lincoln Laboratory Daniel J. Van Hook, MIT Lincoln Laboratory 1.0 A Very Brief History of Distributed
- Cited by 12 (5 self) – Add To MetaCart
-
Dependently typing JVM method invocation
- James Hook hook@(email omitted); Code certi cation is a promising technique that supports secure and e cient
- Add To MetaCart
-
Type Safe Meta-Programming
- Type Safe Meta-Programming Tim Sheard & James Hook Oregon Graduate Institute of Science
- Cited by 1 (0 self) – Add To MetaCart
-
The Design of Message Specification Language
- The Design of Message Specification Language James Hook and Lisa Walton Pacific Software
- Cited by 4 (0 self) – Add To MetaCart
-
Design Automation: Making Formal Methods Relevant
- Design Automation: Making Formal Methods Relevant Lisa Walton and James Hook walton
- Cited by 1 (0 self) – Add To MetaCart
-
Monads, Indexes and Transformations
- Monads, Indexes and Transformations Fran��coise Bellegarde ? and James Hook ?? Pacific Software
- Cited by 1 (1 self) – Add To MetaCart
-
Message Specification Language (MSL): Reference Manual
- Message Specification Language (MSL): Reference Manual Revision: 1.9 Lisa Walton and James Hook
- Cited by 1 (1 self) – Add To MetaCart
-
Substitution: A formal methods case study using monads and transformations
- and James Hook Pacific Software Research Center Oregon Graduate Institute of Science & Technology PO Box
- Cited by 11 (3 self) – Add To MetaCart
-
A Semantics of Compile-time Reflection
- A Semantics of Compile-time Reflection James Hook and Tim Sheard Oregon Graduate Institute, Box
- Cited by 11 (4 self) – Add To MetaCart

