On the Correctness of Bubbling

Bubbling, a recently introduced graph transformation for functional logic computations, is well-suited for the reduction of redexes with distinct replacements. Unlike backtracking, bubbling preserves operational completeness; unlike copying, it avoids the up-front construction of large contexts of r...

Full description

Saved in:
Bibliographic Details
Published inLecture notes in computer science pp. 35 - 49
Main Authors Antoy, Sergio, Brown, Daniel W., Chiang, Su-Hui
Format Book Chapter Conference Proceeding
LanguageEnglish
Published Berlin, Heidelberg Springer Berlin Heidelberg 2006
Springer
SeriesLecture Notes in Computer Science
Subjects
Applied sciences
Computer science; control theory; systems
Exact sciences and technology
Functional Logic
Logic Program
Programming languages
Software
Term Graph
Term Rewrite System
True False
Backtracking
Replacement
Graph transformation
Functional transformation
Rewriting
Online AccessGet full text

Cover

Abstract Bubbling, a recently introduced graph transformation for functional logic computations, is well-suited for the reduction of redexes with distinct replacements. Unlike backtracking, bubbling preserves operational completeness; unlike copying, it avoids the up-front construction of large contexts of redexes, an expensive and frequently wasteful operation. We recall the notion of bubbling and offer the first proof of its completeness and soundness with respect to rewriting.
AbstractList Bubbling, a recently introduced graph transformation for functional logic computations, is well-suited for the reduction of redexes with distinct replacements. Unlike backtracking, bubbling preserves operational completeness; unlike copying, it avoids the up-front construction of large contexts of redexes, an expensive and frequently wasteful operation. We recall the notion of bubbling and offer the first proof of its completeness and soundness with respect to rewriting.
Author Brown, Daniel W.
Chiang, Su-Hui
Antoy, Sergio
Author_xml – sequence: 1
  givenname: Sergio
  surname: Antoy
  fullname: Antoy, Sergio
  organization: Department of Computer Science, Portland State University, Portland, USA
– sequence: 2
  givenname: Daniel W.
  surname: Brown
  fullname: Brown, Daniel W.
  organization: Department of Computer Science, Portland State University, Portland, USA
– sequence: 3
  givenname: Su-Hui
  surname: Chiang
  fullname: Chiang, Su-Hui
  organization: Department of Computer Science, Portland State University, Portland, USA
BackLink http://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=19308670$$DView record in Pascal Francis
BookMark eNpFkD9PwzAUxA0UibZ04QOgLEgsgff87NgeoeKfVKkLzJbtOKVQnCgOA9-eoIK45U76nW64GZukNkXGzhCuEEBdI2qQFWorDtiMpACqNEk6ZFOsEEsiYY7Ywij9xwSfsCkQ8NIoQSdskfMbjCIORHLKztepGF5jsWz7PoYhxZyLtiluP73fbdPmlB03bpfj4tfn7OX-7nn5WK7WD0_Lm1XZcdRD6Wth6ihqyYNzvAEZAlcQK94YyanWPKBSvEEfdAgRTTVGL7WPXKOINdKcXex3O5eD2zW9S2GbbddvP1z_ZdEQ6ErB2Lvc9_KI0ib21rfte7YI9ucf-_8PfQMu51IH
ContentType Book Chapter
Conference Proceeding
Copyright Springer-Verlag Berlin Heidelberg 2006
2007 INIST-CNRS
Copyright_xml – notice: Springer-Verlag Berlin Heidelberg 2006
– notice: 2007 INIST-CNRS
DBID IQODW
DOI 10.1007/11805618_4
DatabaseName Pascal-Francis
DatabaseTitleList
DeliveryMethod fulltext_linktorsrc
Discipline Mathematics
Computer Science
Applied Sciences
EISBN 3540368353
9783540368359
EISSN 1611-3349
Editor Pfenning, Frank
Editor_xml – sequence: 1
  givenname: Frank
  surname: Pfenning
  fullname: Pfenning, Frank
  email: fp@cs.cmu.edu
