Exploring modal worlds

被引：2
|
作者：
Dang, Han-Hing [1 ]
Glueck, Roland [1 ]
Moeller, Bernhard [1 ]
Roocks, Patrick [1 ]
Zelend, Andreas [1 ]
机构：
[1] Univ Augsburg, Inst Informat, D-86135 Augsburg, Germany
来源：
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING | 2014年 / 83卷 / 02期
关键词：
Bisimulation; Formal concept analysis; Pareto front; Rectangles; Separation logic; Software product lines;
D O I：
10.1016/j.jlap.2014.02.004
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Modal idempotent semirings cover a large set of different applications. The paper presents a small collection of these, ranging from algebraic logics for program correctness over bisimulation refinement, formal concept analysis, database preferences to feature oriented software development. We provide new results and/or views on these domains; the modal semiring setting allows a concise and unified treatment, while being more general than, e.g., standard relation algebra. (C) 2014 Elsevier Inc. All rights reserved.
引用
收藏
页码：135 / 153
页数：19
相关论文
共 50 条
12345