 | 2000 |
|---|
| 15 |       | Steven C. Cater,
James K. Huggins:
An ASM Dynamic Semantics for Standard ML.
Abstract State Machines 2000: 203-222 |
| 1998 |
|---|
| 14 | | James K. Huggins,
David Van Campenhout:
Specification and verification of pipelining in the ARM2 RISC microprocessor.
ACM Trans. Design Autom. Electr. Syst. 3(4): 563-580 (1998) |
| 13 |  | E. Berger,
James K. Huggins:
Abstract State Machines 1988-1998: Commented ASM Bibliography.
Bulletin of the EATCS 64: (1998) |
| 12 | | James K. Huggins:
Broy-Lamport Specification Problem: A Gurevich Abstract State Machine Solution
CoRR cs.SE/9810022: (1998) |
| 11 | | Yuri Gurevich,
James K. Huggins:
Equivalence is in the Eye of the Beholder
CoRR cs.SE/9810023: (1998) |
| 10 | | Yuri Gurevich,
James K. Huggins:
Evolving Algebras and Partial Evaluation
CoRR cs.SE/9810024: (1998) |
| 9 | | James K. Huggins:
An Offline Partial Evaluator for Evolving Algebras
CoRR cs.SE/9810025: (1998) |
| 8 | | Yuri Gurevich,
James K. Huggins:
The Railroad Crossing Problem: An Experiment with Instantaneous Actions and Immediate Reactions
CoRR cs.SE/9810026: (1998) |
| 7 | | Egon Börger,
James K. Huggins:
Abstract State Machines 1988-1998: Commented ASM Bibliography
CoRR cs.SE/9811014: (1998) |
| 1997 |
|---|
| 6 | | Yuri Gurevich,
James K. Huggins:
Equivalence is in the Eye of the Beholder.
Theor. Comput. Sci. 179(1-2): 353-380 (1997) |
| 1995 |
|---|
| 5 | | Yuri Gurevich,
James K. Huggins:
The Railroad Crossing Problem: An Experiment with Instantaneous Actions and Immediate Reactions.
CSL 1995: 266-290 |
| 1994 |
|---|
| 4 | | James K. Huggins:
The assumptions of computing.
Ethics in Computer Age 1994: 46-50 |
| 3 | | Yuri Gurevich,
James K. Huggins:
Evolving Algebras and Partial Evaluation.
IFIP Congress (1) 1994: 587-592 |
| 1993 |
|---|
| 2 | | Yuri Gurevich,
James K. Huggins:
ERRATA to "The Semantics of the C Programming Language".
CSL 1993: 334-336 |
| 1992 |
|---|
| 1 | | Yuri Gurevich,
James K. Huggins:
The Semantics of the C Programming Language.
CSL 1992: 274-308 |
