10585 search results - page 472 / 2117 » The Orc Programming Language |
205
click to vote
JMLC
2000
Springer
15 years 10 months ago
2000
Springer
A namespace is a mapping from labels to values. Most programming languages support different forms of namespaces, such as records, dictionaries, objects, environments, packages and...
159
click to vote
DAGSTUHL
2003
15 years 8 months ago
2003
A wide range of domain-specific languages (DSLs) has been implemented successfully by embedding them in general purpose languages. This paper reviews embedding, and summarizes how...
298
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
This paper contributes to the development of techniques for the modular proof of programs that include concurrent algorithms. We present a proof of a non-blocking concurrent algor...
190
click to vote
OOPSLA
2007
Springer
16 years 1 months ago
2007
Springer
Schematic tables are a new representation for conditionals. Roughly a cross between decision tables and data flow graphs, they represent computation and decision-making orthogona...
152
click to vote
ICFP
1999
ACM
15 years 11 months ago
1999
ACM
The increasing popularity of component-based programming tools offer a big opportunity to designers of advanced programming languages, such as Haskell. If we can package our progr...