Matches in SemOpenAlex for { <https://semopenalex.org/work/W1163451340> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W1163451340 endingPage "49" @default.
- W1163451340 startingPage "34" @default.
- W1163451340 abstract "Linear logic programs are challenging to implement efficiently because facts are asserted and retracted frequently. Implementation is made more difficult with the introduction of useful features such as rule priorities, which are used to specify the order of rule inference, and comprehensions or aggregates, which are mechanisms that make data iteration and gathering more intuitive. In this paper, we describe a compilation scheme for transforming linear logic programs enhanced with those features into efficient C++ code. Our experimental results show that compiled logic programs are less than one order of magnitude slower than hand-written C programs and much faster than interpreted languages such as Python." @default.
- W1163451340 created "2016-06-24" @default.
- W1163451340 creator A5007895512 @default.
- W1163451340 creator A5091030627 @default.
- W1163451340 date "2015-01-01" @default.
- W1163451340 modified "2023-09-26" @default.
- W1163451340 title "On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities" @default.
- W1163451340 cites W1480740341 @default.
- W1163451340 cites W1986864937 @default.
- W1163451340 cites W2139267958 @default.
- W1163451340 cites W2570710533 @default.
- W1163451340 cites W3138626798 @default.
- W1163451340 doi "https://doi.org/10.1007/978-3-319-19686-2_3" @default.
- W1163451340 hasPublicationYear "2015" @default.
- W1163451340 type Work @default.
- W1163451340 sameAs 1163451340 @default.
- W1163451340 citedByCount "2" @default.
- W1163451340 countsByYear W11634513402015 @default.
- W1163451340 countsByYear W11634513402017 @default.
- W1163451340 crossrefType "book-chapter" @default.
- W1163451340 hasAuthorship W1163451340A5007895512 @default.
- W1163451340 hasAuthorship W1163451340A5091030627 @default.
- W1163451340 hasBestOaLocation W11634513402 @default.
- W1163451340 hasConcept C128838566 @default.
- W1163451340 hasConcept C134306372 @default.
- W1163451340 hasConcept C154945302 @default.
- W1163451340 hasConcept C199360897 @default.
- W1163451340 hasConcept C2776214188 @default.
- W1163451340 hasConcept C2987117450 @default.
- W1163451340 hasConcept C33923547 @default.
- W1163451340 hasConcept C3746660 @default.
- W1163451340 hasConcept C41008148 @default.
- W1163451340 hasConcept C519991488 @default.
- W1163451340 hasConcept C77618280 @default.
- W1163451340 hasConcept C80444323 @default.
- W1163451340 hasConceptScore W1163451340C128838566 @default.
- W1163451340 hasConceptScore W1163451340C134306372 @default.
- W1163451340 hasConceptScore W1163451340C154945302 @default.
- W1163451340 hasConceptScore W1163451340C199360897 @default.
- W1163451340 hasConceptScore W1163451340C2776214188 @default.
- W1163451340 hasConceptScore W1163451340C2987117450 @default.
- W1163451340 hasConceptScore W1163451340C33923547 @default.
- W1163451340 hasConceptScore W1163451340C3746660 @default.
- W1163451340 hasConceptScore W1163451340C41008148 @default.
- W1163451340 hasConceptScore W1163451340C519991488 @default.
- W1163451340 hasConceptScore W1163451340C77618280 @default.
- W1163451340 hasConceptScore W1163451340C80444323 @default.
- W1163451340 hasLocation W11634513401 @default.
- W1163451340 hasLocation W11634513402 @default.
- W1163451340 hasOpenAccess W1163451340 @default.
- W1163451340 hasPrimaryLocation W11634513401 @default.
- W1163451340 hasRelatedWork W1517563066 @default.
- W1163451340 hasRelatedWork W1519042757 @default.
- W1163451340 hasRelatedWork W156767974 @default.
- W1163451340 hasRelatedWork W1575648560 @default.
- W1163451340 hasRelatedWork W1586528383 @default.
- W1163451340 hasRelatedWork W2014410720 @default.
- W1163451340 hasRelatedWork W2953307851 @default.
- W1163451340 hasRelatedWork W400730432 @default.
- W1163451340 hasRelatedWork W2583571924 @default.
- W1163451340 hasRelatedWork W2583989031 @default.
- W1163451340 isParatext "false" @default.
- W1163451340 isRetracted "false" @default.
- W1163451340 magId "1163451340" @default.
- W1163451340 workType "book-chapter" @default.