Matches in SemOpenAlex for { <https://semopenalex.org/work/W2153540278> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2153540278 abstract "We describe a formal tool based on a symbolic semantics for Full LOTOS, where speci cationswithout restrictions in their data types can be executed. The reective feature of rewriting logicand the metalanguage capabilities of Maude make it possible to implement the whole tool in thesame semantic framework, and have allowed us to implement the LOTOS operational semantics, tointegrate it with ACT ONE speci cations, and to build an entire environment with parsing, prettyprinting, and input/output processing of LOTOS speci cations. Our aim has been to implementa formal tool that can be used by everyone without knowledge of the concrete implementation,but where the semantics representation is at so high level that can be understood and modi ed byeveryone that knows about operational semantics." @default.
- W2153540278 created "2016-06-24" @default.
- W2153540278 creator A5045001446 @default.
- W2153540278 date "2002-04-01" @default.
- W2153540278 modified "2023-09-23" @default.
- W2153540278 title "A tool for Full LOTOS in Maude" @default.
- W2153540278 cites W133886833 @default.
- W2153540278 cites W1502491956 @default.
- W2153540278 cites W1503973138 @default.
- W2153540278 cites W1525673546 @default.
- W2153540278 cites W1530666819 @default.
- W2153540278 cites W1538233900 @default.
- W2153540278 cites W1579404903 @default.
- W2153540278 cites W1593284044 @default.
- W2153540278 cites W1668251188 @default.
- W2153540278 cites W174471988 @default.
- W2153540278 cites W1837426512 @default.
- W2153540278 cites W1976195354 @default.
- W2153540278 cites W2017500299 @default.
- W2153540278 cites W2058583338 @default.
- W2153540278 cites W2081068412 @default.
- W2153540278 cites W2134287022 @default.
- W2153540278 cites W2144109389 @default.
- W2153540278 cites W2176300081 @default.
- W2153540278 cites W28354576 @default.
- W2153540278 cites W2913663755 @default.
- W2153540278 cites W3144368627 @default.
- W2153540278 cites W1574064538 @default.
- W2153540278 hasPublicationYear "2002" @default.
- W2153540278 type Work @default.
- W2153540278 sameAs 2153540278 @default.
- W2153540278 citedByCount "2" @default.
- W2153540278 countsByYear W21535402782012 @default.
- W2153540278 crossrefType "journal-article" @default.
- W2153540278 hasAuthorship W2153540278A5045001446 @default.
- W2153540278 hasConcept C138885662 @default.
- W2153540278 hasConcept C142998047 @default.
- W2153540278 hasConcept C146499914 @default.
- W2153540278 hasConcept C154690210 @default.
- W2153540278 hasConcept C156325763 @default.
- W2153540278 hasConcept C17744445 @default.
- W2153540278 hasConcept C184337299 @default.
- W2153540278 hasConcept C186644900 @default.
- W2153540278 hasConcept C199360897 @default.
- W2153540278 hasConcept C199539241 @default.
- W2153540278 hasConcept C2776359362 @default.
- W2153540278 hasConcept C2776401178 @default.
- W2153540278 hasConcept C41008148 @default.
- W2153540278 hasConcept C41895202 @default.
- W2153540278 hasConcept C94625758 @default.
- W2153540278 hasConceptScore W2153540278C138885662 @default.
- W2153540278 hasConceptScore W2153540278C142998047 @default.
- W2153540278 hasConceptScore W2153540278C146499914 @default.
- W2153540278 hasConceptScore W2153540278C154690210 @default.
- W2153540278 hasConceptScore W2153540278C156325763 @default.
- W2153540278 hasConceptScore W2153540278C17744445 @default.
- W2153540278 hasConceptScore W2153540278C184337299 @default.
- W2153540278 hasConceptScore W2153540278C186644900 @default.
- W2153540278 hasConceptScore W2153540278C199360897 @default.
- W2153540278 hasConceptScore W2153540278C199539241 @default.
- W2153540278 hasConceptScore W2153540278C2776359362 @default.
- W2153540278 hasConceptScore W2153540278C2776401178 @default.
- W2153540278 hasConceptScore W2153540278C41008148 @default.
- W2153540278 hasConceptScore W2153540278C41895202 @default.
- W2153540278 hasConceptScore W2153540278C94625758 @default.
- W2153540278 hasLocation W21535402781 @default.
- W2153540278 hasOpenAccess W2153540278 @default.
- W2153540278 hasPrimaryLocation W21535402781 @default.
- W2153540278 hasRelatedWork W1896092679 @default.
- W2153540278 hasRelatedWork W1965199769 @default.
- W2153540278 hasRelatedWork W1981466053 @default.
- W2153540278 hasRelatedWork W2030762481 @default.
- W2153540278 hasRelatedWork W2047218077 @default.
- W2153540278 hasRelatedWork W2053342841 @default.
- W2153540278 hasRelatedWork W2059650559 @default.
- W2153540278 hasRelatedWork W2111874500 @default.
- W2153540278 hasRelatedWork W2130086153 @default.
- W2153540278 hasRelatedWork W2134287022 @default.
- W2153540278 hasRelatedWork W2144109389 @default.
- W2153540278 hasRelatedWork W2295221401 @default.
- W2153540278 hasRelatedWork W2595534346 @default.
- W2153540278 hasRelatedWork W2762699636 @default.
- W2153540278 hasRelatedWork W28354576 @default.
- W2153540278 hasRelatedWork W3001621508 @default.
- W2153540278 hasRelatedWork W3105106018 @default.
- W2153540278 hasRelatedWork W3150067715 @default.
- W2153540278 hasRelatedWork W75631880 @default.
- W2153540278 hasRelatedWork W2758873853 @default.
- W2153540278 isParatext "false" @default.
- W2153540278 isRetracted "false" @default.
- W2153540278 magId "2153540278" @default.
- W2153540278 workType "article" @default.