EndPage 49
ExternalDocumentID 19308670
GroupedDBID -DT
-GH
-~X
1SB
29L
2HA
2HV
5QI
875
AASHB
ABMNI
ACGFS
ADCXD
AEFIE
ALMA_UNASSIGNED_HOLDINGS
EJD
F5P
FEDTE
HVGLF
LAS
LDH
P2P
RIG
RNI
RSU
SVGTG
VI1
~02
IQODW
ID FETCH-LOGICAL-p218t-bd49de4d52caa2f05cc270e62f9523d82c1772f1bc8cce196f1bb58be2814ed13
ISBN 9783540368342
3540368345
ISSN 0302-9743
IngestDate Sun Oct 22 16:03:30 EDT 2023
Tue Oct 01 19:56:22 EDT 2024
IsPeerReviewed true
IsScholarly true
Keywords Backtracking
Replacement
Graph transformation
Functional transformation
Rewriting
Language English
License CC BY 4.0
LinkModel OpenURL
MeetingName Term rewriting and applications (17th international conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006)
MergedId FETCHMERGED-LOGICAL-p218t-bd49de4d52caa2f05cc270e62f9523d82c1772f1bc8cce196f1bb58be2814ed13
Notes Partially supported by the NSF grant CCR-0218224.
PageCount 15
ParticipantIDs pascalfrancis_primary_19308670
springer_books_10_1007_11805618_4
PublicationCentury 2000
PublicationDate 2006
PublicationDateYYYYMMDD 2006-01-01
PublicationDate_xml – year: 2006
  text: 2006
PublicationDecade 2000
PublicationPlace Berlin, Heidelberg
PublicationPlace_xml – name: Berlin, Heidelberg
– name: Berlin
PublicationSeriesTitle Lecture Notes in Computer Science
PublicationSubtitle 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings
PublicationTitle Lecture notes in computer science
PublicationYear 2006
Publisher Springer Berlin Heidelberg
Springer
Publisher_xml – name: Springer Berlin Heidelberg
– name: Springer
RelatedPersons Kleinberg, Jon M.
Mattern, Friedemann
Nierstrasz, Oscar
Tygar, Dough
Steffen, Bernhard
Kittler, Josef
Vardi, Moshe Y.
Weikum, Gerhard
Sudan, Madhu
Naor, Moni
Mitchell, John C.
Terzopoulos, Demetri
Pandu Rangan, C.
Kanade, Takeo
Hutchison, David
RelatedPersons_xml – sequence: 1
  givenname: David
  surname: Hutchison
  fullname: Hutchison, David
  organization: Lancaster University, UK
– sequence: 2
  givenname: Takeo
  surname: Kanade
  fullname: Kanade, Takeo
  organization: Carnegie Mellon University, Pittsburgh, USA
– sequence: 3
  givenname: Josef
  surname: Kittler
  fullname: Kittler, Josef
  organization: University of Surrey, Guildford, UK
– sequence: 4
  givenname: Jon M.
  surname: Kleinberg
  fullname: Kleinberg, Jon M.
  organization: Cornell University, Ithaca, USA
– sequence: 5
  givenname: Friedemann
  surname: Mattern
  fullname: Mattern, Friedemann
  organization: ETH Zurich, Switzerland
– sequence: 6
  givenname: John C.
  surname: Mitchell
  fullname: Mitchell, John C.
  organization: Stanford University, CA, USA
– sequence: 7
  givenname: Moni
  surname: Naor
  fullname: Naor, Moni
  organization: Weizmann Institute of Science, Rehovot, Israel
– sequence: 8
  givenname: Oscar
  surname: Nierstrasz
  fullname: Nierstrasz, Oscar
  organization: University of Bern, Switzerland
– sequence: 9
  givenname: C.
  surname: Pandu Rangan
  fullname: Pandu Rangan, C.
  organization: Indian Institute of Technology, Madras, India
