ePubs
The open archive for STFC research publications
Home
About ePubs
Content Policies
News
Help
Privacy/Cookies
Suggest an Enhancement
Contact ePubs
Full Record Details
Persistent URL
http://purl.org/net/epubs/work/29068
Record Status
Checked
Record Id
29068
Title
Interpolation in Practical Formal Development
Contributors
T Dimitrakos (CCLRC Rutherford Appleton Lab.)
,
J Bicarregui (CCLRC Rutherford Appleton Lab.)
,
TSE Maibaum
,
DM Gabbay
Abstract
Interpolation (together with completeness and decidability)has become one of the standard properties that logicians investigate when designing a logic. In this paper, we provide strong evidence that the presence of interpolants is not only cogent for scientific reasoning but has also important practical implications in computer science. We illustrate that interpolation in general, and uniform splitting interpolants, in particular, play an important role in applications where formality and modularity are invoked. In recognition of the fact that common logical formalisms often lack uniform interpolants, we advocate the need for developing general methods to (re)engineer a specification logic so that (at least) some critical uniform interpolants become available.
Organisation
CCLRC
,
BITD
Keywords
information flow
,
B
,
modularity
,
structuring
,
Craig interpolation
,
formal specification
Funding Information
Related Research Object(s):
34215
Licence Information:
Language
English (EN)
Type
Details
URI(s)
Local file(s)
Year
Paper In Conference Proceedings
In International Conference on Pure and Applied Practical Reasoning (FAPR 2000), London, England, 2000, (2000).
2000
Showing record 1 of 1
Recent Additions
Browse Organisations
Browse Journals/Series
Login to add & manage publications and access information for OA publishing
Username:
Password:
Useful Links
Chadwick & RAL Libraries
SHERPA FACT
SHERPA RoMEO
SHERPA JULIET
Journal Checker Tool
Google Scholar