Refinement via interpretation

被引：3

作者：

Martins, Manuel A. ^{[1
]}

Madeira, Alexandre ^{[1
,2
]}

Barbosa, L. S. ^{[2
]}

机构：

[1] Univ Aveiro, Dept Math, P-3800 Aveiro, Portugal

[2] Univ Minho, Dept Informat & CCTC, Braga, Portugal

来源：

SEFM 2009: SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS | 2009年

关键词：

Algebraic specification; refinement; logic interpretation; ALGEBRAIC SPECIFICATION; INSTITUTIONS;

D O I：

10.1109/SEFM.2009.35

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Traditional notions of refinement of algebraic specifications, based on signature morphisms, art often too rigid to capture a number of relevant transformations in the context of software design, reuse and adaptation. This paper proposes an alternative notion of specification refinement, building on recent work on logic interpretation. The concept is discussed, its theory partially developed, its use illustrated through a number of examples.

引用

页码：250 / +

页数：3

共 50 条

[21] Introducing reference semantics via refinement
Smith, G
[J]. FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 588 - 599
[22] Scaling Abstraction Refinement via Pruning
Liang, Percy
Naik, Mayur
[J]. PLDI 11: PROCEEDINGS OF THE 2011 ACM CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION, 2011, : 590 - 601
[23] Scaling Abstraction Refinement via Pruning
Liang, Percy
Naik, Mayur
[J]. ACM SIGPLAN NOTICES, 2011, 46 (06) : 590 - 601
[24] Dimension Reduction via Colour Refinement
Grohe, Martin
Kersting, Kristian
Mladenov, Martin
Selman, Erkal
[J]. ALGORITHMS - ESA 2014, 2014, 8737 : 505 - 516
[25] Generic Tools via General Refinement
Reeves, Steve
Streader, David
[J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 207 : 187 - 202
[26] Abstraction refinement via inductive learning
Loginov, A
Reps, T
Sagiv, M
[J]. COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2005, 3576 : 519 - 533
[27] β-Ti Grain Refinement Via α-Precipitation
Ghaderi, Alireza
Hodgson, Peter D.
Barnett, Matthew R.
[J]. METALLURGICAL AND MATERIALS TRANSACTIONS A-PHYSICAL METALLURGY AND MATERIALS SCIENCE, 2016, 47A (03): : 1322 - 1330
[28] Monitoring Refinement via Symbolic Reasoning
Emmi, Michael
Enea, Constantin
Hamza, Jad
[J]. ACM SIGPLAN NOTICES, 2015, 50 (06) : 260 - 269
[29] Refinement of Robertson-type uncertainty principles with geometric interpretation
Lovas, Attila
Andai, Attila
[J]. INTERNATIONAL JOURNAL OF QUANTUM INFORMATION, 2016, 14 (02)
[30] An abstract interpretation-based refinement algorithm for strong preservation
Ranzato, F
Tapparo, F
[J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2005, 3440 : 140 - 156

← 1 2 3 4 5 →