703 search results - page 51 / 141 » Fundamentals of Session Types |
100
click to vote
OTM
2009
Springer
15 years 10 months ago
2009
Springer
Natural language-based conceptual modelling as well as the use of diagrams have been essential components of fact-oriented modelling from its inception. However, transforming natur...
146
Voted
MSR
2005
ACM
15 years 9 months ago
2005
ACM
We propose a framework for describing, comparing and understanding tools for the mining of software repositories. The fundamental premise of this framework is that mining should b...
104
Voted
ITP
2010
15 years 7 months ago
2010
Nitpick is a counterexample generator for Isabelle/HOL that builds on Kodkod, a SAT-based first-order relational model finder. Nitpick supports unbounded quantification, (co)ind...
134
Voted
TYPES
2000
Springer
15 years 7 months ago
2000
Springer
We describe a construction of the real numbers carried out in the Coq proof assistant. The basis is a set of axioms for the constructive real numbers as used in the FTA (Fundamenta...
123
Voted
CIE
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We present a domain theoretic framework for obtaining exact solutions of linear boundary value problems. Based on the domain of compact real intervals, we show how to app...