Matches in SemOpenAlex for { <https://semopenalex.org/work/W3136222579> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W3136222579 abstract "Teaching formal methods, especially semantics of programming languages is an important aspect of theoretical informatics. The learning process often includes a lot of mathematics and learning different notations, which appears to be very difficult for students. In this paper, we present a new interactive tool for visualization of the structural operational semantics of a simple imperative program. We demonstrate our approach on the example of a simple program, where we visualize the inference process of small steps semantic method." @default.
- W3136222579 created "2021-03-29" @default.
- W3136222579 creator A5060817433 @default.
- W3136222579 creator A5078070565 @default.
- W3136222579 date "2020-11-12" @default.
- W3136222579 modified "2023-09-24" @default.
- W3136222579 title "Another Tool for Structural Operational Semantics Visualization of Simple Imperative Language" @default.
- W3136222579 cites W1511668635 @default.
- W3136222579 cites W1512502927 @default.
- W3136222579 cites W1547106396 @default.
- W3136222579 cites W2118229393 @default.
- W3136222579 cites W2230980491 @default.
- W3136222579 cites W2246105489 @default.
- W3136222579 cites W2252211299 @default.
- W3136222579 cites W2794706607 @default.
- W3136222579 cites W3035960768 @default.
- W3136222579 cites W3042532810 @default.
- W3136222579 cites W3087920050 @default.
- W3136222579 doi "https://doi.org/10.1109/iceta51985.2020.9379205" @default.
- W3136222579 hasPublicationYear "2020" @default.
- W3136222579 type Work @default.
- W3136222579 sameAs 3136222579 @default.
- W3136222579 citedByCount "0" @default.
- W3136222579 crossrefType "proceedings-article" @default.
- W3136222579 hasAuthorship W3136222579A5060817433 @default.
- W3136222579 hasAuthorship W3136222579A5078070565 @default.
- W3136222579 hasConcept C111472728 @default.
- W3136222579 hasConcept C115903868 @default.
- W3136222579 hasConcept C138885662 @default.
- W3136222579 hasConcept C154945302 @default.
- W3136222579 hasConcept C156325763 @default.
- W3136222579 hasConcept C184337299 @default.
- W3136222579 hasConcept C199360897 @default.
- W3136222579 hasConcept C2780586882 @default.
- W3136222579 hasConcept C33923547 @default.
- W3136222579 hasConcept C36464697 @default.
- W3136222579 hasConcept C41008148 @default.
- W3136222579 hasConcept C45357846 @default.
- W3136222579 hasConcept C94375191 @default.
- W3136222579 hasConcept C98045186 @default.
- W3136222579 hasConceptScore W3136222579C111472728 @default.
- W3136222579 hasConceptScore W3136222579C115903868 @default.
- W3136222579 hasConceptScore W3136222579C138885662 @default.
- W3136222579 hasConceptScore W3136222579C154945302 @default.
- W3136222579 hasConceptScore W3136222579C156325763 @default.
- W3136222579 hasConceptScore W3136222579C184337299 @default.
- W3136222579 hasConceptScore W3136222579C199360897 @default.
- W3136222579 hasConceptScore W3136222579C2780586882 @default.
- W3136222579 hasConceptScore W3136222579C33923547 @default.
- W3136222579 hasConceptScore W3136222579C36464697 @default.
- W3136222579 hasConceptScore W3136222579C41008148 @default.
- W3136222579 hasConceptScore W3136222579C45357846 @default.
- W3136222579 hasConceptScore W3136222579C94375191 @default.
- W3136222579 hasConceptScore W3136222579C98045186 @default.
- W3136222579 hasFunder F4320323640 @default.
- W3136222579 hasLocation W31362225791 @default.
- W3136222579 hasOpenAccess W3136222579 @default.
- W3136222579 hasPrimaryLocation W31362225791 @default.
- W3136222579 hasRelatedWork W10316023 @default.
- W3136222579 hasRelatedWork W12785170 @default.
- W3136222579 hasRelatedWork W13523758 @default.
- W3136222579 hasRelatedWork W1454013 @default.
- W3136222579 hasRelatedWork W2625895 @default.
- W3136222579 hasRelatedWork W4727140 @default.
- W3136222579 hasRelatedWork W5198760 @default.
- W3136222579 hasRelatedWork W6789863 @default.
- W3136222579 hasRelatedWork W7338049 @default.
- W3136222579 hasRelatedWork W880330 @default.
- W3136222579 isParatext "false" @default.
- W3136222579 isRetracted "false" @default.
- W3136222579 magId "3136222579" @default.
- W3136222579 workType "article" @default.