3809 search results - page 152 / 762 » Associative language descriptions |
168
click to vote
PEPM
1993
ACM
15 years 10 months ago
1993
ACM
Binding-time analysis is a crucial component of an ofine partial evaluator. The accuracy of the binding-time information that it produces determines the degree of specialization o...
149
click to vote
JAIR
2010
15 years 4 months ago
2010
We present a novel framework for learning to interpret and generate language using only perceptual context as supervision. We demonstrate its capabilities by developing a system t...
162
click to vote
TYPES
2007
Springer
16 years 17 days ago
2007
Springer
This paper presents a new proof language for the Coq proof assistant. This language uses the declarative style. It aims at providing a simple, natural and robust alternative to the...
187
click to vote
NMR
2004
Springer
15 years 11 months ago
2004
Springer
The action language A is a simple high-level language for describing transition systems. In this paper, we extend the action language A by allowing a unary modal operator in the u...
150
click to vote
AVI
1998
15 years 7 months ago
1998
In this paper we describe Kaleidoquery, a visual query language for object databases with the same expressive power as OQL. We will describe the design philosophy behind the filte...