1320 search results - page 98 / 264 » Efficient Implementation of a Linear Logic Programming Langu... |
248
click to vote
POPL
2004
ACM
16 years 4 months ago
2004
ACM
We aim to specify program transformations in a declarative style, and then to generate executable program transformers from such specifications. Many transformations require non-t...
136
click to vote
CICLING
2007
Springer
15 years 10 months ago
2007
Springer
Finite-state technology is considered the preferred model for representing the phonology and morphology of natural languages. The attractiveness of this technology for natural lang...
98
Voted
ESOP
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Program inversion has many applications such as in the implementation of serialization/deserialization and in providing support for redo/undo, and has been studied by man...
121
Voted
AGP
1998
IEEE
15 years 8 months ago
1998
IEEE
The subject of groundness analysis for (constraint) logic programs has been widely studied, and interesting domains have been proposed. Pos has been recognized as the most suitabl...
133
Voted
ERSA
2008
15 years 5 months ago
2008
This paper presents a novel architecture to increase the hardware utilization in multi-context field programmable gate arrays (MC-FPGAs). Conventional MC-FPGAs use dedicated tracks...