Sciweavers

416 search results - page 13 / 84
» The ruby intermediate language
Sort
View
ASPDAC
2004
ACM
110views Hardware» more  ASPDAC 2004»
14 years 27 days ago
Embedded software generation from system level design languages
Abstract— To meet the challenge of increasing design complexity, designers are turning to system level design languages to model systems at a higher level of abstraction. This pa...
Haobo Yu, Rainer Dömer, Daniel Gajski
ICFP
2002
ACM
14 years 7 months ago
Shortcut fusion for accumulating parameters & zip-like functions
We present an alternative approach to shortcut fusion based on the function unfoldr. Despite its simplicity the technique can remove intermediate lists in examples which are known...
Josef Svenningsson
ENTCS
2006
146views more  ENTCS 2006»
13 years 7 months ago
Strong Update, Disposal, and Encapsulation in Bunched Typing
We present a bunched intermediate language for strong (type-changing) update and disposal of first-order references. In contrast to other substructural type systems, the additive ...
Josh Berdine, Peter W. O'Hearn
SFP
2003
13 years 8 months ago
Camelot and Grail: resource-aware functional programming for the JVM
We describe the functional language Camelot, which is a language of the ML family with extensions for explicit management of heap storage, and the intermediate language Grail, whic...
Kenneth MacKenzie, Nicholas Wolverson
ACMSE
2009
ACM
14 years 2 months ago
Ginger: implementing a new Lisp family syntax
In this paper we introduce G-expressions, a new syntax based on the S-expression syntax utilized by most Lisp family languages. We have implemented a new homoiconic language, Ging...
James Dean Palmer