1054 search results - page 111 / 211 » A Logic Language of Granular Computing |
146
click to vote
CSL
2010
Springer
15 years 6 months ago
2010
Springer
We shall discuss several situations in which it is possible to extract from a proof, be it a proof in a first-order theory or a propositional proof, some feasible computational inf...
155
click to vote
TGC
2007
Springer
15 years 11 months ago
2007
Springer
Abstract We present ML5, a high level programming language for spatially distributed computing. The language, a variant of ML, allows an entire distributed application to be develo...
123
click to vote
SIGSOFT
2003
ACM
16 years 5 months ago
2003
ACM
Although a software application always executes within a particular environment, current testing methods have largely ignored these environmental factors. Many applications execut...
172
Voted
IALP
2010
14 years 12 months ago
2010
With more and more reviews on the web, browsing through a mass of the related reviews becomes a heavy work. How to effectively analyzing and organizing these reviews attracts more...
136
click to vote
ICFP
2002
ACM
16 years 5 months ago
2002
ACM
We present the type theory LTT, intended to form a basis for typed target languages, providing an internal notion of logical proposition and proof. The inclusion of explicit proof...