Universität Bremen  
  FB 3  
  Group BKB > Publications > Search > Deutsch
English
 

Publications Search - Details

 
Publication type: Unpublished
Author: Till Mossakowski
Title: Two "functional programming" sublanguages of CASL
Year published: 1998
Abstract: 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
Keywords: CASL functional programming sublanguage
Note / Comment: CoFI note L-9
Status: Other
Last updated: 13. 02. 2007

 Back to result list
 
   
Author: Automatically generated page
 
  Group BKB 
Last updated: May 9, 2023   impressum