The open archive for STFC research publications

ePubs will be undergoing scheduled maintenance on 19/06/2024 between 10:00-12:00 and the service will be unavailable during this time.

Full Record Details

Persistent URL http://purl.org/net/epubs/work/29068
Record Status Checked
Record Id 29068
Title Interpolation in Practical Formal Development
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