Matches in SemOpenAlex for { <https://semopenalex.org/work/W2533145904> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W2533145904 abstract "Ground Prolog (as described by Kluzniak [2, 3]) is a restriction of Prolog that, enables a very good data flow analysis, and thereby compilation to efficient object code. Two important restrictions are: (1) Directionality {mode} declarations for every predicate must be provided by the programmer, i.e, all argument positions for all predicates must be defined as either “in” or “out” arguments. (2) The groundness restriction: whenever a call is executed, all its parameters at “in” argument positions must be ground, and when it succeeds all “out” parameters must be ground. These restrictions exclude some common programming techniques used in (standard) Prolog programs, such as open-ended lists. To compensate for this a high quality dataflow analysis is essential. Kluźniak defined a method for data flow analysis of Ground Prolog programs and described how the result can be used for type synthesis and compile time garbage collection. Kluźniak constructed a graph with the program variables as nodes and with edges between variables occurring in corresponding formal and actual argument positions. In principle, the transitive closure of the graph then represents the result of the dataflow analysis, This produces an over approximation of the dataflow ill that there might be edges between variables that will not pass data between them. The approach is however unnecessarily imprecise. We improve the approach by putting “constraints” on the edges. These can prevent some pairs of edges from producing new transitive edges that are obviously wrong. This is an extension of [1], and shows more clearly the problems with Kluzniak's method, and in a more formal way describes how it can be considerably improved." @default.
- W2533145904 created "2016-10-28" @default.
- W2533145904 creator A5035808622 @default.
- W2533145904 date "1994-01-01" @default.
- W2533145904 modified "2023-09-26" @default.
- W2533145904 title "A Dataflow Analysis Method for Ground Prolog" @default.
- W2533145904 doi "https://doi.org/10.7551/mitpress/4316.003.0079" @default.
- W2533145904 hasPublicationYear "1994" @default.
- W2533145904 type Work @default.
- W2533145904 sameAs 2533145904 @default.
- W2533145904 citedByCount "0" @default.
- W2533145904 crossrefType "book-chapter" @default.
- W2533145904 hasAuthorship W2533145904A5035808622 @default.
- W2533145904 hasConcept C114614502 @default.
- W2533145904 hasConcept C128838566 @default.
- W2533145904 hasConcept C132525143 @default.
- W2533145904 hasConcept C140146324 @default.
- W2533145904 hasConcept C191399111 @default.
- W2533145904 hasConcept C199360897 @default.
- W2533145904 hasConcept C33923547 @default.
- W2533145904 hasConcept C41008148 @default.
- W2533145904 hasConcept C489000 @default.
- W2533145904 hasConcept C55439883 @default.
- W2533145904 hasConcept C77088390 @default.
- W2533145904 hasConcept C80444323 @default.
- W2533145904 hasConcept C81721847 @default.
- W2533145904 hasConcept C96324660 @default.
- W2533145904 hasConceptScore W2533145904C114614502 @default.
- W2533145904 hasConceptScore W2533145904C128838566 @default.
- W2533145904 hasConceptScore W2533145904C132525143 @default.
- W2533145904 hasConceptScore W2533145904C140146324 @default.
- W2533145904 hasConceptScore W2533145904C191399111 @default.
- W2533145904 hasConceptScore W2533145904C199360897 @default.
- W2533145904 hasConceptScore W2533145904C33923547 @default.
- W2533145904 hasConceptScore W2533145904C41008148 @default.
- W2533145904 hasConceptScore W2533145904C489000 @default.
- W2533145904 hasConceptScore W2533145904C55439883 @default.
- W2533145904 hasConceptScore W2533145904C77088390 @default.
- W2533145904 hasConceptScore W2533145904C80444323 @default.
- W2533145904 hasConceptScore W2533145904C81721847 @default.
- W2533145904 hasConceptScore W2533145904C96324660 @default.
- W2533145904 hasLocation W25331459041 @default.
- W2533145904 hasOpenAccess W2533145904 @default.
- W2533145904 hasPrimaryLocation W25331459041 @default.
- W2533145904 hasRelatedWork W143372579 @default.
- W2533145904 hasRelatedWork W1486223792 @default.
- W2533145904 hasRelatedWork W1504459879 @default.
- W2533145904 hasRelatedWork W1528163510 @default.
- W2533145904 hasRelatedWork W1540960243 @default.
- W2533145904 hasRelatedWork W1573207071 @default.
- W2533145904 hasRelatedWork W1654585710 @default.
- W2533145904 hasRelatedWork W2037474536 @default.
- W2533145904 hasRelatedWork W2038053930 @default.
- W2533145904 hasRelatedWork W2067145567 @default.
- W2533145904 hasRelatedWork W2088126145 @default.
- W2533145904 hasRelatedWork W2169411626 @default.
- W2533145904 hasRelatedWork W2293879310 @default.
- W2533145904 hasRelatedWork W2560880612 @default.
- W2533145904 hasRelatedWork W2625955000 @default.
- W2533145904 hasRelatedWork W266212533 @default.
- W2533145904 hasRelatedWork W2911364342 @default.
- W2533145904 hasRelatedWork W2952094916 @default.
- W2533145904 hasRelatedWork W2952261903 @default.
- W2533145904 hasRelatedWork W49609721 @default.
- W2533145904 isParatext "false" @default.
- W2533145904 isRetracted "false" @default.
- W2533145904 magId "2533145904" @default.
- W2533145904 workType "book-chapter" @default.