12452 search results - page 13 / 2491 » An exploration of program as language |
DASIP
2010
13 years 5 months ago
2010
Nowadays, the design flow of complex signal processing embedded systems starts with a specification of the application by means of a large and sequential program (usually in C/C++...
SPIN
2000
Springer
14 years 2 months ago
2000
Springer
Systematic state-space exploration is a powerful technique for veri cation of concurrent software systems. Most work in this area deals with manually-constructed models of those sy...
POS
1990
Springer
14 years 2 months ago
1990
Springer
ICFP
2006
ACM
14 years 10 months ago
2006
ACM
t programming techniques encourage abstraction and reuse through external linking. Some parts of a program, however, must use concrete, internally specified references, so a pure ...