61 search results - page 9 / 13 » Compiling Inheritance using Partial Evaluation |
HICSS
2003
IEEE
15 years 2 months ago
2003
IEEE
Abstract— This paper presents a framework for verifying compilation tools for parametrised hardware libraries with placement information. Such libraries are captured in Pebble, a...
69
Voted
ACL
2003
14 years 11 months ago
2003
This paper presents a new bottom-up chart parsing algorithm for Prolog along with a compilation procedure that reduces the amount of copying at run-time to a constant number (2) p...
111
click to vote
OOPSLA
2007
Springer
15 years 3 months ago
2007
Springer
Developing a general component system for a statically typed, object-oriented language is a challenging design problem for two reasons. First, mutually recursive references across...
CHARME
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. We survey the work done so far in the FLaSH project (Functional Languages for Synthesising Hardware) in which the core ideas are (i) using a functional language SAFL to d...
132
click to vote
ITICSE
2009
ACM
15 years 4 months ago
2009
ACM
This paper describes our experiences with the first partial deployment of Presentations Automatically Organized from Lectures (PAOL), a lecture recording system developed and tes...