10585 search results - page 211 / 2117 » The Orc Programming Language |
POPL
2007
ACM
14 years 9 months ago
2007
ACM
Type-preserving compilation can improve software reliability by generating code that can be verified independently of the compiler. Practical type-preserving compilation does not ...
PLDI
2012
ACM
11 years 11 months ago
2012
ACM
Parallel programs are known to be difficult to analyze. A key reason is that they typically have an enormous number of execution interleavings, or schedules. Static analysis over...
ICALP
2000
Springer
14 years 23 days ago
2000
Springer
In this paper, we recall how the syntax of diagrams is captured by the diagram editor generator DIAGEN, and outline a visual, rule-based, and objectoriented programming language b...
ENTCS
2008
13 years 9 months ago
2008
The modularity of programming language descriptions allows the designer to describe each programming language feature in a separated module that can be studied independently of ot...
SIGPLAN
2008
13 years 9 months ago
2008
In this white paper, we propose a list of essential concepts of programming languages, and discuss the techniques we have used to teach these concepts. Categories and Subject Desc...