|
СТ |
Stackability in the Simply-Typed Call-By-Value Lambda Calculus |
1994 |
Banerjee A., Schmidt D. A. |
|
|
|
Lecture Notes in Computer Science |
24.11.1994 |
|
СТ |
Natural-Semantics-Based Abstract Interpretation (Preliminary Version) |
1995 |
Schmidt D. A. |
Lecture Notes in Computer Science |
|
|
Static Analysis |
16.11.1995 |
|
СТ |
Abstract Interpretation of Small-Step Semantics |
1997 |
Schmidt D. A. |
|
|
|
Lecture Notes in Computer Science |
20.02.1997 |
|
СТ |
On the Need for a Popular Formal Semantics |
1997 |
Schmidt D. A. |
|
|
|
SIGPLAN Notices |
15.04.1998 |
|
СТ |
Data Flow Analysis is Model Checking of Abstract Interpretations |
1998 |
Schmidt D. A. |
|
|
|
Conf. Record of POPL 98: The 25th ACM SIGPLAN-SIGACT, Symp. on Principles of Programming Languages |
14.05.1998 |
|
СТ |
A Return to Elegance: The Reapplication of Declarative Notation to Software Design |
1999 |
Schmidt D. A. |
|
|
|
Lecture Notes in Computer Science |
16.02.1999 |
|
СТ |
Structure-Preserving Binary Relations for Program Abstraction |
2002 |
Schmidt D. A. |
|
|
|
Lecture Notes in Computer Science |
14.02.2003 |
|
П |
Denotational Semantics as a Programming Language |
1982 |
Schmidt D. A. |
|
|
Univ.Edinburgh |
|
19.03.2004 |
