Matches in SemOpenAlex for { <https://semopenalex.org/work/W2021404497> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2021404497 abstract "Language definitions by abstract interpreters are appropriate to the design and development of a language. Axiomatic definitions are more appropriate to proving program properties and verification of compilers. The proof methods of Manna and Ashcroft can be applied to an algorithmic definition in, e.g. the Vienna Definition Language to deduce theorems which constitute an axiomatic definition of precisely the same language.The process and techniques are explained, and illustrated on a simple language of assignment statements." @default.
- W2021404497 created "2016-06-24" @default.
- W2021404497 creator A5031741355 @default.
- W2021404497 date "1972-01-01" @default.
- W2021404497 modified "2023-09-25" @default.
- W2021404497 title "Derivation of axiomatic definitions of programming languages from algorithmic definitions" @default.
- W2021404497 cites W109220837 @default.
- W2021404497 cites W2114171196 @default.
- W2021404497 cites W2135129747 @default.
- W2021404497 cites W3145405294 @default.
- W2021404497 cites W3146075203 @default.
- W2021404497 doi "https://doi.org/10.1145/800235.807069" @default.
- W2021404497 hasPublicationYear "1972" @default.
- W2021404497 type Work @default.
- W2021404497 sameAs 2021404497 @default.
- W2021404497 citedByCount "1" @default.
- W2021404497 crossrefType "proceedings-article" @default.
- W2021404497 hasAuthorship W2021404497A5031741355 @default.
- W2021404497 hasConcept C111472728 @default.
- W2021404497 hasConcept C122783720 @default.
- W2021404497 hasConcept C125773388 @default.
- W2021404497 hasConcept C138885662 @default.
- W2021404497 hasConcept C167729594 @default.
- W2021404497 hasConcept C169590947 @default.
- W2021404497 hasConcept C18701968 @default.
- W2021404497 hasConcept C199305712 @default.
- W2021404497 hasConcept C199343813 @default.
- W2021404497 hasConcept C199360897 @default.
- W2021404497 hasConcept C2524010 @default.
- W2021404497 hasConcept C2777686260 @default.
- W2021404497 hasConcept C2780586882 @default.
- W2021404497 hasConcept C33923547 @default.
- W2021404497 hasConcept C34165917 @default.
- W2021404497 hasConcept C41008148 @default.
- W2021404497 hasConcept C71924100 @default.
- W2021404497 hasConcept C80444323 @default.
- W2021404497 hasConceptScore W2021404497C111472728 @default.
- W2021404497 hasConceptScore W2021404497C122783720 @default.
- W2021404497 hasConceptScore W2021404497C125773388 @default.
- W2021404497 hasConceptScore W2021404497C138885662 @default.
- W2021404497 hasConceptScore W2021404497C167729594 @default.
- W2021404497 hasConceptScore W2021404497C169590947 @default.
- W2021404497 hasConceptScore W2021404497C18701968 @default.
- W2021404497 hasConceptScore W2021404497C199305712 @default.
- W2021404497 hasConceptScore W2021404497C199343813 @default.
- W2021404497 hasConceptScore W2021404497C199360897 @default.
- W2021404497 hasConceptScore W2021404497C2524010 @default.
- W2021404497 hasConceptScore W2021404497C2777686260 @default.
- W2021404497 hasConceptScore W2021404497C2780586882 @default.
- W2021404497 hasConceptScore W2021404497C33923547 @default.
- W2021404497 hasConceptScore W2021404497C34165917 @default.
- W2021404497 hasConceptScore W2021404497C41008148 @default.
- W2021404497 hasConceptScore W2021404497C71924100 @default.
- W2021404497 hasConceptScore W2021404497C80444323 @default.
- W2021404497 hasLocation W20214044971 @default.
- W2021404497 hasOpenAccess W2021404497 @default.
- W2021404497 hasPrimaryLocation W20214044971 @default.
- W2021404497 hasRelatedWork W1487166760 @default.
- W2021404497 hasRelatedWork W1488292318 @default.
- W2021404497 hasRelatedWork W1551292822 @default.
- W2021404497 hasRelatedWork W1592889332 @default.
- W2021404497 hasRelatedWork W1886975807 @default.
- W2021404497 hasRelatedWork W2006462142 @default.
- W2021404497 hasRelatedWork W2006602106 @default.
- W2021404497 hasRelatedWork W2025362357 @default.
- W2021404497 hasRelatedWork W2045231119 @default.
- W2021404497 hasRelatedWork W2049641148 @default.
- W2021404497 hasRelatedWork W2052721334 @default.
- W2021404497 hasRelatedWork W2093321451 @default.
- W2021404497 hasRelatedWork W2149490909 @default.
- W2021404497 hasRelatedWork W2154008991 @default.
- W2021404497 hasRelatedWork W2165430362 @default.
- W2021404497 hasRelatedWork W2392012734 @default.
- W2021404497 hasRelatedWork W3049517945 @default.
- W2021404497 hasRelatedWork W620107433 @default.
- W2021404497 hasRelatedWork W62489626 @default.
- W2021404497 hasRelatedWork W1905573436 @default.
- W2021404497 isParatext "false" @default.
- W2021404497 isRetracted "false" @default.
- W2021404497 magId "2021404497" @default.
- W2021404497 workType "article" @default.