Suchergebnisse - Talcott, Carolyn

String-functional semantics for formal verification of synchronous circuits

von Bronstein, Alexandre, Talcott, Carolyn L.

A sound and complete axiomatization of operational equivalence between programs with memory

von Mason, Ian 1944-, Talcott, Carolyn L.

Reflections on the foundations of mathematics: essays in honor of Solomon Feferman

Weitere beteiligte Personen: “… Talcott, Carolyn …”
Online lesen

Proceedings of the 9th International Workshop on Adaptive and Reflective Middleware

von Talcott, Carolyn

Online lesen

An NQTHM mechanization of "An exercise in the verification of multi-process programs"

von Nagayama, Misao, Talcott, Carolyn L.

A simplifier for untyped lambda expressions

von Galbiati, Louis, Talcott, Carolyn L.

LISP: Programming and proving

von McCarthy, John 1927-2011, Talcott, Carolyn L.

Programming and proving with function and control abstractions

von Talcott, Carolyn L.

The essence of rum theory of the intensional and extensional aspects of Lisp-type computation

von Talcott, Carolyn L.

The essence of Rum: a model of computation theory and application to LISP-like systems

von Talcott, Carolyn L.

LISP: Programming and proving

von McCarthy, John 1927-2011, Talcott, Carolyn L.

Logic, language, and security: essays dedicated to Andre Scedrov on the occasion of his 65th birthday

Weitere beteiligte Personen: “… Talcott, Carolyn …”
Online lesen

Reflections on the foundations of mathematics: essays in honor of Solomon Feferman

Weitere beteiligte Personen: “… Talcott, Carolyn …”
Online lesen

Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6–8, 2000, Stanford, California, USA

Weitere beteiligte Personen: “… Talcott, Carolyn L. …”
Online lesen