10585 search results - page 597 / 2117 » The Orc Programming Language |
163
click to vote
CL
2006
Springer
15 years 7 months ago
2006
Springer
Meta programming is the act of reasoning about a computational system. For example, a program in Prolog can reason about a program written in Smalltalk. Reflection is a more power...
202
click to vote
GI
1997
Springer
15 years 11 months ago
1997
Springer
Object-Gofer is a small, practical extension of the functional programming language Gofer incorporating the following ideas from the object-oriented community: objects and toplevel...
225
click to vote
ERSHOV
2006
Springer
15 years 11 months ago
2006
Springer
A new coordination language for distributed data-parallel programs is presented, call SNet. The intention of SNet is to introduce advanced structuring techniques into a coordinatio...
192
click to vote
ICFP
2007
ACM
16 years 7 months ago
2007
ACM
Sharing analysis and uniqueness typing are static analyses that aim at determining which of a program's objects are to be used at most once. There are many commonalities betw...
209
click to vote
PPDP
2007
Springer
16 years 1 months ago
2007
Springer
We describe a semantic type soundness result, formalized in the Coq proof assistant, for a compiler from a simple imperative language with heap-allocated data into an idealized as...