5084 search results - page 6 / 1017 » Proving Possibility Properties |
CADE
2005
Springer
14 years 10 months ago
2005
Springer
DSD
2007
IEEE
14 years 4 months ago
2007
IEEE
CEFP
2007
Springer
14 years 4 months ago
2007
Springer
This tutorial paper aims to provide the necessary expertise for working with the proof assistant Sparkle, which is dedicated to the lazy functional programming language Clean. The ...
CSFW
1997
IEEE
14 years 2 months ago
1997
IEEE
AMAI
2004
Springer
13 years 9 months ago
2004
Springer