10899 search results - page 694 / 2180 » The GP Programming System |
215
click to vote
FASE
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...
206
click to vote
ECOOP
2004
Springer
16 years 25 days ago
2004
Springer
Today’s mainstream object-oriented compilers and tools do not support declaring and statically checking simple pre- and postconditions on methods and invariants on object represe...
189
click to vote
OOPSLA
2004
Springer
16 years 24 days ago
2004
Springer
This demonstration will feature overviews of the C-SAW and GenAWeave projects. The first half of the presentation will introduce the concept of two-level aspect weaving, which uni...
204
click to vote
PADL
2004
Springer
16 years 24 days ago
2004
Springer
We describe the current status of and provide performance results for a prototype compiler of Prolog to C, ciaocc. ciaocc is novel in that it is designed to accept different kinds...
168
click to vote
PLDI
2010
ACM
16 years 15 days ago
2010
ACM
Traditional data-oriented programming languages such as dataflow s and stream languages provide a natural abstraction for parallel programming. In these languages, a developer fo...