Translationg OBJ3 into CASL: The Institution Level
作者： Till Mossakowski
关键词:
摘要: We translate OBJ3 to CASL. At the level of basic specifications, we set up several institution representations between underlying institutions. They correspond different methodological views OBJ3. The translations can be basis for automated tools translating
springer.com
sci-hub.st 参考文章(15)
Till Mossakowski, Colimits of order-sorted specifications workshop on recent trends in algebraic development techniques. pp. 316- 332 ,(1997) , 10.1007/3-540-64299-4_42
Peter D. Mosses, CoFI: the common framework initiative for algebraic specification and development colloquium on trees in algebra and programming. pp. 153- 163 ,(2001) , 10.1007/BFB0030591
Joseph A. Goguen, Jean-Pierre Jouannaud, José Meseguer, Operational Semantics for Order-Sorted Algebra international colloquium on automata, languages and programming. pp. 221- 231 ,(1985) , 10.1007/BFB0015747
Maura Cerioli, Anne Haxthausen, Bernd Krieg-Brückner, Till Mossakowski, Permissive Subsorted Partial Logic in CASL algebraic methodology and software technology. pp. 91- 107 ,(1997) , 10.1007/BFB0000465
Anne Elisabeth Haxthausen, Friederike Nickl, Pushouts of Order-Sorted Algebraic Specifications algebraic methodology and software technology. pp. 132- 147 ,(1996) , 10.1007/BFB0014312
Andrzej Tarlecki, Moving Between Logical Systems workshop on specification of abstract data types joint with compass workshop on recent trends in data type specification. pp. 478- 502 ,(1995) , 10.1007/3-540-61629-2_59
Andrzej Tarlecki, On the existence of free models in abstract algebraic institutions Theoretical Computer Science. ,vol. 37, pp. 269- 304 ,(1985) , 10.1016/0304-3975(85)90094-5
Joseph A. Goguen, Rod M. Burstall, Institutions: abstract model theory for specification and programming Journal of the ACM. ,vol. 39, pp. 95- 146 ,(1992) , 10.1145/147508.147524
J A Goguen, J Meseguer, Remarks on remarks on many-sorted equational logic Sigplan Notices. ,vol. 22, pp. 41- 48 ,(1987) , 10.1145/24714.24719
Joseph A. Goguen, José Meseguer, Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operations Theoretical Computer Science. ,vol. 105, pp. 217- 273 ,(1992) , 10.1016/0304-3975(92)90302-V