Matches in SemOpenAlex for { <https://semopenalex.org/work/W1758854958> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W1758854958 abstract "Publisher Summary This chapter presents CafeOBJ Pictorial Interactive Editor (CafePie), which is a visual programming system for CafeOBJ, an algebraic specification language based on term rewriting. CafePie can be used as an environment for program editing. It visualizes each module of the CafeOBJ program and allows the user to edit it visually. Combined with the CafeOBJ interpreter, it can also serve as a visual rewriting environment for CafeOBJ. Program editing and execution in CafePie are performed in one window and all operations are handled in a uniform manner. The chapter proposes visualized term rewriting with more realistic expressions that can be used to customize the term expression according to used specifications, using visual transformation rules. These rules can also be edited using drag and drop operations. Since the program editing and execution are performed in one window, it is possible to directly reflect any program modification onto the program execution. CafePie, is useful for ASL beginners and can also be used to improve the system and to fascinate advanced users. In CafePie, term rewriting is visualized with realistic expressions by using figures, pictures, and images. It also maps operators to realistic expressions so that equations are expressed as transformations of realistic expressions. This chapter also discusses related works and compares them with CafePie." @default.
- W1758854958 created "2016-06-24" @default.
- W1758854958 creator A5017415826 @default.
- W1758854958 creator A5056009047 @default.
- W1758854958 date "2000-01-01" @default.
- W1758854958 modified "2023-09-28" @default.
- W1758854958 title "CafePie" @default.
- W1758854958 cites W136531428 @default.
- W1758854958 cites W1490776535 @default.
- W1758854958 cites W1562367846 @default.
- W1758854958 cites W1992673327 @default.
- W1758854958 cites W1994188141 @default.
- W1758854958 cites W1996429813 @default.
- W1758854958 cites W2000410375 @default.
- W1758854958 cites W2001439814 @default.
- W1758854958 cites W2053507055 @default.
- W1758854958 cites W2099305423 @default.
- W1758854958 cites W2114877339 @default.
- W1758854958 cites W2131599139 @default.
- W1758854958 cites W2141254038 @default.
- W1758854958 cites W2157242358 @default.
- W1758854958 cites W2158140228 @default.
- W1758854958 cites W2167618636 @default.
- W1758854958 cites W2460480645 @default.
- W1758854958 doi "https://doi.org/10.1016/b978-044450556-9/50067-8" @default.
- W1758854958 hasPublicationYear "2000" @default.
- W1758854958 type Work @default.
- W1758854958 sameAs 1758854958 @default.
- W1758854958 citedByCount "1" @default.
- W1758854958 crossrefType "book-chapter" @default.
- W1758854958 hasAuthorship W1758854958A5017415826 @default.
- W1758854958 hasAuthorship W1758854958A5056009047 @default.
- W1758854958 hasConcept C111919701 @default.
- W1758854958 hasConcept C121332964 @default.
- W1758854958 hasConcept C122783720 @default.
- W1758854958 hasConcept C154690210 @default.
- W1758854958 hasConcept C154945302 @default.
- W1758854958 hasConcept C199360897 @default.
- W1758854958 hasConcept C2778751112 @default.
- W1758854958 hasConcept C36464697 @default.
- W1758854958 hasConcept C41008148 @default.
- W1758854958 hasConcept C61797465 @default.
- W1758854958 hasConcept C62520636 @default.
- W1758854958 hasConcept C77906462 @default.
- W1758854958 hasConceptScore W1758854958C111919701 @default.
- W1758854958 hasConceptScore W1758854958C121332964 @default.
- W1758854958 hasConceptScore W1758854958C122783720 @default.
- W1758854958 hasConceptScore W1758854958C154690210 @default.
- W1758854958 hasConceptScore W1758854958C154945302 @default.
- W1758854958 hasConceptScore W1758854958C199360897 @default.
- W1758854958 hasConceptScore W1758854958C2778751112 @default.
- W1758854958 hasConceptScore W1758854958C36464697 @default.
- W1758854958 hasConceptScore W1758854958C41008148 @default.
- W1758854958 hasConceptScore W1758854958C61797465 @default.
- W1758854958 hasConceptScore W1758854958C62520636 @default.
- W1758854958 hasConceptScore W1758854958C77906462 @default.
- W1758854958 hasLocation W17588549581 @default.
- W1758854958 hasOpenAccess W1758854958 @default.
- W1758854958 hasPrimaryLocation W17588549581 @default.
- W1758854958 hasRelatedWork W1218411979 @default.
- W1758854958 hasRelatedWork W1494913990 @default.
- W1758854958 hasRelatedWork W1561735502 @default.
- W1758854958 hasRelatedWork W1580470356 @default.
- W1758854958 hasRelatedWork W1865778884 @default.
- W1758854958 hasRelatedWork W1953698629 @default.
- W1758854958 hasRelatedWork W1973831620 @default.
- W1758854958 hasRelatedWork W197852322 @default.
- W1758854958 hasRelatedWork W2011301775 @default.
- W1758854958 hasRelatedWork W2142762894 @default.
- W1758854958 hasRelatedWork W2147335415 @default.
- W1758854958 hasRelatedWork W2156033896 @default.
- W1758854958 hasRelatedWork W2556912188 @default.
- W1758854958 hasRelatedWork W2890569340 @default.
- W1758854958 hasRelatedWork W2971729108 @default.
- W1758854958 hasRelatedWork W3134335689 @default.
- W1758854958 hasRelatedWork W3195191836 @default.
- W1758854958 hasRelatedWork W51860985 @default.
- W1758854958 hasRelatedWork W795970866 @default.
- W1758854958 hasRelatedWork W974785228 @default.
- W1758854958 isParatext "false" @default.
- W1758854958 isRetracted "false" @default.
- W1758854958 magId "1758854958" @default.
- W1758854958 workType "book-chapter" @default.