558 search results - page 27 / 112 » A Compiler Design for the Agent-Based Programming Language |
PEPM
1999
ACM
13 years 12 months ago
1999
ACM
A certifying compiler takes a source language program and produces object code, as well as a certi cate" that can be used to verify that the object code satis es desirable pr...
POPL
2007
ACM
14 years 8 months ago
2007
ACM
We describe the design and current status of our effort to implement the programming model of nested data parallelism into the Glasgow Haskell Compiler. We extended the original p...
ASPLOS
2012
ACM
12 years 3 months ago
2012
ACM
Disciplined approximate programming lets programmers declare which parts of a program can be computed approximately and consequently at a lower energy cost. The compiler proves st...
HASKELL
2007
ACM
13 years 11 months ago
2007
ACM
Quasiquoting allows programmers to use domain specific syntax to construct program fragments. By providing concrete syntax for complex data types, programs become easier to read, ...
SFP
2003
13 years 9 months ago
2003
Abstract: We outline an object-oriented extension to Camelot, a functional language in the ML family designed for resource aware computation. Camelot is compiled for the Java Virtu...