2943 search results - page 265 / 589 » Software Implementation of Synchronous Programs |
108
click to vote
AADEBUG
1997
Springer
15 years 8 months ago
1997
Springer
This paper introduces the bisection debugging model. The key idea is to use a debugger to identify the semantic differences between two versions of the same program. The debugger ...
121
click to vote
SETP
2007
15 years 5 months ago
2007
Scientific equations embedded in computer programs must obey the rules for dimensional consistency. Many efforts have been made to enforce these rules within computer programs. So...
130
click to vote
ESOP
2010
Springer
16 years 1 months ago
2010
Springer
Proving software free of security bugs is hard. Languages that ensure that programs correctly enforce their security policies would help, but, to date, no security-typed language h...
136
click to vote
LCTRTS
2000
Springer
15 years 7 months ago
2000
Springer
This paper presents a general approach to automatically validate code-improving transformations on low-level program representations. The approach ensures the correctness of compi...
124
click to vote
LDTA
2010
15 years 1 months ago
2010
This paper investigates the suitability of contemporary DSL tools in the context of enterprise software development. The main focus is on integration issues between the DSL tool, ...