| Art der Veröffentlichung: |
Nicht veröffentlicht |
| Autor: |
Till Mossakowski |
| Titel: |
Two "functional programming" sublanguages of CASL |
| Erscheinungsjahr: |
1998 |
| Abstract / Kurzbeschreibung: |
We define two sublanguages of CASL that can be easily mapped to functional programs. One of them allows to specify arbitrary partial recursive functions, the other one is restricted to total recursive functions. |
| Internet: |
http://www.informatik.uni-bremen.de/cofi/old/Notes/L-9/index.html |
| Schlagworte: |
CASL functional programming sublanguage |
| Anmerkung / Hinweis: |
CoFI note L-9 |
| Status: |
Other |
| Letzte Aktualisierung: |
13. 02. 2007 |
