Karen L. Bernstein

Publication Activity (10 Years)

Years Active: 1995-1998
Publications (10 Years): 0

Publications

Karen L. Bernstein
A Congruence Theorem for Structured Operational Semantics of Higher-Order Languages. LICS (1998)
Karen L. Bernstein, Eugene W. Stark
Operational semantics of a focusing debugger. MFPS (1995)
Karen L. Bernstein, Eugene W. Stark
Formally Defining Debuggers: A Comparison of Three Approaches. AADEBUG (1995)