Show simple item record

dc.contributor.authorShafarenko, A.
dc.date.accessioned2007-10-04T10:55:53Z
dc.date.available2007-10-04T10:55:53Z
dc.date.issued2004
dc.identifier.citationShafarenko , A 2004 , General homomorphic overloading . in Implementation and Application of Functional Languages : 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004 Revised Selected Papers . Lecture Notes in Computer Science , vol. 3474 , Springer Nature , pp. 195-210 . https://doi.org/10.1007/11431664_12
dc.identifier.isbn978-3-540-32038-8
dc.identifier.otherPURE: 1799630
dc.identifier.otherPURE UUID: 0f0c6869-9833-4c60-8593-a549d77287c3
dc.identifier.otherdspace: 2299/847
dc.identifier.otherScopus: 24944514074
dc.identifier.urihttp://hdl.handle.net/2299/847
dc.description.abstractA general homomorphic overloading in a first-order type system is discussed and its attendant subtype inference problem is formulated. We propose a computationally efficient type inference algorithm by converting the attendant constraint-satisfaction problem into the algebraic path problem for a constraint graph weighted with elements of a specially constructed non-commutative star semiring. The elements of the semiring are monotonic functions from integers to integers (including ±∞) with pointwise maximum and function composition as semiring operations. The computational efficiency of our method is due to Kleene’s algebraic path method’s cubic complexityen
dc.language.isoeng
dc.publisherSpringer Nature
dc.relation.ispartofImplementation and Application of Functional Languages
dc.relation.ispartofseriesLecture Notes in Computer Science
dc.titleGeneral homomorphic overloadingen
dc.contributor.institutionSchool of Computer Science
dc.contributor.institutionScience & Technology Research Institute
rioxxterms.versionAM
rioxxterms.versionofrecordhttps://doi.org/10.1007/11431664_12
rioxxterms.typeOther
herts.preservation.rarelyaccessedtrue


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record