FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W185043635> ?p ?o ?g. }

• W185043635 abstract "Knowing the size of the terms to which program variables are bound at run-time in logic programs is required in a class of applications related to program optimization such as, for example, recursion elimination and granularity analysis. Such size is difficult to even approximate at compile time and is thus generally computed at run-time by using (possibly predefined) predicates which traverse the terms involved. We propose a technique based on program transformation which has the potential of performing this computation much more efficiently. The technique is based on finding program procedures which are called before those in which knowledge regarding term sizes is needed and which traverse the terms whose size is to be determined, and transforming such procedures so that they compute term sizeson the fly. We present a systematic way of determining whether a given program can be transformed in order to compute a given term size at a given program point without additional term traversal. Also, if several such transformations are possible our approach allows finding minimal transformations under certain criteria. We also discuss the advantages and present some applications of our technique." @default.
• W185043635 created "2016-06-24" @default.
• W185043635 creator A5070276719 @default.
• W185043635 creator A5073531919 @default.
• W185043635 date "1993-09-01" @default.
• W185043635 modified "2023-09-26" @default.
• W185043635 title "Towards dynamic term size computation via program transformation" @default.
• W185043635 cites W125075590 @default.
• W185043635 cites W136416057 @default.
• W185043635 cites W1502605899 @default.
• W185043635 cites W1584053602 @default.
• W185043635 cites W1584930493 @default.
• W185043635 cites W1590082923 @default.
• W185043635 cites W1965377774 @default.
• W185043635 cites W1995385143 @default.
• W185043635 cites W2003295303 @default.
• W185043635 cites W2003398205 @default.
• W185043635 cites W2017860618 @default.
• W185043635 cites W2046280690 @default.
• W185043635 cites W2051600983 @default.
• W185043635 cites W2060213695 @default.
• W185043635 cites W2081810835 @default.
• W185043635 cites W2089499361 @default.
• W185043635 cites W2148389812 @default.
• W185043635 cites W2170360634 @default.
• W185043635 cites W288118142 @default.
• W185043635 hasPublicationYear "1993" @default.
• W185043635 type Work @default.
• W185043635 sameAs 185043635 @default.
• W185043635 citedByCount "0" @default.
• W185043635 crossrefType "journal-article" @default.
• W185043635 hasAuthorship W185043635A5070276719 @default.
• W185043635 hasAuthorship W185043635A5073531919 @default.
• W185043635 hasConcept C104317684 @default.
• W185043635 hasConcept C11413529 @default.
• W185043635 hasConcept C121332964 @default.
• W185043635 hasConcept C13280743 @default.
• W185043635 hasConcept C139571649 @default.
• W185043635 hasConcept C140745168 @default.
• W185043635 hasConcept C154945302 @default.
• W185043635 hasConcept C168773036 @default.
• W185043635 hasConcept C169590947 @default.
• W185043635 hasConcept C176809094 @default.
• W185043635 hasConcept C177774035 @default.
• W185043635 hasConcept C185592680 @default.
• W185043635 hasConcept C190902152 @default.
• W185043635 hasConcept C199360897 @default.
• W185043635 hasConcept C204241405 @default.
• W185043635 hasConcept C205649164 @default.
• W185043635 hasConcept C2777212361 @default.
• W185043635 hasConcept C2778361913 @default.
• W185043635 hasConcept C41008148 @default.
• W185043635 hasConcept C45374587 @default.
• W185043635 hasConcept C55493867 @default.
• W185043635 hasConcept C61797465 @default.
• W185043635 hasConcept C62520636 @default.
• W185043635 hasConcept C80444323 @default.
• W185043635 hasConcept C98183937 @default.
• W185043635 hasConceptScore W185043635C104317684 @default.
• W185043635 hasConceptScore W185043635C11413529 @default.
• W185043635 hasConceptScore W185043635C121332964 @default.
• W185043635 hasConceptScore W185043635C13280743 @default.
• W185043635 hasConceptScore W185043635C139571649 @default.
• W185043635 hasConceptScore W185043635C140745168 @default.
• W185043635 hasConceptScore W185043635C154945302 @default.
• W185043635 hasConceptScore W185043635C168773036 @default.
• W185043635 hasConceptScore W185043635C169590947 @default.
• W185043635 hasConceptScore W185043635C176809094 @default.
• W185043635 hasConceptScore W185043635C177774035 @default.
• W185043635 hasConceptScore W185043635C185592680 @default.
• W185043635 hasConceptScore W185043635C190902152 @default.
• W185043635 hasConceptScore W185043635C199360897 @default.
• W185043635 hasConceptScore W185043635C204241405 @default.
• W185043635 hasConceptScore W185043635C205649164 @default.
• W185043635 hasConceptScore W185043635C2777212361 @default.
• W185043635 hasConceptScore W185043635C2778361913 @default.
• W185043635 hasConceptScore W185043635C41008148 @default.
• W185043635 hasConceptScore W185043635C45374587 @default.
• W185043635 hasConceptScore W185043635C55493867 @default.
• W185043635 hasConceptScore W185043635C61797465 @default.
• W185043635 hasConceptScore W185043635C62520636 @default.
• W185043635 hasConceptScore W185043635C80444323 @default.
• W185043635 hasConceptScore W185043635C98183937 @default.
• W185043635 hasLocation W1850436351 @default.
• W185043635 hasOpenAccess W185043635 @default.
• W185043635 hasPrimaryLocation W1850436351 @default.
• W185043635 hasRelatedWork W110849379 @default.
• W185043635 hasRelatedWork W1507628962 @default.
• W185043635 hasRelatedWork W1579073395 @default.
• W185043635 hasRelatedWork W174998738 @default.
• W185043635 hasRelatedWork W192321465 @default.
• W185043635 hasRelatedWork W1980491019 @default.
• W185043635 hasRelatedWork W2027856109 @default.
• W185043635 hasRelatedWork W204288536 @default.
• W185043635 hasRelatedWork W2134589411 @default.
• W185043635 hasRelatedWork W2185252592 @default.
• W185043635 hasRelatedWork W2347048118 @default.
• W185043635 hasRelatedWork W2401165632 @default.
• W185043635 hasRelatedWork W2541520394 @default.
• W185043635 hasRelatedWork W2545911268 @default.

• next