3736 search results - page 113 / 748 » Generative Programming |
125
Voted
FLOPS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. We present a lightweight, automated tool for specificationbased testing of declarative programs written in the functional logic programming language Curry and emphasize t...
108
click to vote
VLSID
2005
IEEE
16 years 2 months ago
2005
IEEE
This paper presents an RTL generation scheme for a SimpleScalar / PISA Instruction set architecture with system calls to implement C programs. The scheme utilizes ASIPmeister, a p...
ENTCS
2006
15 years 2 months ago
2006
In addition to efficient code generation, causality cycles and schizophrenic statements are major problems for the compilation of synchronous programs. Although these problems are ...
112
click to vote
VIP
2003
15 years 3 months ago
2003
VisPro is a general-purpose visual language generation system based on Reserved Graph Grammar (RGG). It is also the execution environment of visual programming languages (VPLs) de...
214
click to vote
ICLP
2009
Springer
16 years 3 months ago
2009
Springer
When a logic program is processed by an answer set solver, the first task is to generate its instantiation. In a recent paper, Calimeri et el. made the idea of efficient instantiat...