Matches in SemOpenAlex for { <https://semopenalex.org/work/W121244572> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W121244572 endingPage "25" @default.
- W121244572 startingPage "19" @default.
- W121244572 abstract "Unification is a useful process by which one attempts to find a substitute satisfying a given set of equations. Among several kinds of unification algorithms, the unification for equations between first-order terms is known to be decidable and to satisfy the completeness. A unification mechanism plays an important role in logic programming languages, such as Prolog. In this paper, we propose an approach to incorporating a unification mechanism into a functional programming language via first-class environments. The first-class environment is a reflective feature in a programming language, which enables us to reify environments, to handle them as first-class values such as integers and Boolean values, and to reflect the reified environment as an environment at a meta-level. By identifying resulting substitutions of unification problems as first-class environments, we can introduce unification into functional programming languages. In this paper, we first give the syntax of a simple functional language with unifications. Second, we give its operational semantics in the style of Kahn’s natural semantics. Finally, we introduce some related works and show the future direction of our works." @default.
- W121244572 created "2016-06-24" @default.
- W121244572 creator A5024158669 @default.
- W121244572 date "2014-01-01" @default.
- W121244572 modified "2023-09-27" @default.
- W121244572 title "Incorporating First-Order Unification into Functional Language via First-Class Environments" @default.
- W121244572 cites W1526043265 @default.
- W121244572 cites W1992452788 @default.
- W121244572 cites W2022873112 @default.
- W121244572 cites W2090435472 @default.
- W121244572 cites W3022449549 @default.
- W121244572 cites W4230919050 @default.
- W121244572 cites W4236324644 @default.
- W121244572 cites W4249903311 @default.
- W121244572 doi "https://doi.org/10.1007/978-3-319-11629-7_3" @default.
- W121244572 hasPublicationYear "2014" @default.
- W121244572 type Work @default.
- W121244572 sameAs 121244572 @default.
- W121244572 citedByCount "0" @default.
- W121244572 crossrefType "book-chapter" @default.
- W121244572 hasAuthorship W121244572A5024158669 @default.
- W121244572 hasConcept C128838566 @default.
- W121244572 hasConcept C153269930 @default.
- W121244572 hasConcept C154945302 @default.
- W121244572 hasConcept C184337299 @default.
- W121244572 hasConcept C199360897 @default.
- W121244572 hasConcept C2777212361 @default.
- W121244572 hasConcept C34165917 @default.
- W121244572 hasConcept C41008148 @default.
- W121244572 hasConcept C42383842 @default.
- W121244572 hasConcept C50033165 @default.
- W121244572 hasConcept C60048249 @default.
- W121244572 hasConcept C80444323 @default.
- W121244572 hasConcept C81721847 @default.
- W121244572 hasConcept C96146094 @default.
- W121244572 hasConcept C96315309 @default.
- W121244572 hasConceptScore W121244572C128838566 @default.
- W121244572 hasConceptScore W121244572C153269930 @default.
- W121244572 hasConceptScore W121244572C154945302 @default.
- W121244572 hasConceptScore W121244572C184337299 @default.
- W121244572 hasConceptScore W121244572C199360897 @default.
- W121244572 hasConceptScore W121244572C2777212361 @default.
- W121244572 hasConceptScore W121244572C34165917 @default.
- W121244572 hasConceptScore W121244572C41008148 @default.
- W121244572 hasConceptScore W121244572C42383842 @default.
- W121244572 hasConceptScore W121244572C50033165 @default.
- W121244572 hasConceptScore W121244572C60048249 @default.
- W121244572 hasConceptScore W121244572C80444323 @default.
- W121244572 hasConceptScore W121244572C81721847 @default.
- W121244572 hasConceptScore W121244572C96146094 @default.
- W121244572 hasConceptScore W121244572C96315309 @default.
- W121244572 hasLocation W1212445721 @default.
- W121244572 hasOpenAccess W121244572 @default.
- W121244572 hasPrimaryLocation W1212445721 @default.
- W121244572 hasRelatedWork W124434858 @default.
- W121244572 hasRelatedWork W1276213497 @default.
- W121244572 hasRelatedWork W1497715420 @default.
- W121244572 hasRelatedWork W1563127354 @default.
- W121244572 hasRelatedWork W1586826229 @default.
- W121244572 hasRelatedWork W175193678 @default.
- W121244572 hasRelatedWork W2030556945 @default.
- W121244572 hasRelatedWork W2040563368 @default.
- W121244572 hasRelatedWork W2048563129 @default.
- W121244572 hasRelatedWork W2062757415 @default.
- W121244572 hasRelatedWork W2067368664 @default.
- W121244572 hasRelatedWork W2127827621 @default.
- W121244572 hasRelatedWork W2172600996 @default.
- W121244572 hasRelatedWork W2255747182 @default.
- W121244572 hasRelatedWork W2493975225 @default.
- W121244572 hasRelatedWork W2534441217 @default.
- W121244572 hasRelatedWork W2550208443 @default.
- W121244572 hasRelatedWork W2565327621 @default.
- W121244572 hasRelatedWork W2772415772 @default.
- W121244572 hasRelatedWork W3148616553 @default.
- W121244572 isParatext "false" @default.
- W121244572 isRetracted "false" @default.
- W121244572 magId "121244572" @default.
- W121244572 workType "book-chapter" @default.