439 search results - page 40 / 88 » Program Generators and the Tools to Make Them |
138
click to vote
FASE
2005
Springer
15 years 9 months 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 ...
157
click to vote
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
This poster presents a design language and a tool suite covering the development life-cycle of a Sense/Compute/Control (SCC) application. This language makes it possible to define...
128
click to vote
SCAM
2008
IEEE
15 years 10 months ago
2008
IEEE
Data-flow analysis is a common technique to gather program information for use in transformations such as register allocation, dead-code elimination, common subexpression elimina...
116
click to vote
ICFP
2008
ACM
16 years 4 months ago
2008
ACM
Severely resource-constrained devices present a confounding challenge to the functional programmer: we are used to having powerful ion facilities at our fingertips, but how can we...
149
click to vote
SAC
2011
ACM
14 years 7 months ago
2011
ACM
Dynamically typed programming languages are powerful tools for rapid software development. However, there are scenarios that would benefit from actual type information being avai...