1128 search results - page 4 / 226 » Little Engines of Proof |
VMCAI
2012
Springer
13 years 4 months ago
2012
Springer
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...
TACAS
2000
Springer
15 years 28 days ago
2000
Springer
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...
KBSE
2006
IEEE
15 years 3 months ago
2006
IEEE
VSTTE
2005
Springer
15 years 2 months ago
2005
Springer
TACS
1991
Springer
15 years 26 days ago
1991
Springer
