Search Sciweavers | Sciweavers

1128 search results - page 4 / 226

» Little Engines of Proof

136

click to vote

VMCAI
2012
Springer

257views Software Engineering» more VMCAI 2012»

Teaching Semantics with a Proof Assistant: No More LSD Trip Proofs

13 years 11 months ago

Download www4.in.tum.de

We describe a course on the semantics of a simple imperative programming language and on applications to compilers, type systems, static analyses and Hoare logic. The course is ent...

Tobias Nipkow

claim paper

Read More »

141

Voted

TACAS
2000
Springer

149views Algorithms» more TACAS 2000»

Proof General: A Generic Tool for Proof Development

15 years 7 months ago

Download homepages.inf.ed.ac.uk

This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...

David Aspinall

claim paper

Read More »

Voted

KBSE
2006
IEEE

95views Software Engineering» more KBSE 2006»

Verifying Specifications with Proof Scores in CafeOBJ

15 years 10 months ago