Вы здесь

Talcott C.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Program Transformations for Configuring Components 1991 Mason I., Talcott C. SIGPLAN Notices 26.10.1991
СТ 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 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
СТ 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