10585 search results - page 490 / 2117 » The Orc Programming Language |
172
click to vote
FDL
2008
IEEE
16 years 1 months ago
2008
IEEE
There is an increasing need for automated conversion of high-level design descriptions into hardware. We present a flow that converts a software application written in the Brook ...
160
click to vote
HYBRID
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents a motion description language (MDLp) for specifying and encoding autonomous puppetry plays in a manner that is faithful to the way puppetry choreography is curr...
178
click to vote
TYPES
2004
Springer
16 years 9 days ago
2004
Springer
Abstract Within a framework of correct code-generation from HOLspecifications, we present a particular instance concerned with the optimized compilation of a lazy language (called...
164
click to vote
ENTCS
2007
15 years 7 months ago
2007
In this paper we propose applying the ideas of declarative debugging to the object-oriented language Java as an alternative to traditional trace debuggers used in imperative langu...
196
click to vote
ICFP
2003
ACM
16 years 7 months ago
2003
ACM
This paper define the semantics of MinAML, an idealized aspect-oriented programming language, by giving a typedirected translation from its user-friendly external language to its ...