60

Theorema: Towards ComputerAided Mathematical Theory Exploration
– B Buchberger, A Craciun, T Jebelean, L Kovacs, T Kutsia, K Nakagawa, F Piroi, N Popov, J Robu, M Rosenkranz, W Windsteiger

466

The Science of Programming
– David Gries
 1987

70

The Foundations of Program Verification
– J Loeckx, K Sieber
 1984

562

Assigning meanings to programs
– R W Floyd
 1967

5

2008): Understanding Programs
– Wolfgang Schreiner

5

Specifying Systems: The TLA+ Language and
– L Lamport
 2002

9

The Mathematica Book. Version 5.0
– S Wolfram
 2003

15

An overview
– Lilian Burdy, Yoonsik Cheon, David Cok, Michael Ernst, Joe Kiniry, Gary T Leavens, K Rustan M Leino, Erik Poll

18

A Basis For a Mathematical Theory of Computation. Computer Programming and Formal
– J McCarthy
 1963

11

Calculational Semantics: Deriving Programming Theories from Equations by Functional Predicate Calculus
– R T Boute
 2006

133

Termination proofs for systems code
– Byron Cook, Andreas Podelski, Andrey Rybalchenko
 2006

4

A Calculus for Imperative Programs: Formalization and Implementation
– Tudor Jebelean

3

A Purely Logical Approach to Imperative Program Verification
– Tudor Jebelean
 2010

260

ComputerAided Reasoning: An Approach
– M Kaufmann, P Manolios, J S Moore
 2000

175

The SizeChange Principle for Program Termination
– Chin Soon Lee, Neil D. Jones, Amir M. Benamram
 2001

474

Symbolic execution and program testing
– James C King
 1976

112

A complete method for the synthesis of linear ranking functions
– Andreas Podelski, Andrey Rybalchenko
 2004

50

Linear ranking with reachability
– Aaron R. Bradley, Zohar Manna, Henny B. Sipma
 2005

1352

An axiomatic basis for computer programming
– C. A. R. Hoare
 1969
