2881 search results - page 135 / 577 » Model Checking for Programming Languages using Verisoft |
168
click to vote
ICALP
2009
Springer
16 years 5 months ago
2009
Springer
We present an AC1 (logDCFL) algorithm for checking LTL formulas over finite paths, thus establishing that the problem can be efficiently parallelized. Our construction provides a f...
250
click to vote
VL
2007
IEEE
15 years 11 months ago
2007
IEEE
This articles submits the thesis that visual data modeling and programming languages are conveniently conceived as rendering, or ‘styling’, of conventional, textual languages....
143
click to vote
SAS
2007
Springer
15 years 11 months ago
2007
Springer
Interval analysis seeks static lower and upper bounds on the values of program variables. These bounds are useful, especially for inferring invariants to prove buffer overflow ch...
147
click to vote
EMSOFT
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. We present a framework to extend the concept of type systems in programming languages to capture the dynamic interaction in component-based design, such as the communicat...
136
click to vote
ICFP
2003
ACM
16 years 5 months ago
2003
ACM
To improve the quality of type error messages in functional programming languages, we propose four techniques which influence the behaviour of constraint-based type inference proc...