49 search results - page 7 / 10 » A Modular Approach to Roberts' Theorem |
AISC
2000
Springer
13 years 11 months ago
2000
Springer
There are many problems with the simplification of elementary functions, particularly over the complex plane. Systems tend to make “howlers” or not to simplify enough. In thi...
CADE
2002
Springer
14 years 7 months ago
2002
Springer
Abstract. Proof-carrying code (PCC) allows a code producer to associate to a program a machine-checkable proof of its safety. In the original approach to PCC, the safety policy inc...
ESOP
2009
Springer
14 years 2 months ago
2009
Springer
We show how contracts with blame fit naturally with recent work on hybrid types and gradual types. Unlike hybrid types or gradual types, we require casts in the source code, in o...
DALT
2004
Springer
14 years 26 days ago
2004
Springer
Abstract. We propose an extension of action theories to intention theories in the framework of situation calculus. Moreover the method for implementing action theories is adapted t...
ISBI
2008
IEEE
14 years 8 months ago
2008
IEEE
Studying cellular protein-protein interactions in situ requires a technique such as fluorescence resonance energy transfer (FRET) which is sensitive on the nanometer scale. Observ...