|
СТ |
Program Transformations for Configuring Components |
1991 |
Mason I., Talcott C. |
|
|
|
SIGPLAN Notices |
26.10.1991 |
|
СТ |
A theory for program and data type specification |
1992 |
Talcott C. |
|
|
|
Theoretical Computer Science |
28.10.1992 |
|
СТ |
Inferring the equivalence of functional programs that mutate data |
1992 |
Mason I., Talcott C. |
|
|
|
Theoretical Computer Science |
26.12.1992 |
|
СТ |
Scalable Distributed Garbage Collection for Systems of Active Objects |
1992 |
Venkatasubramanian N., Agha G., Talcott C. |
|
|
|
Lecture Notes in Computer Science |
20.10.1992 |
|
СТ |
Towards a Theory of Actor Computation |
1992 |
Agha G., Mason I. A., Smith S., Talcott C. |
|
|
|
Lecture Notes in Computer Science |
20.10.1992 |
|
СТ |
A Theory of Classes for a Functional Language with Effects |
1993 |
Honsell F., Mason I. A., Smith S., Talcott C. |
|
|
|
Lecture Notes in Computer Science |
06.11.1993 |
|
СТ |
Program Transformation via Contextual Assertions |
1994 |
Mason I. A., Talcott C. |
|
|
|
Lecture Notes in Computer Science |
14.05.1994 |
|
СТ |
The Logic of FOL Systems: Formulated in Set Theory |
1994 |
Weyhrauch R. W., Talcott C. |
|
|
|
Lecture Notes in Computer Science |
14.05.1994 |
|
СТ |
Semantic Models for Distributed Object Reflection |
2002 |
Meseguer J., Talcott C. |
|
|
|
Lecture Notes in Computer Science |
17.07.2002 |
|
М |
All About Maunde - A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic |
2007 |
Clavel M., Duran F., Eker S., Lincoln P., Marti-Oliet N., Meseguer J., Talcott C. |
Lecture Notes in Computer Science |
|
|
|
30.10.2007 |
