Matches in SemOpenAlex for { <https://semopenalex.org/work/W2281752977> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W2281752977 endingPage "81" @default.
- W2281752977 startingPage "56" @default.
- W2281752977 abstract "Polynomial interpretations and their generalizations like quasi-interpretations have been used in the setting of first-order functional languages to design criteria ensuring statically some complexity bounds on programs [10] . This fits in the area of implicit computational complexity, which aims at giving machine-free characterizations of complexity classes. In this paper, we extend this approach to the higher-order setting. For that we consider simply-typed term rewriting systems [35] , we define higher-order polynomial interpretations for them, and we give a criterion ensuring that a program can be executed in polynomial time. In order to obtain a criterion flexible enough to validate interesting programs using higher-order primitives, we introduce a notion of polynomial quasi-interpretations, coupled with a simple termination criterion based on linear types and path-like orders." @default.
- W2281752977 created "2016-06-24" @default.
- W2281752977 creator A5084450516 @default.
- W2281752977 creator A5086169215 @default.
- W2281752977 date "2016-06-01" @default.
- W2281752977 modified "2023-10-15" @default.
- W2281752977 title "Higher-order interpretations and program complexity" @default.
- W2281752977 cites W1970954854 @default.
- W2281752977 cites W1989132974 @default.
- W2281752977 cites W1989703373 @default.
- W2281752977 cites W2010059824 @default.
- W2281752977 cites W2025130727 @default.
- W2281752977 cites W2055717180 @default.
- W2281752977 cites W2062740098 @default.
- W2281752977 cites W2069792094 @default.
- W2281752977 cites W2086747974 @default.
- W2281752977 cites W2119602299 @default.
- W2281752977 cites W4212868911 @default.
- W2281752977 doi "https://doi.org/10.1016/j.ic.2015.12.008" @default.
- W2281752977 hasPublicationYear "2016" @default.
- W2281752977 type Work @default.
- W2281752977 sameAs 2281752977 @default.
- W2281752977 citedByCount "6" @default.
- W2281752977 countsByYear W22817529772020 @default.
- W2281752977 countsByYear W22817529772022 @default.
- W2281752977 countsByYear W22817529772023 @default.
- W2281752977 crossrefType "journal-article" @default.
- W2281752977 hasAuthorship W2281752977A5084450516 @default.
- W2281752977 hasAuthorship W2281752977A5086169215 @default.
- W2281752977 hasBestOaLocation W22817529771 @default.
- W2281752977 hasConcept C10138342 @default.
- W2281752977 hasConcept C162324750 @default.
- W2281752977 hasConcept C182306322 @default.
- W2281752977 hasConcept C33923547 @default.
- W2281752977 hasConcept C41008148 @default.
- W2281752977 hasConcept C80444323 @default.
- W2281752977 hasConceptScore W2281752977C10138342 @default.
- W2281752977 hasConceptScore W2281752977C162324750 @default.
- W2281752977 hasConceptScore W2281752977C182306322 @default.
- W2281752977 hasConceptScore W2281752977C33923547 @default.
- W2281752977 hasConceptScore W2281752977C41008148 @default.
- W2281752977 hasConceptScore W2281752977C80444323 @default.
- W2281752977 hasFunder F4320320883 @default.
- W2281752977 hasLocation W22817529771 @default.
- W2281752977 hasLocation W22817529772 @default.
- W2281752977 hasLocation W22817529773 @default.
- W2281752977 hasLocation W22817529774 @default.
- W2281752977 hasLocation W22817529775 @default.
- W2281752977 hasLocation W22817529776 @default.
- W2281752977 hasOpenAccess W2281752977 @default.
- W2281752977 hasPrimaryLocation W22817529771 @default.
- W2281752977 hasRelatedWork W1979597421 @default.
- W2281752977 hasRelatedWork W2007980826 @default.
- W2281752977 hasRelatedWork W2054384926 @default.
- W2281752977 hasRelatedWork W2118359714 @default.
- W2281752977 hasRelatedWork W2142041376 @default.
- W2281752977 hasRelatedWork W2562957045 @default.
- W2281752977 hasRelatedWork W2626380860 @default.
- W2281752977 hasRelatedWork W2748952813 @default.
- W2281752977 hasRelatedWork W2899084033 @default.
- W2281752977 hasRelatedWork W4247778000 @default.
- W2281752977 hasVolume "248" @default.
- W2281752977 isParatext "false" @default.
- W2281752977 isRetracted "false" @default.
- W2281752977 magId "2281752977" @default.
- W2281752977 workType "article" @default.