A semantic approach to interpolation

Andrei Popescu; Traian Florin Şerbǎnuţǎ; Grigore Roşu

doi:10.1007/11690634_21

A semantic approach to interpolation

Andrei Popescu, Traian Florin Şerbǎnuţǎ, Grigore Roşu

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

Interpolation results are investigated for various types of formulae. By shifting the focus from syntactic to semantic interpolation, we generate, prove and classify a series of interpolation results for first-order logic. A few of these results non-trivially generalize known interpolation results. All the others are new.

Original language	English (US)
Title of host publication	Foundations of Software Science and Computation Structures - 9th International Conf., FOSSACS 2006. Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2006, Proc.
Pages	307-321
Number of pages	15
DOIs	https://doi.org/10.1007/11690634_21
State	Published - 2006
Event	9th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2006. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006 - Vienna, Austria Duration: Mar 25 2006 → Mar 31 2006

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	3921 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Other

Other	9th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2006. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006
Country/Territory	Austria
City	Vienna
Period	3/25/06 → 3/31/06

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Online availability

10.1007/11690634_21

Library availability

Discover UIUC Full Text

Cite this

Popescu, A., Şerbǎnuţǎ, T. F., & Roşu, G. (2006). A semantic approach to interpolation. In Foundations of Software Science and Computation Structures - 9th International Conf., FOSSACS 2006. Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2006, Proc. (pp. 307-321). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 3921 LNCS). https://doi.org/10.1007/11690634_21

A semantic approach to interpolation. / Popescu, Andrei; Şerbǎnuţǎ, Traian Florin; Roşu, Grigore.
Foundations of Software Science and Computation Structures - 9th International Conf., FOSSACS 2006. Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2006, Proc.. 2006. p. 307-321 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 3921 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Popescu, A, Şerbǎnuţǎ, TF & Roşu, G 2006, A semantic approach to interpolation. in Foundations of Software Science and Computation Structures - 9th International Conf., FOSSACS 2006. Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2006, Proc.. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 3921 LNCS, pp. 307-321, 9th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2006. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, 3/25/06. https://doi.org/10.1007/11690634_21

Popescu A, Şerbǎnuţǎ TF, Roşu G. A semantic approach to interpolation. In Foundations of Software Science and Computation Structures - 9th International Conf., FOSSACS 2006. Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2006, Proc.. 2006. p. 307-321. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/11690634_21

Popescu, Andrei ; Şerbǎnuţǎ, Traian Florin ; Roşu, Grigore. / A semantic approach to interpolation. Foundations of Software Science and Computation Structures - 9th International Conf., FOSSACS 2006. Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2006, Proc.. 2006. pp. 307-321 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{2c57956e330a41799e187badd9969b9c,

title = "A semantic approach to interpolation",

abstract = "Interpolation results are investigated for various types of formulae. By shifting the focus from syntactic to semantic interpolation, we generate, prove and classify a series of interpolation results for first-order logic. A few of these results non-trivially generalize known interpolation results. All the others are new.",

author = "Andrei Popescu and {\c S}erbǎnu{\c t}ǎ, {Traian Florin} and Grigore Ro{\c s}u",

note = "Funding Information: I Supported by NSF grants CCF-0448501, CNS-0509321 and CNS-0720512, NASA grant NNL08AA23C, and by several Microsoft gifts. This paper is a full version (including detailed proofs, more detailed explanations and constructions, and some further results) of the homonymous conference paper [A. Popescu, T. Serbanuta, G. Rosu, A semantic approach to interpolation, in: L. Aceto, A. Ing{\'o}lfsd{\'o}ttir (Eds.), FoSSaCS, in: Lecture Notes in Computer Science,; 9th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2006. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006 ; Conference date: 25-03-2006 Through 31-03-2006",

year = "2006",

doi = "10.1007/11690634_21",

language = "English (US)",

isbn = "3540330453",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "307--321",

booktitle = "Foundations of Software Science and Computation Structures - 9th International Conf., FOSSACS 2006. Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2006, Proc.",

}

TY - GEN

T1 - A semantic approach to interpolation

AU - Popescu, Andrei

AU - Şerbǎnuţǎ, Traian Florin

AU - Roşu, Grigore

N1 - Funding Information: I Supported by NSF grants CCF-0448501, CNS-0509321 and CNS-0720512, NASA grant NNL08AA23C, and by several Microsoft gifts. This paper is a full version (including detailed proofs, more detailed explanations and constructions, and some further results) of the homonymous conference paper [A. Popescu, T. Serbanuta, G. Rosu, A semantic approach to interpolation, in: L. Aceto, A. Ingólfsdóttir (Eds.), FoSSaCS, in: Lecture Notes in Computer Science,

PY - 2006

Y1 - 2006

N2 - Interpolation results are investigated for various types of formulae. By shifting the focus from syntactic to semantic interpolation, we generate, prove and classify a series of interpolation results for first-order logic. A few of these results non-trivially generalize known interpolation results. All the others are new.

AB - Interpolation results are investigated for various types of formulae. By shifting the focus from syntactic to semantic interpolation, we generate, prove and classify a series of interpolation results for first-order logic. A few of these results non-trivially generalize known interpolation results. All the others are new.

UR - http://www.scopus.com/inward/record.url?scp=33745803378&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=33745803378&partnerID=8YFLogxK

U2 - 10.1007/11690634_21

DO - 10.1007/11690634_21

M3 - Conference contribution

AN - SCOPUS:33745803378

SN - 3540330453

SN - 9783540330455

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 307

EP - 321

BT - Foundations of Software Science and Computation Structures - 9th International Conf., FOSSACS 2006. Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2006, Proc.

T2 - 9th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2006. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006

Y2 - 25 March 2006 through 31 March 2006

ER -

A semantic approach to interpolation

Abstract

Publication series

Other

ASJC Scopus subject areas

Online availability

Library availability

Related links

Fingerprint

Cite this