3001 search results - page 33 / 601 » Recursive type generativity |
106
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
Many semantical aspects of programming languages are specified through calculi for constructing proofs: consider, for example, the specification of structured operational semantic...
118
click to vote
LICS
2010
IEEE
14 years 12 months ago
2010
IEEE
Let R be a class of generators of node-labelled infinite trees, and L be a logical language for describing correctness properties of these trees. Given R R and L, we say that R ...
EUROMICRO
2004
IEEE
15 years 5 months ago
2004
IEEE
Software applications can be described as compositions are components at an abstract level. In this paper we present a component modeling process which allows to design, model and...
101
click to vote
AAAI
1990
15 years 3 months ago
1990
Current explanation-based generalization (EBG) techniques can perform badly when the problem being solved involves recursion. Often an infinite series of learned concepts are gene...
113
click to vote
COLING
1990
15 years 3 months ago
1990
This article introduces a bidirectional grammar generation system called feature structure-directed generation, developed for a dialogue translation system. The system utilizes ty...