4743 search results - page 453 / 949 » The PlusCal Algorithm Language |
123
Voted
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
Computation in biology and in conventional computer architectures seem to share some features, yet many of their important characteristics are very different. To address this, [1]...
129
Voted
ECOOP
2004
Springer
15 years 9 months ago
2004
Springer
After two decades of effort, type inference for dynamically typed languages scales to programs of a few tens of thousands of lines of code, but no further. For larger programs, th...
140
Voted
WWW
2005
ACM
16 years 4 months ago
2005
ACM
Some recent initiatives try to take profit from RDF to make XML documents interoperate at the semantic level. Ontologies are used to establish semantic connections among XML langu...
206
Voted
POPL
2008
ACM
16 years 4 months ago
2008
ACM
The subtyping test consists of checking whether a type t is a descendant of a type r (Agrawal et al. 1989). We study how to perform such a test efficiently, assuming a dynamic hie...
132
Voted
ICFP
2002
ACM
16 years 3 months ago
2002
ACM
Packrat parsing is a novel technique for implementing parsers in a lazy functional programming language. A packrat parser provides the power and flexibility of top-down parsing wi...