– sequence: 10
  givenname: Bernhard
  surname: Steffen
  fullname: Steffen, Bernhard
  organization: University of Dortmund, Germany
– sequence: 11
  givenname: Madhu
  surname: Sudan
  fullname: Sudan, Madhu
  organization: Massachusetts Institute of Technology, MA, USA
– sequence: 12
  givenname: Demetri
  surname: Terzopoulos
  fullname: Terzopoulos, Demetri
  organization: University of California, Los Angeles, USA
– sequence: 13
  givenname: Dough
  surname: Tygar
  fullname: Tygar, Dough
  organization: University of California, Berkeley, USA
– sequence: 14
  givenname: Moshe Y.
  surname: Vardi
  fullname: Vardi, Moshe Y.
  organization: Rice University, Houston, USA
– sequence: 15
  givenname: Gerhard
  surname: Weikum
  fullname: Weikum, Gerhard
  organization: Max-Planck Institute of Computer Science, Saarbruecken, Germany
SSID ssj0000320335
ssj0002792
Score 1.9036345
Snippet Bubbling, a recently introduced graph transformation for functional logic computations, is well-suited for the reduction of redexes with distinct replacements....
SourceID pascalfrancis
springer
SourceType Index Database
Publisher
StartPage 35
SubjectTerms Applied sciences
Computer science; control theory; systems
Exact sciences and technology
Functional Logic
Logic Program
Programming languages
Software
Term Graph
Term Rewrite System
True False
Title On the Correctness of Bubbling
URI http://link.springer.com/10.1007/11805618_4
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3NT8IwFG8E40EPKmrEKJmJNzIy2u7r4IEQDTEqF1Buy9q1hsQwIiMm_vW-rh0bYox6WcYYo3tv-_V99P0eQleh5GHiMNeWiuaShr60YV7ntuvELMaUJQFXoYGHR28wpncTd1I2TsyrSzLW4R_f1pX8R6twDPSqqmT_oNnVReEA7IN-YQsahu0X43c9zKoVDJgK0nlXrESm0LBXyUaX_n2mw22ACi960dWa-61rzNvPnTLRPy1iyEt7sJxWH6qhXhTZVy09eJajZKryw4y9FlOgunGxuL43uYnHNMuXfLWL9hEFmmyEFts_MG-ZyBHxAkKrcUoCQAuuisYuobHVU4yJRDOUGrzUVCVm5tXfbGC6XsahqOrA1gsiWkM1PwQw2-7d3N0_rQJqqhM8IaXvo5gRdQpJj8QU9uQjdXdWMS898gpxbflHap1svIBXReoeJxvJ8twGGR2gPVWXYqmCERDjIdoSswbaL8RqGbE20O7Diol3cYRaw5kFH62KyqxUWoXKjtH49mbUH9imJ4Y9B2Mss1lCw0TQxMU8jrF0XM6x7wgPy9DFJAkw74K_JLuMB5wLgFfYZW7ABA66VCRdcoLqs3QmTpHlYbgGl8xnTFKHeYwSj0j4dUwd7su4iVprtx_NNf9JBDY_OMK-00SXhTwi9RosooIDu5Th2S_OOUf17G0pLsC6y1jL6PUTUShKvw
link.rule.ids 310,311,782,783,787,792,793,796,4059,4060,27939
linkProvider Library Specific Holdings
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=bookitem&rft.title=Term+Rewriting+and+Applications&rft.au=Antoy%2C+Sergio&rft.au=Brown%2C+Daniel+W.&rft.au=Chiang%2C+Su-Hui&rft.atitle=On+the+Correctness+of+Bubbling&rft.series=Lecture+Notes+in+Computer+Science&rft.pub=Springer+Berlin+Heidelberg&rft.isbn=9783540368342&rft.issn=0302-9743&rft.eissn=1611-3349&rft.spage=35&rft.epage=49&rft_id=info:doi/10.1007%2F11805618_4
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0302-9743&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0302-9743&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0302-9743&client=summon