Вы здесь

Talcott C.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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
СТ A theory for program and data type specification 1992 Talcott C. Theoretical Computer Science 28.10.1992
М 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
СТ Inferring the equivalence of functional programs that mutate data 1992 Mason I., Talcott C. Theoretical Computer Science 26.12.1992
СТ Program Transformation via Contextual Assertions 1994 Mason I. A., Talcott C. Lecture Notes in Computer Science 14.05.1994
СТ 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
СТ Semantic Models for Distributed Object Reflection 2002 Meseguer J., Talcott C. Lecture Notes in Computer Science 17.07.2002
СТ The Logic of FOL Systems: Formulated in Set Theory 1994 Weyhrauch R. W., Talcott C. Lecture Notes in Computer Science 14.05.1994
СТ Towards a Theory of Actor Computation 1992 Agha G., Mason I. A., Smith S., Talcott C. Lecture Notes in Computer Science 20.10.1992