Matches in SemOpenAlex for { <https://semopenalex.org/work/W2017349009> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W2017349009 abstract "A natural framework for a formal semantics of programming languages is described and applied to APL. This framework can be used both for program verification and for language implementation. Although the framework applies only to the primitive recursive fragments of programming languages, it includes most, if not all, programs of practical interest. The power, simplicity and regular structure of APL makes the language an excellent example for this kind of semantics. An outline of the application of the framework to APL and its use for APL implementation and verification are presented." @default.
- W2017349009 created "2016-06-24" @default.
- W2017349009 creator A5069193100 @default.
- W2017349009 date "1976-01-01" @default.
- W2017349009 modified "2023-09-24" @default.
- W2017349009 title "Toward a primitive recursive semantics for APL" @default.
- W2017349009 cites W590640448 @default.
- W2017349009 cites W1619091609 @default.
- W2017349009 doi "https://doi.org/10.1145/800114.803693" @default.
- W2017349009 hasPublicationYear "1976" @default.
- W2017349009 type Work @default.
- W2017349009 sameAs 2017349009 @default.
- W2017349009 citedByCount "0" @default.
- W2017349009 crossrefType "proceedings-article" @default.
- W2017349009 hasAuthorship W2017349009A5069193100 @default.
- W2017349009 hasConcept C111472728 @default.
- W2017349009 hasConcept C138885662 @default.
- W2017349009 hasConcept C146499914 @default.
- W2017349009 hasConcept C150607116 @default.
- W2017349009 hasConcept C156325763 @default.
- W2017349009 hasConcept C184337299 @default.
- W2017349009 hasConcept C199305712 @default.
- W2017349009 hasConcept C199360897 @default.
- W2017349009 hasConcept C207648694 @default.
- W2017349009 hasConcept C2776372474 @default.
- W2017349009 hasConcept C34165917 @default.
- W2017349009 hasConcept C41008148 @default.
- W2017349009 hasConcept C80444323 @default.
- W2017349009 hasConceptScore W2017349009C111472728 @default.
- W2017349009 hasConceptScore W2017349009C138885662 @default.
- W2017349009 hasConceptScore W2017349009C146499914 @default.
- W2017349009 hasConceptScore W2017349009C150607116 @default.
- W2017349009 hasConceptScore W2017349009C156325763 @default.
- W2017349009 hasConceptScore W2017349009C184337299 @default.
- W2017349009 hasConceptScore W2017349009C199305712 @default.
- W2017349009 hasConceptScore W2017349009C199360897 @default.
- W2017349009 hasConceptScore W2017349009C207648694 @default.
- W2017349009 hasConceptScore W2017349009C2776372474 @default.
- W2017349009 hasConceptScore W2017349009C34165917 @default.
- W2017349009 hasConceptScore W2017349009C41008148 @default.
- W2017349009 hasConceptScore W2017349009C80444323 @default.
- W2017349009 hasLocation W20173490091 @default.
- W2017349009 hasOpenAccess W2017349009 @default.
- W2017349009 hasPrimaryLocation W20173490091 @default.
- W2017349009 hasRelatedWork W1529202760 @default.
- W2017349009 hasRelatedWork W1571114803 @default.
- W2017349009 hasRelatedWork W1573095814 @default.
- W2017349009 hasRelatedWork W1596973835 @default.
- W2017349009 hasRelatedWork W1606745884 @default.
- W2017349009 hasRelatedWork W160712151 @default.
- W2017349009 hasRelatedWork W1816310522 @default.
- W2017349009 hasRelatedWork W197852322 @default.
- W2017349009 hasRelatedWork W2013084820 @default.
- W2017349009 hasRelatedWork W2015633566 @default.
- W2017349009 hasRelatedWork W2017160649 @default.
- W2017349009 hasRelatedWork W2085215913 @default.
- W2017349009 hasRelatedWork W2111403313 @default.
- W2017349009 hasRelatedWork W2142762894 @default.
- W2017349009 hasRelatedWork W2147335415 @default.
- W2017349009 hasRelatedWork W319349425 @default.
- W2017349009 hasRelatedWork W602798929 @default.
- W2017349009 hasRelatedWork W795970866 @default.
- W2017349009 hasRelatedWork W91661834 @default.
- W2017349009 hasRelatedWork W319665209 @default.
- W2017349009 isParatext "false" @default.
- W2017349009 isRetracted "false" @default.
- W2017349009 magId "2017349009" @default.
- W2017349009 workType "article" @default.