| Art der Veröffentlichung: |
Nicht veröffentlicht |
| Autor: |
Anne Haxthausen, Bernd Krieg-Brückner, Till Mossakowski. |
| Titel: |
Subsorted partial higher-order logic as an extension of CASL |
| Erscheinungsjahr: |
1998 |
| Abstract / Kurzbeschreibung: |
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 |
| Schlagworte: |
CASL higher-order semantics |
| Anmerkung / Hinweis: |
CoFI note L-10 |
| Status: |
Other |
| Letzte Aktualisierung: |
13. 02. 2007 |
