Extra theory morphisms for institutions : logical semantics for multi-paradigm languages
スポンサーリンク
概要
- 論文の詳細を見る
- 北陸先端科学技術大学院大学の論文
- 1997-08-01
著者
-
Diaconescu Razvan
School Of Information Science Japan Advanced Institute Of Science And Te
-
Diaconescu Razvan
School Of Information Scinece Japan Advanced Institute Of Science And Technology Hokuriku
関連論文
- 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