1914 search results - page 237 / 383 » Verification by Abstract Interpretation |
134
click to vote
ICFP
2010
ACM
15 years 1 months ago
2010
ACM
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...
106
click to vote
SIGPLAN
2008
15 years 22 days ago
2008
It is argued that the teaching of programming is central to the education of skilled computer professionals, that the teaching of programming languages is central to the teaching ...
115
Voted
BMCBI
2005
15 years 21 days ago
2005
Background: This paper describes SeqDoC, a simple, web-based tool to carry out direct comparison of ABI sequence chromatograms. This allows the rapid identification of single nucl...
109
Voted
CORR
2002
Springer
15 years 19 days ago
2002
Springer
for data abstraction and justifies reasoning by simulation. Representation independence has been shown for a variety of languages and constructs but not for shared references to mu...
205
click to vote
POPL
2006
ACM
16 years 1 months ago
2006
ACM
Abstract. This paper investigates what is essentially a call-by-value version of PCF under a complexity-theoretically motivated type system. The programming formalism, ATR, has its...