Juan Bicarregui, Theo Dimitrakos  Home/Search
Context Related
| theory.doc.ic.ac.uk:80/~j...fapr2000.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: theory.doc.ic.ac.uk/~jcb1...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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... (Update)
Similar documents based on text: More All
0.8: Interpolation in Practical Formal - Development Juan Bicarregui (Correct)
0.3: Compositional Structuring in the B-Method: A.. - Dimitrakos.. (2000) (Correct)
0.2: The VDM+B project: Objectives and Progress - Bicarregui, Dimitrakos, Lano.. (Correct)
BibTeX entry: (Update)
J.Bicarregui, T.Dimitrakos, D.Gabbay, T.Maibaum. Interpolation in Practical Formal Development. Logic Journal of the IGPL, 9, no. 2 (2001), 247-259. http://citeseer.ist.psu.edu/bicarregui00interpolation.html More
@misc{ bicarregui01interpolation,
author = "J. Bicarregui and T. Dimitrakos and D. Gabbay and T. Maibaum",
title = "Interpolation in Practical Formal Development",
text = "J.Bicarregui, T.Dimitrakos, D.Gabbay, T.Maibaum. Interpolation in Practical
Formal Development. Logic Journal of the IGPL, 9, no. 2 (2001), 247-259.",
year = "2001",
url = "citeseer.ist.psu.edu/bicarregui00interpolation.html" }
Citations (may not include all citations):652 A Discipline of Programming (context) - Dijkstra - 1976
404 A calculus for cryptographic protocols: the spi calculus - Abadi, Gordon - 1999
370 A Mathematical Introduction to Logic (context) - Enderton - 1972
254 Book : Assigning Programs to Meanings (context) - Abrial - 1996
234 Institutions: Abstract Model Theory for Specification and Pr.. (context) - Goguen, Burstall - 1992
198 Toward Formal Development of Programs from Algebraic Specifi.. - Sannella, Soko et al. - 1992
56 Module algebra (context) - Bergstra, Heering et al. - 1990
47 Process algebra and non-interference - Ryan, Schneider - 1999
17 Axiomatising specification theory (context) - Maibaum, Sadler - 1985
14 Development of Parallel Programs on Shared Data-Structures (context) - Stolen - 1990
12 Failure of interpolation in combined modal logics - Marx, Areces - 1999
12 the modularisation theorem for logical specifications (context) - Veloso, Maibaum - 1995
12 Formal support for specification design and implementation (context) - Dimitrakos - 1998
11 An Interpolation Theorem in Equational Logic (context) - Rodenburg, van Galbbeek - 1988
11 Reflecting on incompleteness (context) - Feferman - 1991
[Article contains additional citations not shown here]
Documents on the same site (http://theory.doc.ic.ac.uk/~jcb1/index.html): More
Objects, Associations and Subsystems: a hierarchical.. - Maibaum, Bicarregui (1999) (Correct)
Integrating EXPRESS and SGML for Document Modelling in.. - Bicarregui, Matthews (1995) (Correct)
Component Composition in Business and System Modeling - Kent, Lano, Bicarregui.. (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC