4743 search results - page 454 / 949 » The PlusCal Algorithm Language |
244
Voted
ICDT
2010
ACM
16 years 1 months ago
2010
ACM
We consider a fragment of XPath named `forward-XPath', which contains all descendant and rightwards sibling axes as well as data equality and inequality tests. The satisfiabi...
164
Voted
PLPV
2009
ACM
16 years 17 days ago
2009
ACM
We propose a new way to reason about general recursive functional programs in the dependently typed programming language Agda, which is based on Martin-L¨of’s intuitionistic ty...
141
Voted
SAC
2009
ACM
15 years 10 months ago
2009
ACM
Parallel architectures are the way of the future, but are notoriously difficult to program. In addition to the low-level constructs they often present (e.g., locks, DMA, and non-...
109
Voted
WSDM
2009
ACM
15 years 10 months ago
2009
ACM
The rapid globalization of Wikipedia is generating a parallel, multi-lingual corpus of unprecedented scale. Pages for the same topic in many different languages emerge both as a r...
147
Voted
GECCO
2009
Springer
15 years 10 months ago
2009
Springer
We describe a methodology for evolving Java bytecode, enabling the evolution of extant, unrestricted Java programs, or programs in other languages that compile to Java bytecode. B...