James K. Huggins

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

	2010
c8		James K. Huggins, Charles Wallace: Abstract State Machines and the Inquiry Process. Fields of Logic and Computation 2010: 405-413
	2009
j4		James K. Huggins: Engaging computer science students through cooperative education. SIGCSE Bulletin 41(4): 90-94 (2009)
	2003
c7		James K. Huggins, Jean Mayo, Charles Wallace: Teaching ASMs, Teaching with ASMs: Opportunities in Undergraduate Education. Abstract State Machines 2003: 414
	2000
c6		Steven C. Cater, James K. Huggins: An ASM Dynamic Semantics for Standard ML. Abstract State Machines 2000: 203-222
	1998
j3		E. Berger, James K. Huggins: Abstract State Machines 1988-1998: Commented ASM Bibliography. Bulletin of the EATCS 64 (1998)
j2		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)
i6		James K. Huggins: Broy-Lamport Specification Problem: A Gurevich Abstract State Machine Solution. CoRR cs.SE/9810022 (1998)
i5		Yuri Gurevich, James K. Huggins: Equivalence is in the Eye of the Beholder. CoRR cs.SE/9810023 (1998)
i4		Yuri Gurevich, James K. Huggins: Evolving Algebras and Partial Evaluation. CoRR cs.SE/9810024 (1998)
i3		James K. Huggins: An Offline Partial Evaluator for Evolving Algebras. CoRR cs.SE/9810025 (1998)
i2		Yuri Gurevich, James K. Huggins: The Railroad Crossing Problem: An Experiment with Instantaneous Actions and Immediate Reactions. CoRR cs.SE/9810026 (1998)
i1		Egon Börger, James K. Huggins: Abstract State Machines 1988-1998: Commented ASM Bibliography. CoRR cs.SE/9811014 (1998)
	1997
j1		Yuri Gurevich, James K. Huggins: Equivalence is in the Eye of the Beholder. Theor. Comput. Sci. 179(1-2): 353-380 (1997)
	1995
c5		Yuri Gurevich, James K. Huggins: The Railroad Crossing Problem: An Experiment with Instantaneous Actions and Immediate Reactions. CSL 1995: 266-290
	1994
c4		James K. Huggins: The assumptions of computing. Ethics in Computer Age 1994: 46-50
c3		Yuri Gurevich, James K. Huggins: Evolving Algebras and Partial Evaluation. IFIP Congress (1) 1994: 587-592
	1993
c2		Yuri Gurevich, James K. Huggins: ERRATA to "The Semantics of the C Programming Language". CSL 1993: 334-336
	1992
c1		Yuri Gurevich, James K. Huggins: The Semantics of the C Programming Language. CSL 1992: 274-308

Coauthor Index

1	E. Berger	[j3]
2	Egon Börger	[i1]
3	David Van Campenhout	[j2]
4	Steven C. Cater	[c6]
5	Yuri Gurevich	[i5] [i4] [i2] [j1] [c5] [c3] [c2] [c1]
6	Jean Mayo	[c7]
7	Charles Wallace	[c8] [c7]

Last update Sun May 19 03:46:59 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page