6740 search results - page 147 / 1348 » Using Classification as a Programming Language |
205
click to vote
POPL
2005
ACM
16 years 2 months ago
2005
ACM
This paper presents a new approach for verifying confidenfor programs, based on abstract interpretation. The framework is formally developed and proved correct in the theorem prov...
ICFP
2004
ACM
16 years 1 months ago
2004
ACM
Past attempts to relate two well-known models of backtracking computation have met with only limited success. We relate these two models using logical relations. We accommodate hi...
120
click to vote
EMNLP
2009
14 years 11 months ago
2009
In previous research in automatic verb classification, syntactic features have proved the most useful features, although manual classifications rely heavily on semantic features. ...
123
click to vote
POPL
1989
ACM
15 years 5 months ago
1989
ACM
Dynamic typing can be useful in statically typed languages. We extend the simply typed λ-calculus with dynamic typing and elaborate additional features like polymorphism and subty...
102
click to vote
FPCA
1995
15 years 5 months ago
1995
We add functional continuations and prompts to a language with an ML-style type system. The operators signi cantly extend and simplify the control operators in SML/NJ, and can be ...