7 citations · 34 across the 7 of their papers we have counts for
Showing 2012Show all
3 papers · 1 filter
cs.MS2012★ 7 cited
Towards the Formal Specification and Verification of Maple Programs
Muhammad Taimoor Khan, Wolfgang Schreiner
In this paper, we present our ongoing work and initial results on the formal specification and verification of MiniMaple (a substantial subset of Maple with slight extensions) prog…
cs.MS2012★ 2 cited
On Formal Specification of Maple Programs
Muhammad Taimoor Khan, Wolfgang Schreiner
This paper is an example-based demonstration of our initial results on the formal specification of programs written in the computer algebra language MiniMaple (a substantial subset…
cs.LO2012★ 7 cited
Computer-Assisted Program Reasoning Based on a Relational Semantics of Programs
Wolfgang Schreiner
We present an approach to program reasoning which inserts between a program and its verification conditions an additional layer, the denotation of the program expressed in a declar…