Matches in SemOpenAlex for { <https://semopenalex.org/work/W1529960869> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W1529960869 abstract "The application of automatic transformation processes duringt he formal development and optimization of programs can introduce encumbrances in the generated code that programmers usually (or presumably) do not write. An example is the introduction of redundant arguments in the functions defined in the program. Redundancy of a parameter means that replacingi t by any expression does not change the result. In this work, we provide a method for the analysis and elimination of redundant arguments in term rewriting systems as a model for the programs that can be written in more sophisticated languages. On the basis of the uselessness of redundant arguments, we also propose an erasure procedure which may avoid wasteful computations while still preservingthe semantics (under ascertained conditions). A prototype implementation of these methods has been undertaken, which demonstrates the practicality of our approach." @default.
- W1529960869 created "2016-06-24" @default.
- W1529960869 creator A5012146310 @default.
- W1529960869 creator A5032149189 @default.
- W1529960869 creator A5033696911 @default.
- W1529960869 date "2002-01-01" @default.
- W1529960869 modified "2023-10-15" @default.
- W1529960869 title "Removing Redundant Arguments of Functions*" @default.
- W1529960869 cites W1485410855 @default.
- W1529960869 cites W1529960869 @default.
- W1529960869 cites W1603305149 @default.
- W1529960869 cites W1604951084 @default.
- W1529960869 cites W1986885542 @default.
- W1529960869 cites W1988185893 @default.
- W1529960869 cites W1991552240 @default.
- W1529960869 cites W2043325669 @default.
- W1529960869 cites W2047447540 @default.
- W1529960869 cites W2048831705 @default.
- W1529960869 cites W2061978946 @default.
- W1529960869 cites W2074030070 @default.
- W1529960869 cites W2116776985 @default.
- W1529960869 cites W2142436113 @default.
- W1529960869 cites W2157195461 @default.
- W1529960869 cites W3197614142 @default.
- W1529960869 cites W4230919050 @default.
- W1529960869 cites W4255069940 @default.
- W1529960869 cites W17669562 @default.
- W1529960869 doi "https://doi.org/10.1007/3-540-45719-4_9" @default.
- W1529960869 hasPublicationYear "2002" @default.
- W1529960869 type Work @default.
- W1529960869 sameAs 1529960869 @default.
- W1529960869 citedByCount "6" @default.
- W1529960869 countsByYear W15299608692012 @default.
- W1529960869 crossrefType "book-chapter" @default.
- W1529960869 hasAuthorship W1529960869A5012146310 @default.
- W1529960869 hasAuthorship W1529960869A5032149189 @default.
- W1529960869 hasAuthorship W1529960869A5033696911 @default.
- W1529960869 hasConcept C104317684 @default.
- W1529960869 hasConcept C111919701 @default.
- W1529960869 hasConcept C152124472 @default.
- W1529960869 hasConcept C154690210 @default.
- W1529960869 hasConcept C184337299 @default.
- W1529960869 hasConcept C185592680 @default.
- W1529960869 hasConcept C199360897 @default.
- W1529960869 hasConcept C204241405 @default.
- W1529960869 hasConcept C2778361913 @default.
- W1529960869 hasConcept C41008148 @default.
- W1529960869 hasConcept C45374587 @default.
- W1529960869 hasConcept C55493867 @default.
- W1529960869 hasConcept C80444323 @default.
- W1529960869 hasConceptScore W1529960869C104317684 @default.
- W1529960869 hasConceptScore W1529960869C111919701 @default.
- W1529960869 hasConceptScore W1529960869C152124472 @default.
- W1529960869 hasConceptScore W1529960869C154690210 @default.
- W1529960869 hasConceptScore W1529960869C184337299 @default.
- W1529960869 hasConceptScore W1529960869C185592680 @default.
- W1529960869 hasConceptScore W1529960869C199360897 @default.
- W1529960869 hasConceptScore W1529960869C204241405 @default.
- W1529960869 hasConceptScore W1529960869C2778361913 @default.
- W1529960869 hasConceptScore W1529960869C41008148 @default.
- W1529960869 hasConceptScore W1529960869C45374587 @default.
- W1529960869 hasConceptScore W1529960869C55493867 @default.
- W1529960869 hasConceptScore W1529960869C80444323 @default.
- W1529960869 hasLocation W15299608691 @default.
- W1529960869 hasOpenAccess W1529960869 @default.
- W1529960869 hasPrimaryLocation W15299608691 @default.
- W1529960869 hasRelatedWork W1493318828 @default.
- W1529960869 hasRelatedWork W1530251652 @default.
- W1529960869 hasRelatedWork W1748452786 @default.
- W1529960869 hasRelatedWork W1973678011 @default.
- W1529960869 hasRelatedWork W1975813326 @default.
- W1529960869 hasRelatedWork W1988185893 @default.
- W1529960869 hasRelatedWork W2006508316 @default.
- W1529960869 hasRelatedWork W201814071 @default.
- W1529960869 hasRelatedWork W2035959718 @default.
- W1529960869 hasRelatedWork W2067693540 @default.
- W1529960869 hasRelatedWork W2156962871 @default.
- W1529960869 hasRelatedWork W2417480471 @default.
- W1529960869 hasRelatedWork W2505952163 @default.
- W1529960869 hasRelatedWork W2522304419 @default.
- W1529960869 hasRelatedWork W2539027192 @default.
- W1529960869 hasRelatedWork W2805029593 @default.
- W1529960869 hasRelatedWork W3022862953 @default.
- W1529960869 hasRelatedWork W3088666520 @default.
- W1529960869 hasRelatedWork W3157035424 @default.
- W1529960869 hasRelatedWork W808017860 @default.
- W1529960869 isParatext "false" @default.
- W1529960869 isRetracted "false" @default.
- W1529960869 magId "1529960869" @default.
- W1529960869 workType "book-chapter" @default.