Automated Amortised Resource Analysis for Term Rewrite Systems

Based on earlier work on amortised resource analysis, we establish a novel automated amortised resource analysis for term rewrite systems. The method is presented in an inference system akin to a type system and gives rise to polynomial bounds on the innermost runtime complexity of the analysed term...

Full description

Saved in:
Bibliographic Details
Published inFunctional and Logic Programming Vol. 10818; pp. 214 - 229
Main Authors Moser, Georg, Schneckenreither, Manuel
Format Book Chapter
LanguageEnglish
Published Switzerland Springer International Publishing AG 01.01.2018
Springer International Publishing
SeriesLecture Notes in Computer Science
Subjects
Amortised complexity
Analysis of algorithms
Automation
Term rewriting
Types
Online AccessGet full text
ISBN3319906852
9783319906850
ISSN0302-9743
1611-3349
DOI10.1007/978-3-319-90686-7_14

Cover

Abstract Based on earlier work on amortised resource analysis, we establish a novel automated amortised resource analysis for term rewrite systems. The method is presented in an inference system akin to a type system and gives rise to polynomial bounds on the innermost runtime complexity of the analysed term rewrite system. Our analysis does not restrict the input rewrite system in any way. This facilitates integration in a general framework for resource analysis of programs. In particular, we have implemented the method and integrated it into our tool .
AbstractList Based on earlier work on amortised resource analysis, we establish a novel automated amortised resource analysis for term rewrite systems. The method is presented in an inference system akin to a type system and gives rise to polynomial bounds on the innermost runtime complexity of the analysed term rewrite system. Our analysis does not restrict the input rewrite system in any way. This facilitates integration in a general framework for resource analysis of programs. In particular, we have implemented the method and integrated it into our tool .
Author Moser, Georg
Schneckenreither, Manuel
Author_xml – sequence: 1
  givenname: Georg
  orcidid: 0000-0001-9240-6128
  surname: Moser
  fullname: Moser, Georg
  email: georg.moser@uibk.ac.at
  organization: Department of Computer Science, University of Innsbruck, Innsbruck, Austria
– sequence: 2
  givenname: Manuel
  orcidid: 0000-0002-4812-4665
  surname: Schneckenreither
  fullname: Schneckenreither, Manuel
  email: manuel.schneckenreither@uibk.ac.at
  organization: Department of Information Systems, Production and Logistics Management, University of Innsbruck, Innsbruck, Austria
BookMark eNo1kN1OAjEQhauiEZA38GJfoNp2uv25MdkQ_xISE8XrpixdXGW32JYY3t4CejWTc-ZMcr4RGvS-dwhdU3JDCZG3WioMGKjGmgglsDSUn6BJliGLB02eoiEVlGIArs_Q6N8o2QANCRCGteRwgUaUgOKElVRcokmMn4SQfKkl6CG6q7bJdza5ZVF1PqQ25u3VRb8NtSuq3q53sY1F40Mxd6HL1k9okyvedjG5Ll6h88auo5v8zTF6f7ifT5_w7OXxeVrN8IppkXKP3MmVjbSSiCVoV9a10ksBVjZcK5IVK4XNzoKBFQ2npeCSM61rLrhSMEbs-DduQtuvXDAL77-iocTsX5vMxYDJAMwBjdnjyiF-DG2C_966mIzbp2rXp2DX9YfdJBeiERkVI2CokIYxDb_hV2lB
ContentType Book Chapter
Copyright Springer International Publishing AG, part of Springer Nature 2018
Copyright_xml – notice: Springer International Publishing AG, part of Springer Nature 2018
DBID FFUUA
DEWEY 005.1
DOI 10.1007/978-3-319-90686-7_14
DatabaseName ProQuest Ebook Central - Book Chapters - Demo use only
DatabaseTitleList
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISBN 9783319906867
3319906860
EISSN 1611-3349
Editor Sulzmann, Martin
Gallagher, John P
Editor_xml – sequence: 1
  fullname: Sulzmann, Martin
– sequence: 2
  fullname: Gallagher, John P
EndPage 229
ExternalDocumentID EBC6302203_167_229
GroupedDBID 0D6
0DA
38.
AABBV
ACOUV
AEDXK
AEJLV
AEKFX
AEZAY
ALMA_UNASSIGNED_HOLDINGS
ANXHU
BBABE
BICGV
BJAWL
BUBNW
CVGDX
CZZ
EDOXC
FFUUA
FOYMO
I4C
IEZ
NQNQZ
OEBZI
SBO
TPJZQ
TSXQS
Z5O
Z7R
Z7S
Z7U
Z7W
Z7X
Z7Y
Z7Z
Z81
Z83
Z84
Z85
Z87
Z88
-DT
-~X
29L
2HA
2HV
ACGFS
ADCXD
EJD
F5P
LAS
LDH
P2P
RSU
~02
ID FETCH-LOGICAL-g296t-31007e5f7a706d39e5cc89d63a7f498039ea76ad39b23a6f4156474299c464883
ISBN 3319906852
9783319906850
ISSN 0302-9743
IngestDate Tue Jul 29 20:11:19 EDT 2025
Thu May 29 01:05:03 EDT 2025
IsPeerReviewed true
IsScholarly true
LCCallNum QA76.758
Language English
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-g296t-31007e5f7a706d39e5cc89d63a7f498039ea76ad39b23a6f4156474299c464883
Notes This research is partly supported by DARPA/AFRL contract number FA8750-17-C-088.
OCLC 1038402516
ORCID 0000-0001-9240-6128
0000-0002-4812-4665
PQID EBC6302203_167_229
PageCount 16
ParticipantIDs springer_books_10_1007_978_3_319_90686_7_14
proquest_ebookcentralchapters_6302203_167_229
PublicationCentury 2000
PublicationDate 2018-01-01
PublicationDateYYYYMMDD 2018-01-01
PublicationDate_xml – month: 01
  year: 2018
  text: 2018-01-01
  day: 01
