Modality in open institutions with concrete syntax

スポンサーリンク

概要

• 論文の詳細を見る
• 北陸先端科学技術大学院大学の論文
• 1997-12-03

著者

• Diaconescu Razvan

  School Of Information Science Japan Advanced Institute Of Science And Te

• Diaconescu Razvan

  School Of Information Science Japan Advanced Institute Of Science And Technology Hokuriku

• Stefaneas Petros

  National Technical University, Athens, Greece

• Stefaneas Petros

  National Technical University Athens Greece

関連論文

• Component-based algebraic specification and verification in CafeOBJ
• Concurrent object composition in CafeOBJ
• Modality in open institutions with concrete syntax
• Behavioural coherence in object-oriented algebraic specification
• Extra theory morphisms for institutions : logical semantics for multi-paradigm languages
• Categorical foundations of modularisation for multi-paradigm

スポンサーリンク