1114 search results - page 36 / 223 » Validating optimizations of concurrent C C programs |
TPHOL
2007
IEEE
14 years 3 months ago
2007
IEEE
Cminor is a mid-level imperative programming language; there are proved-correct optimizing compilers from C to Cminor and from Cminor to machine language. We have redesigned Cminor...
PPDP
2005
Springer
14 years 2 months ago
2005
Springer
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....
COMPSAC
1997
IEEE
14 years 1 months ago
1997
IEEE
Robot workcell programming is an application where object-oriented programming paradigms can be effectively applied to handle the issues such as concurrency and autonomy. In this ...
VMCAI
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We present an analysis to verify abstract set specifications for programs that use object field values to determine the membership of objects in abstract sets. In our a...
SIAMCO
2008
13 years 8 months ago
2008
It has been established recently that, under mild conditions, deterministic long run average problems of optimal control are "asymptotically equivalent" to infinite-dimen...