3653 search results - page 46 / 731 » Learning of Partial Languages |
ICALT
2009
IEEE
14 years 17 days ago
2009
IEEE
This poster presents an ongoing European project: Language Technologies for Lifelong Learning (LTfLL). The aim of the project is to create a next-generation of support and advice ...
CORR
2004
Springer
13 years 8 months ago
2004
Springer
Abstract. The classical propositional logic is known to be sound and complete with respect to the set semantics that interprets connectives as set operations. The paper extends pro...
ICFP
2009
ACM
14 years 9 months ago
2009
ACM
Memoization is a well-known optimization technique used to eliminate redundant calls for pure functions. If a call to a function f with argument v yields result r, a subsequent ca...
PLDI
2005
ACM
14 years 2 months ago
2005
ACM
This paper introduces the concept of programming with sketches, an approach for the rapid development of high-performance applications. This approach allows a programmer to write ...
CSFW
1997
IEEE
14 years 28 days ago
1997
IEEE
A type system is given that eliminates two kinds of covert flows in an imperative programming language. The first kind arises from nontermination and the other from partial oper...