PublicationDecade 2010
PublicationPlace Switzerland
PublicationPlace_xml – name: Switzerland
– name: Cham
PublicationSeriesSubtitle Theoretical Computer Science and General Issues
PublicationSeriesTitle Lecture Notes in Computer Science
PublicationSeriesTitleAlternate Lect.Notes Computer
PublicationSubtitle 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings
PublicationTitle Functional and Logic Programming
PublicationYear 2018
Publisher Springer International Publishing AG
Springer International Publishing
Publisher_xml – name: Springer International Publishing AG
– name: Springer International Publishing
RelatedPersons Kleinberg, Jon M.
Mattern, Friedemann
Naor, Moni
Mitchell, John C.
Terzopoulos, Demetri
Steffen, Bernhard
Pandu Rangan, C.
Kanade, Takeo
Kittler, Josef
Weikum, Gerhard
Hutchison, David
Tygar, Doug
RelatedPersons_xml – sequence: 1
  givenname: David
  surname: Hutchison
  fullname: Hutchison, David
  organization: Lancaster University, Lancaster, United Kingdom
– 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, United Kingdom
– 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, Zurich, Switzerland
– sequence: 6
  givenname: John C.
  surname: Mitchell
  fullname: Mitchell, John C.
  organization: Stanford University, Stanford, USA
– sequence: 7
  givenname: Moni
  surname: Naor
  fullname: Naor, Moni
  organization: Weizmann Institute of Science, Rehovot, Israel
– sequence: 8
  givenname: C.
  surname: Pandu Rangan
  fullname: Pandu Rangan, C.
  organization: Indian Institute of Technology Madras, Chennai, India
– sequence: 9
  givenname: Bernhard
  surname: Steffen
  fullname: Steffen, Bernhard
  organization: TU Dortmund University, Dortmund, Germany
– sequence: 10
  givenname: Demetri
  surname: Terzopoulos
  fullname: Terzopoulos, Demetri
  organization: University of California, Los Angeles, USA
– sequence: 11
  givenname: Doug
  surname: Tygar
  fullname: Tygar, Doug
  organization: University of California, Berkeley, USA
– sequence: 12
  givenname: Gerhard
  surname: Weikum
  fullname: Weikum, Gerhard
  organization: Max Planck Institute for Informatics, Saarbrücken, Germany
SSID ssj0001999739
ssj0002792
Score 2.1425998
Snippet Based on earlier work on amortised resource analysis, we establish a novel automated amortised resource analysis for term rewrite systems. The method is...
SourceID springer
proquest
SourceType Publisher
StartPage 214
SubjectTerms Amortised complexity
Analysis of algorithms
Automation
Term rewriting
Types
Title Automated Amortised Resource Analysis for Term Rewrite Systems
URI http://ebookcentral.proquest.com/lib/SITE_ID/reader.action?docID=6302203&ppg=229
http://link.springer.com/10.1007/978-3-319-90686-7_14
Volume 10818
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV07T8MwELagLIiBt3jLAxsyCnF6ThakUhUqBEwFsVmJkzDR8ghC4tdzl9hJE3WBJaoSN3XuS-3z5_vuGDvFSSRVBmLhqwhEEOapCPt5jqtWCGViEs9IEjjfP8D4Mbh97j83BRZLdUmRnJufhbqS_6CK5xBXUsn-Adn6pngCPyO-eESE8dhxfts0a1V3CGckS-QR-U1Fkw3F_VO41aubkFwo8lcxQ9cUncvB66ysv5zWxH2Tl4QiDic4UuOl7w_8tVY6c8sMXIQdZsAxgx1ucY7eGty0VpMS_46RB2GVCbYeHinp3cLBdj6-grRQ9F0QSleq0HZua9_yGu3c1qOrIUjS-kp9AUpTo7d3QSXBaOvc1kdZZsvYtx5bGYxu754aAg1dWyUj0uu4fvtVRqXmOea0kou62VpVdDbCS_9issHWSHPCSQyCHd9kS9l0i627ihvcDsDb7LIGktdAcgckd0ByBJITkNwCyS2QO-zxejQZjoWtgCFe_AgKQbsvKuvnKlYepDLK-saEUQoyVnkQhR6eiRXEeCXxZQw5rcYDRS6GCQCHZrnLetPZNNtjXCpaK2JL8NMgiQEtJCFKTOil6ESbfJ8JZwtd7tPb4GBTPfmn7gC1z86cwTQ1_9QuATZaWkuNltalpTVZ-uCPdz9kq80bfcR6xcdXdozeX5Gc2PfgF2CCVV0
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=Functional+and+Logic+Programming&rft.atitle=Automated+Amortised+Resource+Analysis+for+Term+Rewrite+Systems&rft.date=2018-01-01&rft.pub=Springer+International+Publishing+AG&rft.isbn=9783319906850&rft.volume=10818&rft_id=info:doi/10.1007%2F978-3-319-90686-7_14&rft.externalDBID=229&rft.externalDocID=EBC6302203_167_229
thumbnail_s http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Febookcentral.proquest.com%2Fcovers%2F6302203-l.jpg