Karen L. Bernstein

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1998

3 Karen L. Bernstein: A Congruence Theorem for Structured Operational Semantics of Higher-Order Languages. LICS 1998: 153-164

1995

2 Karen L. Bernstein, Eugene W. Stark: Formally Defining Debuggers: A Comparison of Three Approaches. AADEBUG 1995: 261-275

1 EE Karen L. Bernstein, Eugene W. Stark: Operational semantics of a focusing debugger. Electr. Notes Theor. Comput. Sci. 1: (1995)

1998
3		Karen L. Bernstein: A Congruence Theorem for Structured Operational Semantics of Higher-Order Languages. LICS 1998: 153-164
1995
2		Karen L. Bernstein, Eugene W. Stark: Formally Defining Debuggers: A Comparison of Three Approaches. AADEBUG 1995: 261-275
1	EE	Karen L. Bernstein, Eugene W. Stark: Operational semantics of a focusing debugger. Electr. Notes Theor. Comput. Sci. 1: (1995)

Coauthor Index

1 Eugene W. Stark [1] [2]