Matches in SemOpenAlex for { <https://semopenalex.org/work/W2144109389> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2144109389 abstract "We present a formal tool where LOTOS specifications without restrictions in their data typescan be executed. The reflective feature of rewriting logic and the metalanguage capabilities ofMaude make it possible to implement the whole tool in the same semantic framework, and haveallowed us to implement the LOTOS semantics and to build an entire environment with parsing,pretty printing, and input/output processing of LOTOS specifications." @default.
- W2144109389 created "2016-06-24" @default.
- W2144109389 creator A5045001446 @default.
- W2144109389 date "2002-01-01" @default.
- W2144109389 modified "2023-09-23" @default.
- W2144109389 title "LOTOS Symbolic Semantics in Maude" @default.
- W2144109389 cites W1497272948 @default.
- W2144109389 cites W1502491956 @default.
- W2144109389 cites W1503973138 @default.
- W2144109389 cites W1530666819 @default.
- W2144109389 cites W1538233900 @default.
- W2144109389 cites W1586167239 @default.
- W2144109389 cites W1668251188 @default.
- W2144109389 cites W174471988 @default.
- W2144109389 cites W1837426512 @default.
- W2144109389 cites W1976195354 @default.
- W2144109389 cites W2052867443 @default.
- W2144109389 cites W2058583338 @default.
- W2144109389 cites W2134287022 @default.
- W2144109389 cites W2176300081 @default.
- W2144109389 cites W262321538 @default.
- W2144109389 cites W2913663755 @default.
- W2144109389 cites W3144368627 @default.
- W2144109389 cites W1574064538 @default.
- W2144109389 hasPublicationYear "2002" @default.
- W2144109389 type Work @default.
- W2144109389 sameAs 2144109389 @default.
- W2144109389 citedByCount "3" @default.
- W2144109389 crossrefType "journal-article" @default.
- W2144109389 hasAuthorship W2144109389A5045001446 @default.
- W2144109389 hasConcept C138885662 @default.
- W2144109389 hasConcept C142998047 @default.
- W2144109389 hasConcept C154690210 @default.
- W2144109389 hasConcept C156325763 @default.
- W2144109389 hasConcept C184337299 @default.
- W2144109389 hasConcept C186644900 @default.
- W2144109389 hasConcept C199360897 @default.
- W2144109389 hasConcept C2776401178 @default.
- W2144109389 hasConcept C41008148 @default.
- W2144109389 hasConcept C41895202 @default.
- W2144109389 hasConceptScore W2144109389C138885662 @default.
- W2144109389 hasConceptScore W2144109389C142998047 @default.
- W2144109389 hasConceptScore W2144109389C154690210 @default.
- W2144109389 hasConceptScore W2144109389C156325763 @default.
- W2144109389 hasConceptScore W2144109389C184337299 @default.
- W2144109389 hasConceptScore W2144109389C186644900 @default.
- W2144109389 hasConceptScore W2144109389C199360897 @default.
- W2144109389 hasConceptScore W2144109389C2776401178 @default.
- W2144109389 hasConceptScore W2144109389C41008148 @default.
- W2144109389 hasConceptScore W2144109389C41895202 @default.
- W2144109389 hasLocation W21441093891 @default.
- W2144109389 hasOpenAccess W2144109389 @default.
- W2144109389 hasPrimaryLocation W21441093891 @default.
- W2144109389 hasRelatedWork W1504007491 @default.
- W2144109389 hasRelatedWork W1517922951 @default.
- W2144109389 hasRelatedWork W1546487229 @default.
- W2144109389 hasRelatedWork W1965199769 @default.
- W2144109389 hasRelatedWork W1981466053 @default.
- W2144109389 hasRelatedWork W2010920633 @default.
- W2144109389 hasRelatedWork W2030762481 @default.
- W2144109389 hasRelatedWork W2053342841 @default.
- W2144109389 hasRelatedWork W2079991001 @default.
- W2144109389 hasRelatedWork W2090811769 @default.
- W2144109389 hasRelatedWork W2134287022 @default.
- W2144109389 hasRelatedWork W2153540278 @default.
- W2144109389 hasRelatedWork W2387457166 @default.
- W2144109389 hasRelatedWork W2742117384 @default.
- W2144109389 hasRelatedWork W28354576 @default.
- W2144109389 hasRelatedWork W3105106018 @default.
- W2144109389 hasRelatedWork W3150067715 @default.
- W2144109389 hasRelatedWork W3195601461 @default.
- W2144109389 hasRelatedWork W2585339290 @default.
- W2144109389 hasRelatedWork W2758873853 @default.
- W2144109389 isParatext "false" @default.
- W2144109389 isRetracted "false" @default.
- W2144109389 magId "2144109389" @default.
- W2144109389 workType "article" @default.