Matches in SemOpenAlex for { <https://semopenalex.org/work/W2018793132> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2018793132 endingPage "684" @default.
- W2018793132 startingPage "639" @default.
- W2018793132 abstract "PIM is an equational logic designed to function as a “transformational toolkit” for compilers and other programming tools that analyze and manipulate imperative languages. It has been applied to such problems as program slicing, symbolic evaluation, conditional constant propagation, and dependence analysis. PIM consists of the untyped lambda calculus extended with an algebraic data type that characterizes the behavior of lazy stores and generalized conditionals. A graph form of PIM terms is by design closely related to several intermediate representations commonly used in optimizing compilers. In this article, we show that PIM's core algebraic component, PIM t , possesses a complete equational axiomatization (under the assumption of certain reasonable restrictions on term formation). This has the practical consequence of guaranteeing that every semantics-preserving transformation on a program representable in PIM t can be derived by application of PIM t rules. We systematically derive the complete PIM t logic as the culmination of a sequence of increasingly powerful equational systems starting from a straightforward “interpreter” for closed PIM t terms. This work is an intermediate step in a larger program to develop a set of well-founded tools for manipulation of imperative programs by compilers and other systems that perform program analysis." @default.
- W2018793132 created "2016-06-24" @default.
- W2018793132 creator A5026867311 @default.
- W2018793132 creator A5032380170 @default.
- W2018793132 creator A5040787265 @default.
- W2018793132 creator A5076517975 @default.
- W2018793132 date "1997-09-01" @default.
- W2018793132 modified "2023-10-16" @default.
- W2018793132 title "Toward a complete transformational toolkit for compilers" @default.
- W2018793132 cites W1540909559 @default.
- W2018793132 cites W1575771936 @default.
- W2018793132 cites W1982205631 @default.
- W2018793132 cites W1987632834 @default.
- W2018793132 cites W1998256061 @default.
- W2018793132 cites W2006468185 @default.
- W2018793132 cites W2010525351 @default.
- W2018793132 cites W2032396207 @default.
- W2018793132 cites W2037081226 @default.
- W2018793132 cites W2063805449 @default.
- W2018793132 cites W2067693540 @default.
- W2018793132 cites W2086312242 @default.
- W2018793132 cites W2086722576 @default.
- W2018793132 cites W2110846749 @default.
- W2018793132 cites W2117639686 @default.
- W2018793132 cites W2144344516 @default.
- W2018793132 cites W2151716725 @default.
- W2018793132 cites W2157527989 @default.
- W2018793132 doi "https://doi.org/10.1145/265943.265944" @default.
- W2018793132 hasPublicationYear "1997" @default.
- W2018793132 type Work @default.
- W2018793132 sameAs 2018793132 @default.
- W2018793132 citedByCount "12" @default.
- W2018793132 crossrefType "journal-article" @default.
- W2018793132 hasAuthorship W2018793132A5026867311 @default.
- W2018793132 hasAuthorship W2018793132A5032380170 @default.
- W2018793132 hasAuthorship W2018793132A5040787265 @default.
- W2018793132 hasAuthorship W2018793132A5076517975 @default.
- W2018793132 hasBestOaLocation W20187931321 @default.
- W2018793132 hasConcept C169590947 @default.
- W2018793132 hasConcept C199360897 @default.
- W2018793132 hasConcept C2778361913 @default.
- W2018793132 hasConcept C41008148 @default.
- W2018793132 hasConcept C80444323 @default.
- W2018793132 hasConceptScore W2018793132C169590947 @default.
- W2018793132 hasConceptScore W2018793132C199360897 @default.
- W2018793132 hasConceptScore W2018793132C2778361913 @default.
- W2018793132 hasConceptScore W2018793132C41008148 @default.
- W2018793132 hasConceptScore W2018793132C80444323 @default.
- W2018793132 hasIssue "5" @default.
- W2018793132 hasLocation W20187931321 @default.
- W2018793132 hasOpenAccess W2018793132 @default.
- W2018793132 hasPrimaryLocation W20187931321 @default.
- W2018793132 hasRelatedWork W1497385637 @default.
- W2018793132 hasRelatedWork W1498982577 @default.
- W2018793132 hasRelatedWork W1512248002 @default.
- W2018793132 hasRelatedWork W2004605222 @default.
- W2018793132 hasRelatedWork W2044422526 @default.
- W2018793132 hasRelatedWork W2086733238 @default.
- W2018793132 hasRelatedWork W2192862863 @default.
- W2018793132 hasRelatedWork W2369288331 @default.
- W2018793132 hasRelatedWork W2519339279 @default.
- W2018793132 hasRelatedWork W2467097043 @default.
- W2018793132 hasVolume "19" @default.
- W2018793132 isParatext "false" @default.
- W2018793132 isRetracted "false" @default.
- W2018793132 magId "2018793132" @default.
- W2018793132 workType "article" @default.