Suchergebnisse - Talcott, Carolyn L.

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.

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.

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