Matches in SemOpenAlex for { <https://semopenalex.org/work/W2160464770> ?p ?o ?g. }
- W2160464770 abstract "Prior diagnoses in unification-based type reconstruction systems have either missed information that is relevant, presented irrelevant details, or both. We use a framework based on the Unification Logics of Le Chenadec to define, derive and simplify proof-based source-tracking for term unification. The objects of sourcetracking are proofs in this deduction system, and correspond to path expressions over a unification graph whose labels form a semi-Dyck language of balanced parentheses. Simplification of source-tracking information is implemented as proof normalization in the rewrite system for free groups. Subject-reduction properties guarantee that normalization preserves the semantics of deductions. The presentation of the logic facilitates proof construction by a simple extension to standard unification algorithms. We apply unification source-tracking to type inference in the Curry-Hindley type system. Programs are represented as systems of syntax equations. Program slices correspond vii to weakenings of syntax and type equations. A constraint generation function maps weakenings of type equations to weakenings of syntax equations. Source-tracking information is defined in terms of the inverse of this generating function. Unification is central to many applications of symbolic computation and artificial intelligence, including computer algebra, automated theorem proving, expert systems, and programming language type systems. Source-tracking is a debugging technique based on tracing the execution of a program to identify those subparts that contribute to the result of the execution." @default.
- W2160464770 created "2016-06-24" @default.
- W2160464770 creator A5072565144 @default.
- W2160464770 creator A5088861620 @default.
- W2160464770 date "2002-01-01" @default.
- W2160464770 modified "2023-09-28" @default.
- W2160464770 title "Unification source-tracking with application to diagnosis of type inference" @default.
- W2160464770 cites W124677321 @default.
- W2160464770 cites W133133637 @default.
- W2160464770 cites W1480790918 @default.
- W2160464770 cites W1483919527 @default.
- W2160464770 cites W1487166760 @default.
- W2160464770 cites W1503973138 @default.
- W2160464770 cites W1505258642 @default.
- W2160464770 cites W1520331889 @default.
- W2160464770 cites W1527457931 @default.
- W2160464770 cites W1534993236 @default.
- W2160464770 cites W1535681052 @default.
- W2160464770 cites W1547562281 @default.
- W2160464770 cites W1557561422 @default.
- W2160464770 cites W156096601 @default.
- W2160464770 cites W1561051340 @default.
- W2160464770 cites W1577485093 @default.
- W2160464770 cites W1583295953 @default.
- W2160464770 cites W1587667242 @default.
- W2160464770 cites W159086079 @default.
- W2160464770 cites W1604924633 @default.
- W2160464770 cites W1829244603 @default.
- W2160464770 cites W1890888469 @default.
- W2160464770 cites W1963429896 @default.
- W2160464770 cites W1964952791 @default.
- W2160464770 cites W1973576343 @default.
- W2160464770 cites W1974087219 @default.
- W2160464770 cites W1980456041 @default.
- W2160464770 cites W1980647766 @default.
- W2160464770 cites W1983382292 @default.
- W2160464770 cites W1986022261 @default.
- W2160464770 cites W1990211242 @default.
- W2160464770 cites W1998440693 @default.
- W2160464770 cites W1999346653 @default.
- W2160464770 cites W1999764179 @default.
- W2160464770 cites W2003116861 @default.
- W2160464770 cites W2011824721 @default.
- W2160464770 cites W2019376542 @default.
- W2160464770 cites W2027657506 @default.
- W2160464770 cites W2031327296 @default.
- W2160464770 cites W2036292005 @default.
- W2160464770 cites W2038945974 @default.
- W2160464770 cites W2045304669 @default.
- W2160464770 cites W2045313089 @default.
- W2160464770 cites W2049424119 @default.
- W2160464770 cites W2051494444 @default.
- W2160464770 cites W2055065270 @default.
- W2160464770 cites W2056016391 @default.
- W2160464770 cites W2056310485 @default.
- W2160464770 cites W2062727459 @default.
- W2160464770 cites W2062950667 @default.
- W2160464770 cites W2072893471 @default.
- W2160464770 cites W2074059738 @default.
- W2160464770 cites W2075870487 @default.
- W2160464770 cites W2090790829 @default.
- W2160464770 cites W2100738443 @default.
- W2160464770 cites W2108309071 @default.
- W2160464770 cites W2112920894 @default.
- W2160464770 cites W2113722134 @default.
- W2160464770 cites W2133472914 @default.
- W2160464770 cites W2134658687 @default.
- W2160464770 cites W2137417304 @default.
- W2160464770 cites W2139966078 @default.
- W2160464770 cites W2141104250 @default.
- W2160464770 cites W2141568518 @default.
- W2160464770 cites W2151384546 @default.
- W2160464770 cites W2154273644 @default.
- W2160464770 cites W2154632906 @default.
- W2160464770 cites W2157266926 @default.
- W2160464770 cites W2162319857 @default.
- W2160464770 cites W2163976959 @default.
- W2160464770 cites W2166822586 @default.
- W2160464770 cites W2168280960 @default.
- W2160464770 cites W2293624369 @default.
- W2160464770 cites W2293770661 @default.
- W2160464770 cites W2294680933 @default.
- W2160464770 cites W25491848 @default.
- W2160464770 cites W2912858146 @default.
- W2160464770 cites W2913944636 @default.
- W2160464770 cites W2915015834 @default.
- W2160464770 cites W2970349335 @default.
- W2160464770 cites W3128891208 @default.
- W2160464770 cites W3163132554 @default.
- W2160464770 cites W41944118 @default.
- W2160464770 cites W53653091 @default.
- W2160464770 cites W93523116 @default.
- W2160464770 cites W975212003 @default.
- W2160464770 cites W1501959818 @default.
- W2160464770 cites W160157518 @default.
- W2160464770 cites W2298369060 @default.
- W2160464770 cites W2484245539 @default.
- W2160464770 cites W3083490477 @default.
- W2160464770 hasPublicationYear "2002" @default.
- W2160464770 type Work @default.