2944 search results - page 151 / 589 » On Well Quasi-orders on Languages |
102
Voted
ENTCS
2002
15 years 18 days ago
2002
In this paper we present a framework to program autonomous robots in the declarative multi-paradigm language Curry. This is an experiment to use high-level declarative programming...
200
Voted
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
Languages such as Java and C#, as well as scripting languages like Python, and Ruby, make extensive use of Collection classes. A collection implementation represents a fixed choic...
193
click to vote
PODS
2009
ACM
16 years 1 months ago
2009
ACM
In this work we investigate the satisfiability problem for the logic XPath( , , =), that includes all downward axes as well as equality and inequality tests. We address this probl...
209
Voted
POPL
2006
ACM
16 years 1 months ago
2006
ACM
This paper reports on the development and formal certification (proof of semantic preservation) of a compiler from Cminor (a Clike imperative language) to PowerPC assembly code, u...
187
Voted
POPL
2005
ACM
16 years 1 months ago
2005
ACM
Haskell's type classes allow ad-hoc overloading, or typeindexing, of functions. A natural generalisation is to allow type-indexing of data types as well. It turns out that th...