|
|
Update Plans: Semantics: An Introduction
– Hugh R. Osborne
- 1991
|
|
4
|
From Processor Timing Specifications to Static Instruction Scheduling
– Ed Harcourt, Jon Mauney, Todd Cook
- 1994
|
|
5
|
Formal Specification and Simulation of Instruction-Level Parallelism
– Ed Harcourt, Jon Mauney, Todd Cook
- 1994
|
|
2
|
Classical Coordination Mechanisms in the Chemical Model
– J. -p. Banâtre, P. Fradet, Y. Radenac, In Memory Of Gilles Kahn
|
|
1
|
Verifying Multran Programs With Temporal Logic
– Wanli Ma, Mehmet Orgun
- 1995
|
|
12
|
Gamma And The Chemical Reaction Model
– Jean-Pierre Banâtre, Daniel Le Métayer
- 1996
|
|
33
|
Gamma And The Chemical Reaction Model: Ten Years After
– J.-P. Banâtre, D. Le Métayer
|
|
35
|
Software Architecture Styles as Graph Grammars
– Daniel Le Metayer
- 1996
|
|
|
A Crowd of Little Man Computers: Visual Computer Simulator Teaching Tools
– B. A. Peters, Hugh Osborne, J. S. Smith, D. J. Medeiros, M. W. Rohrer, William Yurcik
- 2001
|
|
13
|
A system for generating static analyzers for machine instructions
– Junghee Lim, Thomas Reps
- 2008
|
|
2
|
SimGen: Development of Efficient Instruction Set Simulators
– Fredrik Larsson, Peter Magnusson, Bengt Werner
- 1997
|
|
28
|
The HDG-Machine: A Highly Distributed Graph-Reducer for a Transputer Network
– Hugh Kingdon, David R. Lester, Geoffrey L. Burn
- 1991
|
|
17
|
Linearity and Laziness
– David Wakeling, Colin Runciman
- 1990
|
|
7
|
Implementing the Evaluation Transformer Model of Reduction on Parallel Machines
– G. L. Burn
- 1991
|
|
4
|
Characterising the Design Space for LINDA Semantics
– Duncan K.G. Campbell, Hugh R. Osborne, Alan M. Wood
- 1997
|
|
3
|
A Treatment of Higher-Order Features in Logic Programming
– Gopalan Nadathur
- 2003
|
|
21
|
On the Interaction of Lazy Evaluation and Backtracking
– Werner Hans, Rita Loogen, Stephan Winkler
- 1992
|
|
|
Implementation Issues for Functional Logic Programming
– Herbert Kuchen, In E. G. Alf
|
|
6
|
Towards the uniform implementation of declarative languages
– Manuel M. T. Chakravarty, Hendrik C. R. Lock
- 1997
|
