4743 search results - page 549 / 949 » The PlusCal Algorithm Language |
241
click to vote
POPL
2008
ACM
16 years 3 months ago
2008
ACM
Java programmers can document that the relationship between two objects is unchanging by declaring the field that encodes that relationship to be final. This information can be us...
105
click to vote
SIGMOD
2003
ACM
16 years 3 months ago
2003
ACM
We provide a concise yet complete formal definition of the semantics of XPath 1 and summarize efficient algorithms for processing queries in this language. Our presentation is int...
118
click to vote
PODS
2006
ACM
16 years 3 months ago
2006
ACM
This is a survey of algorithms, complexity results, and general solution techniques for efficiently processing queries on tree-structured data. I focus on query languages that com...
105
click to vote
TARK
2007
Springer
15 years 9 months ago
2007
Springer
We examine four approaches for dealing with the logical omniscience problem and their potential applicability: the syntactic approach, awareness, algorithmic knowledge, and imposs...
109
click to vote
ATVA
2005
Springer
15 years 8 months ago
2005
Springer
Esterel is an imperative synchronous programming language for the design of reactive systems. Esterel extends Esterel with a noninstantaneous jump instruction (compatible with conc...