Matches in SemOpenAlex for { <https://semopenalex.org/work/W138848826> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W138848826 endingPage "45" @default.
- W138848826 startingPage "32" @default.
- W138848826 abstract "There have been several proposals for logic programming language based on linear logic: Lolli [6], Lygon [5], LO [3], LinLog [2], Forum [8]. In addition, BinProlog allows the use of linear implications of affine logic (a variant of linear logic) [12, 13]. In these languages, it is possible to create and consume resources dynamically as logical formulas. The efficient handling of resource formulas is therefore an important issue in the implementation of these languages. In [10], N. Tamura and Y. Kaneda proposed an abstract machine called LLPAM which is an extension of the standard WAM [14, 1] for a linear logic programming language called LLP. LLP is a superset of Prolog and a subset of Lolli. However, in the original LLPAM design, a resource formula was stored as a term in a heap memory and was not compiled into LLPAM code. In this paper, we describe an extension of LLPAM for compiling resource formulas. In our extension, resources are compiled into closures which consist of compiled code and a variable binding environment." @default.
- W138848826 created "2016-06-24" @default.
- W138848826 creator A5006956801 @default.
- W138848826 creator A5038979849 @default.
- W138848826 date "1998-01-01" @default.
- W138848826 modified "2023-09-27" @default.
- W138848826 title "Compiling Resources in a Linear Logic Programming Language." @default.
- W138848826 cites W126453265 @default.
- W138848826 cites W1498728243 @default.
- W138848826 cites W1829806208 @default.
- W138848826 cites W2070324762 @default.
- W138848826 cites W2106458801 @default.
- W138848826 cites W2156950788 @default.
- W138848826 cites W2159119479 @default.
- W138848826 cites W2911865844 @default.
- W138848826 cites W79760435 @default.
- W138848826 hasPublicationYear "1998" @default.
- W138848826 type Work @default.
- W138848826 sameAs 138848826 @default.
- W138848826 citedByCount "9" @default.
- W138848826 countsByYear W1388488262012 @default.
- W138848826 crossrefType "journal-article" @default.
- W138848826 hasAuthorship W138848826A5006956801 @default.
- W138848826 hasAuthorship W138848826A5038979849 @default.
- W138848826 hasConcept C128838566 @default.
- W138848826 hasConcept C199305712 @default.
- W138848826 hasConcept C199360897 @default.
- W138848826 hasConcept C2778029271 @default.
- W138848826 hasConcept C28077239 @default.
- W138848826 hasConcept C34165917 @default.
- W138848826 hasConcept C41008148 @default.
- W138848826 hasConcept C80444323 @default.
- W138848826 hasConcept C81721847 @default.
- W138848826 hasConceptScore W138848826C128838566 @default.
- W138848826 hasConceptScore W138848826C199305712 @default.
- W138848826 hasConceptScore W138848826C199360897 @default.
- W138848826 hasConceptScore W138848826C2778029271 @default.
- W138848826 hasConceptScore W138848826C28077239 @default.
- W138848826 hasConceptScore W138848826C34165917 @default.
- W138848826 hasConceptScore W138848826C41008148 @default.
- W138848826 hasConceptScore W138848826C80444323 @default.
- W138848826 hasConceptScore W138848826C81721847 @default.
- W138848826 hasLocation W1388488261 @default.
- W138848826 hasOpenAccess W138848826 @default.
- W138848826 hasPrimaryLocation W1388488261 @default.
- W138848826 hasRelatedWork W121190113 @default.
- W138848826 hasRelatedWork W1226241058 @default.
- W138848826 hasRelatedWork W1492862327 @default.
- W138848826 hasRelatedWork W1529317038 @default.
- W138848826 hasRelatedWork W1542681774 @default.
- W138848826 hasRelatedWork W1557487632 @default.
- W138848826 hasRelatedWork W1572831335 @default.
- W138848826 hasRelatedWork W1948618603 @default.
- W138848826 hasRelatedWork W1968027005 @default.
- W138848826 hasRelatedWork W196960493 @default.
- W138848826 hasRelatedWork W2070324762 @default.
- W138848826 hasRelatedWork W2093111544 @default.
- W138848826 hasRelatedWork W2106458801 @default.
- W138848826 hasRelatedWork W2159119479 @default.
- W138848826 hasRelatedWork W2180498373 @default.
- W138848826 hasRelatedWork W2911865844 @default.
- W138848826 hasRelatedWork W333022668 @default.
- W138848826 hasRelatedWork W574022443 @default.
- W138848826 hasRelatedWork W69115018 @default.
- W138848826 hasRelatedWork W103809722 @default.
- W138848826 isParatext "false" @default.
- W138848826 isRetracted "false" @default.
- W138848826 magId "138848826" @default.
- W138848826 workType "article" @default.