85 search results - page 2 / 17 » A Logic for Reasoning with Higher-Order Abstract Syntax |
CORR
2008
Springer
13 years 5 months ago
2008
Springer
ENTCS
2008
13 years 5 months ago
2008
TPHOL
1998
IEEE
13 years 10 months ago
1998
IEEE
Abstraction in a Higher-Order Logic Framework Marco Benini Sara Kalvala Dirk Nowotka Department of Computer Science University of Warwick, Coventry, CV4 7AL, United Kingdom We pres...
FOSSACS
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
FTP
1998
Springer
13 years 9 months ago
1998
Springer
Abstract. First-order modal logic, in the usual formulations, is not sufficiently expressive, and as a consequence problems like Frege's morning