3516 search results - page 166 / 704 » Programming Languages: Application and Interpretation |
145
click to vote
PADL
2005
Springer
15 years 10 months ago
2005
Springer
The need for direct memory manipulation through pointers is essential in many applications. However, it is also commonly understood that the use (or probably misuse) of pointers is...
150
click to vote
ENTCS
2006
15 years 5 months ago
2006
We present a system, called RZ, for automatic generation of program specifications from mathematical theories. We translate mathematical theories to specifications by computing th...
129
click to vote
LCPC
2005
Springer
15 years 10 months ago
2005
Springer
Programming network processors remains a challenging task since their birth until recently when high-level programming environments for them are emerging. By employing domain speci...
130
click to vote
APAL
2005
15 years 5 months ago
2005
Systems of explicit mathematics provide an axiomatic framework to represent programs and to prove properties of them. We introduce such a system with a new form of power types usi...
145
click to vote
EMSOFT
2004
Springer
15 years 10 months ago
2004
Springer
Dataflow synchronous languages have attracted considerable interest in domains such as real-time control and hardware design. The potential benefits are promising: Discrete-time...