Karen L. Bernstein

According to our database¹, Karen L. Bernstein authored at least 3 papers between 1995 and 1998.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1998

A Congruence Theorem for Structured Operational Semantics of Higher-Order Languages.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998

1995

Operational semantics of a focusing debugger.

[BibT_eX]

[DOI]

Proceedings of the Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, 1995

Formally Defining Debuggers: A Comparison of Three Approaches.

[BibT_eX]

Proceedings of the Second International Workshop on Automated Debugging, 1995