2881 search results - page 194 / 577 » Model Checking for Programming Languages using Verisoft |
162
Voted
PLDI
2010
ACM
16 years 3 months ago
2010
ACM
A number of programming languages use rich type systems to verify security properties of code. Some of these languages are meant for source programming, but programs written in th...
170
click to vote
APLAS
2007
ACM
15 years 10 months ago
2007
ACM
Abstract. We propose a theory of up-to techniques for proofs by coinduction, in the setting of complete lattices. This theory improves over existing results by providing a way to c...
191
click to vote
ECOOP
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. An active area of research in computer science is the prevention of violations of object protocols, i.e., restrictions on temporal orderings of method calls on an object....
168
click to vote
SIGCSE
2010
ACM
16 years 1 months ago
2010
ACM
Programming exercise assessment tools alleviate the task of teachers, and increase consistency of markings. Many programming exercise assessment tools are based on testing. A test...
186
click to vote
SIGPLAN
1998
15 years 6 months ago
1998
DrScheme provides a graphical user interface for editing and interactively evaluating Scheme programs on all major graphical platforms (Windows 95/nt, MacOs, Unix/X). The environm...