10568 search results - page 667 / 2114 » Computer Intelligence and Formalization |
166
click to vote
HOA
1993
15 years 11 months ago
1993
Abstract. The Spectrum project concentrates on the process of developing well-structured, precise system speci cations. Spectrum is a speci cation language, with a deduction calcul...
246
click to vote
TLCA
1993
Springer
15 years 11 months ago
1993
Springer
In this paper we introduce a logic for parametric polymorphism. Just as LCF is a logic for the simply-typed λ-calculus with recursion and arithmetic, our logic is a logic for Sys...
181
click to vote
CIE
2006
Springer
15 years 11 months ago
2006
Springer
We prove constructively (in the style of Bishop) that every monotone continuous function with a uniform modulus of increase has a continuous inverse. The proof is formalized, and a...
167
click to vote
ASIAN
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. We provide a formal definition of information flows in XML transformations and, more generally, in the presence of type driven computations and describe a sound technique...
205
click to vote
FOSAD
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. There is great interest in applying nominal calculi--computational formalisms that include dynamic name generation--to the problems of programming, specifying, and verify...