Matches in SemOpenAlex for { <https://semopenalex.org/work/W93796807> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W93796807 abstract "In this chapter three simple programming languages will be introduced, with which the different methods for program verification will be illustrated. The first two languages are imperative (that is, ALGOL-like) languages, the last is functional (that is, LISP-like). Each of these programming languages will be defined by giving its syntax and operational semantics." @default.
- W93796807 created "2016-06-24" @default.
- W93796807 creator A5009725234 @default.
- W93796807 creator A5069797745 @default.
- W93796807 date "1987-01-01" @default.
- W93796807 modified "2023-09-25" @default.
- W93796807 title "Three Simple Programming Languages" @default.
- W93796807 cites W1998555378 @default.
- W93796807 cites W2012220159 @default.
- W93796807 doi "https://doi.org/10.1007/978-3-322-96753-4_3" @default.
- W93796807 hasPublicationYear "1987" @default.
- W93796807 type Work @default.
- W93796807 sameAs 93796807 @default.
- W93796807 citedByCount "0" @default.
- W93796807 crossrefType "book-chapter" @default.
- W93796807 hasAuthorship W93796807A5009725234 @default.
- W93796807 hasAuthorship W93796807A5069797745 @default.
- W93796807 hasConcept C111472728 @default.
- W93796807 hasConcept C11164408 @default.
- W93796807 hasConcept C138885662 @default.
- W93796807 hasConcept C154945302 @default.
- W93796807 hasConcept C184337299 @default.
- W93796807 hasConcept C18701968 @default.
- W93796807 hasConcept C190883126 @default.
- W93796807 hasConcept C199305712 @default.
- W93796807 hasConcept C199360897 @default.
- W93796807 hasConcept C206146517 @default.
- W93796807 hasConcept C2780586882 @default.
- W93796807 hasConcept C34165917 @default.
- W93796807 hasConcept C41008148 @default.
- W93796807 hasConcept C60048249 @default.
- W93796807 hasConcept C74149592 @default.
- W93796807 hasConceptScore W93796807C111472728 @default.
- W93796807 hasConceptScore W93796807C11164408 @default.
- W93796807 hasConceptScore W93796807C138885662 @default.
- W93796807 hasConceptScore W93796807C154945302 @default.
- W93796807 hasConceptScore W93796807C184337299 @default.
- W93796807 hasConceptScore W93796807C18701968 @default.
- W93796807 hasConceptScore W93796807C190883126 @default.
- W93796807 hasConceptScore W93796807C199305712 @default.
- W93796807 hasConceptScore W93796807C199360897 @default.
- W93796807 hasConceptScore W93796807C206146517 @default.
- W93796807 hasConceptScore W93796807C2780586882 @default.
- W93796807 hasConceptScore W93796807C34165917 @default.
- W93796807 hasConceptScore W93796807C41008148 @default.
- W93796807 hasConceptScore W93796807C60048249 @default.
- W93796807 hasConceptScore W93796807C74149592 @default.
- W93796807 hasLocation W937968071 @default.
- W93796807 hasOpenAccess W93796807 @default.
- W93796807 hasPrimaryLocation W937968071 @default.
- W93796807 hasRelatedWork W1003030448 @default.
- W93796807 hasRelatedWork W1510165340 @default.
- W93796807 hasRelatedWork W1541934969 @default.
- W93796807 hasRelatedWork W1558457371 @default.
- W93796807 hasRelatedWork W1621600482 @default.
- W93796807 hasRelatedWork W1726105365 @default.
- W93796807 hasRelatedWork W1990306052 @default.
- W93796807 hasRelatedWork W2010145286 @default.
- W93796807 hasRelatedWork W2066745099 @default.
- W93796807 hasRelatedWork W2469737022 @default.
- W93796807 hasRelatedWork W2545488462 @default.
- W93796807 hasRelatedWork W2617695691 @default.
- W93796807 hasRelatedWork W2917978408 @default.
- W93796807 hasRelatedWork W3031019392 @default.
- W93796807 hasRelatedWork W3034083498 @default.
- W93796807 hasRelatedWork W3146023698 @default.
- W93796807 hasRelatedWork W47258078 @default.
- W93796807 hasRelatedWork W637102270 @default.
- W93796807 hasRelatedWork W94048793 @default.
- W93796807 hasRelatedWork W1567946959 @default.
- W93796807 isParatext "false" @default.
- W93796807 isRetracted "false" @default.
- W93796807 magId "93796807" @default.
- W93796807 workType "book-chapter" @default.