Searching for authors named James Hook – sorted by Relevance.
37 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
