4139 search results - page 427 / 828 » Designing and Implementing Combinator Languages |
216
Voted
ASPLOS
2006
ACM
16 years 1 months ago
2006
ACM
Virtualization is increasingly being used to address server management and administration issues like flexible resource allocation, service isolation and workload migration. In a...
223
Voted
POPL
2010
ACM
16 years 5 months ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
195
Voted
DOCENG
2007
ACM
15 years 11 months ago
2007
ACM
In spite of the high profile of media types such as video, audio and images, many multimedia presentations rely extensively on text content. Text can be used for incidental labels...
210
Voted
DLOG
2004
15 years 9 months ago
2004
er reports on a pragmatic query language for Racer. The abstract syntax and semantics of this query language is defined. Next, the practical relevance of this query language is sh...
223
click to vote
ANLP
1994
15 years 9 months ago
1994
We present the advantages of guided sentences composition for communicating in natural language with computers. We show how guidance can be achieved by means of the partial synthe...