| Publication type: |
Unpublished |
| Author: |
Anne Haxthausen, Bernd Krieg-Brückner, Till Mossakowski. |
| Title: |
Subsorted partial higher-order logic as an extension of CASL |
| Year published: |
1998 |
| Abstract: |
CASL is a specification language combining first-order logic, partiality and subsorting. This paper generalizes the CASL logic to higher-order functions and predicates. The logic is presented in a modular step-by-step reduction. Several possible design alternatives are discussed in the light of the need to get a faithful embedding of first-order CASL into higher-order CASL. |
| Internet: |
http://www.informatik.uni-bremen.de/cofi/old/Notes/L-10/index.html |
| Keywords: |
CASL higher-order semantics |
| Note / Comment: |
CoFI note L-10 |
| Status: |
Other |
| Last updated: |
13. 02. 2007 |
