926 search results - page 94 / 186 » Prolog as the First Programming Language |
137
click to vote
PARLE
1992
15 years 9 months ago
1992
Collection-oriented languages provide high-level constructs for describing computations over collections. These languages are becoming increasingly popular with the advent of massi...
164
click to vote
PPDP
2010
Springer
15 years 2 months ago
2010
Springer
Given a set of Datalog rules, facts, and a query, answers to the query can be inferred bottom-up starting with the facts or top-down starting with the query. For efficiently answe...
187
click to vote
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
120
click to vote
INTERSPEECH
2010
14 years 11 months ago
2010
This paper describes a system for assistive writing, the Speech Supplemented Word Prediction Program (SSWPP). This system uses the first letter of a word typed by the user as well...
133
click to vote
ML
2006
ACM
15 years 4 months ago
2006
ACM
Higher-order typed languages, such as ML, provide strong support for data and type abn. While such abstraction is often viewed as costing performance, there are situations where i...