Matches in SemOpenAlex for { <https://semopenalex.org/work/W1543017866> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W1543017866 endingPage "85" @default.
- W1543017866 startingPage "67" @default.
- W1543017866 abstract "For a variant of Backus’ functional programming language FP using non-strict operations a structured algebraic specification is given. First the basic data structure of finite nested sequences, i.e. trees with arbitrary branching, is generalized to infinite trees by allowing non-strict constructor functions. Then for the language constructs an extensional semantics is defined, and a matching operational semantics is outlined. At each level of the hierarchical specification the class of semantic models is analysed. This axiomatic definition clarifies the foundations of Backus’ algebra of functional programs. Moreover, the essential concepts of the language are clearly separated from notational extensions.Throughout the paper the particular structure of FP is explained. Backus’ original language is related to a call-by-name variant having a simpler algebra of programs. Special stress is laid on the notion of infinite objects and on the evaluation of least fixpoints of recursive definitions." @default.
- W1543017866 created "2016-06-24" @default.
- W1543017866 creator A5013482834 @default.
- W1543017866 creator A5067382949 @default.
- W1543017866 date "1983-01-01" @default.
- W1543017866 modified "2023-09-26" @default.
- W1543017866 title "An Algebraic Semantics for Backus’ Functional Programming Language with Infinite Objects" @default.
- W1543017866 cites W1525238445 @default.
- W1543017866 cites W1963912067 @default.
- W1543017866 cites W2008724123 @default.
- W1543017866 cites W2015477722 @default.
- W1543017866 cites W2045255985 @default.
- W1543017866 cites W2061786858 @default.
- W1543017866 cites W2067911767 @default.
- W1543017866 cites W2160175950 @default.
- W1543017866 cites W2172307690 @default.
- W1543017866 cites W4205872083 @default.
- W1543017866 cites W4236302107 @default.
- W1543017866 doi "https://doi.org/10.1007/978-3-642-69298-7_7" @default.
- W1543017866 hasPublicationYear "1983" @default.
- W1543017866 type Work @default.
- W1543017866 sameAs 1543017866 @default.
- W1543017866 citedByCount "2" @default.
- W1543017866 crossrefType "book-chapter" @default.
- W1543017866 hasAuthorship W1543017866A5013482834 @default.
- W1543017866 hasAuthorship W1543017866A5067382949 @default.
- W1543017866 hasConcept C136119220 @default.
- W1543017866 hasConcept C156325763 @default.
- W1543017866 hasConcept C167729594 @default.
- W1543017866 hasConcept C182419690 @default.
- W1543017866 hasConcept C184337299 @default.
- W1543017866 hasConcept C199360897 @default.
- W1543017866 hasConcept C202444582 @default.
- W1543017866 hasConcept C2524010 @default.
- W1543017866 hasConcept C2779729104 @default.
- W1543017866 hasConcept C33923547 @default.
- W1543017866 hasConcept C41008148 @default.
- W1543017866 hasConcept C42383842 @default.
- W1543017866 hasConceptScore W1543017866C136119220 @default.
- W1543017866 hasConceptScore W1543017866C156325763 @default.
- W1543017866 hasConceptScore W1543017866C167729594 @default.
- W1543017866 hasConceptScore W1543017866C182419690 @default.
- W1543017866 hasConceptScore W1543017866C184337299 @default.
- W1543017866 hasConceptScore W1543017866C199360897 @default.
- W1543017866 hasConceptScore W1543017866C202444582 @default.
- W1543017866 hasConceptScore W1543017866C2524010 @default.
- W1543017866 hasConceptScore W1543017866C2779729104 @default.
- W1543017866 hasConceptScore W1543017866C33923547 @default.
- W1543017866 hasConceptScore W1543017866C41008148 @default.
- W1543017866 hasConceptScore W1543017866C42383842 @default.
- W1543017866 hasLocation W15430178661 @default.
- W1543017866 hasOpenAccess W1543017866 @default.
- W1543017866 hasPrimaryLocation W15430178661 @default.
- W1543017866 hasRelatedWork W1502311553 @default.
- W1543017866 hasRelatedWork W1543017866 @default.
- W1543017866 hasRelatedWork W1587224678 @default.
- W1543017866 hasRelatedWork W1597178555 @default.
- W1543017866 hasRelatedWork W1855927527 @default.
- W1543017866 hasRelatedWork W2106305471 @default.
- W1543017866 hasRelatedWork W2130086153 @default.
- W1543017866 hasRelatedWork W2157716537 @default.
- W1543017866 hasRelatedWork W584408591 @default.
- W1543017866 hasRelatedWork W2788308474 @default.
- W1543017866 isParatext "false" @default.
- W1543017866 isRetracted "false" @default.
- W1543017866 magId "1543017866" @default.
- W1543017866 workType "book-chapter" @default.