4743 search results - page 36 / 949 » The PlusCal Algorithm Language |
ESOP
2009
Springer
14 years 1 months ago
2009
Springer
The context-free language (CFL) reachability problem is well known and studied in computer science, as a fundamental problem underlying many important static analyses such as point...
APL
1993
ACM
14 years 2 months ago
1993
ACM
: The problem of a finding of ranging of the objects nearest to the cyclic relation set by the expert between objects is considered. Formalization of the problem arising at it is r...
ICLP
1999
Springer
14 years 2 months ago
1999
Springer
This paper presents a programming language that includes paradigms that are usually associated with declarative languages, such as sets, rules and search, into an imperative (funct...
EC
2008
13 years 10 months ago
2008
We present1 an evolutionary approach for the computation of exact answers to Natural Languages (NL) questions. Answers are extracted directly from the N
ICALP
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. We obtain new results regarding the precise average bitcomplexity of five algorithms of a broad Euclidean type. We develop a general framework for analysis of algorithms,...