 | 2010 |
|---|
| 18 |       | James K. Huggins,
Charles Wallace:
Abstract State Machines and the Inquiry Process.
Fields of Logic and Computation 2010: 405-413 |
| 2009 |
|---|
| 17 | | James K. Huggins:
Engaging computer science students through cooperative education.
SIGCSE Bulletin 41(4): 90-94 (2009) |
| 2003 |
|---|
| 16 | | James K. Huggins,
Jean Mayo,
Charles Wallace:
Teaching ASMs, Teaching with ASMs: Opportunities in Undergraduate Education.
Abstract State Machines 2003: 414 |
| 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page