Matches in SemOpenAlex for { <https://semopenalex.org/work/W2115895669> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W2115895669 abstract "One of the advantages of using Backus' FP system for software development is the ability to reason about programs in the associated algebra of programs. In order to be able to use the algebra fully, it must be possible to obtain nonrecursive forms for recursive functions. Expansions provide this nonrecursive form. This paper presents several new expansion theorems along with examples of their use. A new method to find expansion based on object level reasoning is also presented." @default.
- W2115895669 created "2016-06-24" @default.
- W2115895669 creator A5051336430 @default.
- W2115895669 creator A5068802425 @default.
- W2115895669 date "1988-01-01" @default.
- W2115895669 modified "2023-10-18" @default.
- W2115895669 title "Expansions in the algebra of FP" @default.
- W2115895669 cites W151011738 @default.
- W2115895669 cites W1579433101 @default.
- W2115895669 cites W1580284702 @default.
- W2115895669 cites W2015477722 @default.
- W2115895669 cites W2172307690 @default.
- W2115895669 doi "https://doi.org/10.1145/322609.322610" @default.
- W2115895669 hasPublicationYear "1988" @default.
- W2115895669 type Work @default.
- W2115895669 sameAs 2115895669 @default.
- W2115895669 citedByCount "1" @default.
- W2115895669 crossrefType "proceedings-article" @default.
- W2115895669 hasAuthorship W2115895669A5051336430 @default.
- W2115895669 hasAuthorship W2115895669A5068802425 @default.
- W2115895669 hasConcept C10138342 @default.
- W2115895669 hasConcept C136119220 @default.
- W2115895669 hasConcept C154945302 @default.
- W2115895669 hasConcept C162324750 @default.
- W2115895669 hasConcept C182306322 @default.
- W2115895669 hasConcept C202444582 @default.
- W2115895669 hasConcept C2781238097 @default.
- W2115895669 hasConcept C33923547 @default.
- W2115895669 hasConcept C41008148 @default.
- W2115895669 hasConceptScore W2115895669C10138342 @default.
- W2115895669 hasConceptScore W2115895669C136119220 @default.
- W2115895669 hasConceptScore W2115895669C154945302 @default.
- W2115895669 hasConceptScore W2115895669C162324750 @default.
- W2115895669 hasConceptScore W2115895669C182306322 @default.
- W2115895669 hasConceptScore W2115895669C202444582 @default.
- W2115895669 hasConceptScore W2115895669C2781238097 @default.
- W2115895669 hasConceptScore W2115895669C33923547 @default.
- W2115895669 hasConceptScore W2115895669C41008148 @default.
- W2115895669 hasLocation W21158956691 @default.
- W2115895669 hasOpenAccess W2115895669 @default.
- W2115895669 hasPrimaryLocation W21158956691 @default.
- W2115895669 hasRelatedWork W1549289070 @default.
- W2115895669 hasRelatedWork W1995425467 @default.
- W2115895669 hasRelatedWork W2008889657 @default.
- W2115895669 hasRelatedWork W2135296302 @default.
- W2115895669 hasRelatedWork W2352384801 @default.
- W2115895669 hasRelatedWork W2360568537 @default.
- W2115895669 hasRelatedWork W2375701581 @default.
- W2115895669 hasRelatedWork W2385657694 @default.
- W2115895669 hasRelatedWork W2390261592 @default.
- W2115895669 hasRelatedWork W2785768241 @default.
- W2115895669 isParatext "false" @default.
- W2115895669 isRetracted "false" @default.
- W2115895669 magId "2115895669" @default.
- W2115895669 workType "article" @default.