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

Publications Search - Details

 
Publication type: Article in Proceedings
Author: T. Mossakowski
Editor: M. Nivat, C. Rattray, T. Rus, G. Scollo
Title: Parameterized Recursion Theory -- A Tool for the Systematic Classification of Specification Methods
Book / Collection title: Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, 1993
Page(s): 139 – 146
Series: Workshops in Computing
Year published: 1993
Publisher: Springer-Verlag, London
Abstract: We examine four specification methods with increasing expressiveness. Parameterized recursion theory allows to characterize the power of parameterization in the methods, using a computational model based on Moschovakis' search computability. The four specification methods can be characterized by four different notions of semicomputable parameterized abstract data type, which differ in the availability of the parameter algebra and of nondeterminism. These characterizations further lead to different algebraic properties of specifiable PADTs. Together with example PADTs, they enable us to prove a hierarchy theorem. Given a sample PADT, the algebraic properties help to find out the lowest position (= most restricted method) in the hierarchy usable to specify it. This is important because the available tools may become weaker, if we choose a too general method.
PostScript Version: http://www.informatik.uni-bremen.de/~till/papers/parrec.ps
Note / Comment: Long version appears in Theoretical Computer Science
Status: Reviewed
Last updated: 04. 05. 2004

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