Matches in SemOpenAlex for { <https://semopenalex.org/work/W2400854311> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2400854311 endingPage "90" @default.
- W2400854311 startingPage "75" @default.
- W2400854311 abstract "In this paper we present CASM, a general purpose programming language based on abstract state machines (ASMs). We describe the implementation of an interpreter and a compiler for the language. The demand for efficient execution forced us to modify the definition of ASM and we discuss the impact of those changes. A novel feature for ASM based languages is symbolic execution, which we briefly describe. CASM is used for instruction set simulator generation and for semantic description in a compiler verification project. We report on the experience of using the language in those two projects. Finally we position ASM based programming languages as an elegant combination of imperative and functional programming paradigms which may liberate us from the von Neumann style as demanded by John Backus." @default.
- W2400854311 created "2016-06-24" @default.
- W2400854311 creator A5011211047 @default.
- W2400854311 creator A5054278397 @default.
- W2400854311 creator A5089127277 @default.
- W2400854311 date "2013-01-01" @default.
- W2400854311 modified "2023-09-23" @default.
- W2400854311 title "CASM: Implementing an Abstract State Machine based Programming Language" @default.
- W2400854311 cites W127868156 @default.
- W2400854311 cites W150817744 @default.
- W2400854311 cites W1539438108 @default.
- W2400854311 cites W1560077089 @default.
- W2400854311 cites W1591638745 @default.
- W2400854311 cites W1798364377 @default.
- W2400854311 cites W1818561783 @default.
- W2400854311 cites W1853368733 @default.
- W2400854311 cites W1969402593 @default.
- W2400854311 cites W1972615435 @default.
- W2400854311 cites W2079091289 @default.
- W2400854311 cites W2089241138 @default.
- W2400854311 cites W2101512909 @default.
- W2400854311 cites W2112774031 @default.
- W2400854311 cites W2171683519 @default.
- W2400854311 cites W2172307690 @default.
- W2400854311 cites W309332528 @default.
- W2400854311 cites W3103896344 @default.
- W2400854311 cites W50774051 @default.
- W2400854311 cites W76766519 @default.
- W2400854311 cites W79645353 @default.
- W2400854311 hasPublicationYear "2013" @default.
- W2400854311 type Work @default.
- W2400854311 sameAs 2400854311 @default.
- W2400854311 citedByCount "0" @default.
- W2400854311 crossrefType "journal-article" @default.
- W2400854311 hasAuthorship W2400854311A5011211047 @default.
- W2400854311 hasAuthorship W2400854311A5054278397 @default.
- W2400854311 hasAuthorship W2400854311A5089127277 @default.
- W2400854311 hasConcept C115168132 @default.
- W2400854311 hasConcept C119263510 @default.
- W2400854311 hasConcept C122783720 @default.
- W2400854311 hasConcept C124577441 @default.
- W2400854311 hasConcept C145243422 @default.
- W2400854311 hasConcept C167822520 @default.
- W2400854311 hasConcept C169590947 @default.
- W2400854311 hasConcept C169796678 @default.
- W2400854311 hasConcept C177264268 @default.
- W2400854311 hasConcept C199360897 @default.
- W2400854311 hasConcept C201997060 @default.
- W2400854311 hasConcept C34165917 @default.
- W2400854311 hasConcept C41008148 @default.
- W2400854311 hasConcept C48103436 @default.
- W2400854311 hasConcept C50033165 @default.
- W2400854311 hasConcept C570499 @default.
- W2400854311 hasConcept C96315309 @default.
- W2400854311 hasConceptScore W2400854311C115168132 @default.
- W2400854311 hasConceptScore W2400854311C119263510 @default.
- W2400854311 hasConceptScore W2400854311C122783720 @default.
- W2400854311 hasConceptScore W2400854311C124577441 @default.
- W2400854311 hasConceptScore W2400854311C145243422 @default.
- W2400854311 hasConceptScore W2400854311C167822520 @default.
- W2400854311 hasConceptScore W2400854311C169590947 @default.
- W2400854311 hasConceptScore W2400854311C169796678 @default.
- W2400854311 hasConceptScore W2400854311C177264268 @default.
- W2400854311 hasConceptScore W2400854311C199360897 @default.
- W2400854311 hasConceptScore W2400854311C201997060 @default.
- W2400854311 hasConceptScore W2400854311C34165917 @default.
- W2400854311 hasConceptScore W2400854311C41008148 @default.
- W2400854311 hasConceptScore W2400854311C48103436 @default.
- W2400854311 hasConceptScore W2400854311C50033165 @default.
- W2400854311 hasConceptScore W2400854311C570499 @default.
- W2400854311 hasConceptScore W2400854311C96315309 @default.
- W2400854311 hasLocation W24008543111 @default.
- W2400854311 hasOpenAccess W2400854311 @default.
- W2400854311 hasPrimaryLocation W24008543111 @default.
- W2400854311 hasRelatedWork W1482745139 @default.
- W2400854311 hasRelatedWork W1500814630 @default.
- W2400854311 hasRelatedWork W1539438108 @default.
- W2400854311 hasRelatedWork W1545581916 @default.
- W2400854311 hasRelatedWork W1596973835 @default.
- W2400854311 hasRelatedWork W1596981105 @default.
- W2400854311 hasRelatedWork W1598781941 @default.
- W2400854311 hasRelatedWork W1810083572 @default.
- W2400854311 hasRelatedWork W2003007905 @default.
- W2400854311 hasRelatedWork W2018500052 @default.
- W2400854311 hasRelatedWork W2036581653 @default.
- W2400854311 hasRelatedWork W2058010185 @default.
- W2400854311 hasRelatedWork W2059357260 @default.
- W2400854311 hasRelatedWork W2089214613 @default.
- W2400854311 hasRelatedWork W2089976989 @default.
- W2400854311 hasRelatedWork W2104048979 @default.
- W2400854311 hasRelatedWork W2413219413 @default.
- W2400854311 hasRelatedWork W2511514052 @default.
- W2400854311 hasRelatedWork W2886155613 @default.
- W2400854311 hasRelatedWork W2996351973 @default.
- W2400854311 isParatext "false" @default.
- W2400854311 isRetracted "false" @default.
- W2400854311 magId "2400854311" @default.
- W2400854311 workType "article" @default.