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
11 Logical support for modularisation - Diaconnescu, Goguen et al. - 1993
10 interpolation and uniformity (context) - Dimitrakos, Maibaum et al. - 1997
10 Simpler Proof of the Modularisation Theorem for Logical Spec.. (context) - Veloso, New - 1993
9 The Specification of Computer Programs (context) - ladys, Turski et al. - 1987
9 Mathematics as a Management Tool: Proof Rules for Promotion (context) - Woodcock - 1989
8 specifications on diagrams (context) - Dimitrakos, algebraic - 1998
7 Goal-Directed Proof Theory (context) - Gabbay, Olivetti
6 Accomodating interference in the formal design of concurrent.. (context) - Jones - 1996
6 Refinement of parameterized algebraic specifications - Srinivas - 1997
6 Amalgamation and interpolation in the category of Heyting al.. (context) - Pitts - 1983
5 Craig's interpolation theorem and amalgamable varieties (context) - Maksimova - 1977
5 Completeness of the logical system for structured specificat.. - Borzyszkowski - 1999
5 Object Oriented Construction (context) - Meyer - 1988
5 Algorithm Refinement with Read and Write Frames - Bicarregui - 1993
4 Intra-Modular Structuring in Model-Oriented Specification: E.. - Bicarregui - 1995
4 Logical semantics of modularisation - de Lavalette - 1991
4 ANNALSPAL: Annals of Pure and Applied Logic (context) - van Benthem, bisimulation et al. - 1999
4 a generalised modularisation theorem - Dimitrakos, Maibaum - 2000
4 Sematnic proof of the craig interpolation theorem for intuit.. (context) - Gabbay - 1971
4 Promotin Forward Simulation (context) - Lupton - 1990
4 Harvard University Press (context) - Lavine, Infinite - 1998
3 A Guide to Practical Formal Development (context) - Lano, Language - 1996
3 M'et'eor: A Successful Application of B in a Large Project (context) - Behm, Benoit et al. - 1999
3 Ludwig-Maximilians Unversity (context) - Formal, High-Order et al. - 1994
3 parameterisation and interpolation (context) - de Lavalette - 1989
3 Formal Description of Programming Concepts (context) - Wirsing, Semantics et al. - 1991
3 Interpolation and bisimulation in temporal logic - Areces, de Rijke - 1998
3 Aix-en-Provence cedex (context) - M'editerran'ee, Steria
3 A Logical Analysis of the Static Part (context) - Dimitrakos, Bicarregui et al. - 2000
3 Preservation and Pebble Games (context) - Barwise, van Benthem - 1999
3 Oxon OX11 0PA (context) - UK, B-toolkit et al. - 1999
2 Correctness of a logical system for structured specification.. - Borzyszkowski - 1998
1 Specifications in an arbitrary instituion (context) - Sanella, Tarlecki - 1998
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