FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2548794314> ?p ?o ?g. }

• W2548794314 abstract "We have introduced the Interactive Declarative Environments (ID EST - IE) framework for Direct Manipulation systems based on logic and logic programming. In this object based approach, logic database represents the model world of interest to the user. Four independent declarative modules are used to manage each distinct kind of task required in a DM system. An IE system is a proper composition of four modules. This modular approach provides look and feel independence and supports easy code re-use. For example, the code for generating a given type of menu can easily be used in multiple systems. More interestingly, however, an entire IE system may be used as a single component of a more complex system. For example, a molecule is a kind of graph. An IE graph editor can be used as a component in an IE molecule editor, thus raising the level of the latter designer's task, who can now translates from molecule objects (ex, atom, bond, insert-bond) to graph objects (ex, node, edge, insert-edge) vs. to graphic objects (ex. circle, line, right-down), thereby taking advantage of prior resolution of myriad low level details, We call this transforming the level of the O-GRAM. Logic permits us to provide a formal basis to each type of module, based on the semantics of Horn clauses. This leads to an algebra for system design, with precise definitions of module combining operations, that is, IE system building. We prove that composition of deductive schemas is interference-free; that is, the meaning of the composition of deductive schemas equals the composition of the meanings of the schemas. This establishes that transformed a-GRAMs may be treated as black-boxes in creating other IE systems. Our declarative logic approach is also the basis for a new and unique solution to incremental screen update, via static analysis. Via a form of symbolic executiou, semantic connections be tween object are discovered across module boundaries, thus supporting code encapsulation and obviating the need for explicit pointers. The algorithm has these properties: 1. No new “re-draw” code required; 2. Pre-compute affected picture set at compile time; 3. Provably correct; 4. Implemented, in Prolog; 5. Supports code encapsulation, including multiple independent picture versions of a single data object; G. Sound: No illegal action will be allowed; 7. Complete: Always performs legal user actions." @default.
• W2548794314 created "2016-11-11" @default.
• W2548794314 creator A5035808622 @default.
• W2548794314 date "1994-01-01" @default.
• W2548794314 modified "2023-09-23" @default.
• W2548794314 title "Logic, Algebra and Static Analysis in DM Systems, the IE Way" @default.
• W2548794314 doi "https://doi.org/10.7551/mitpress/4316.003.0077" @default.
• W2548794314 hasPublicationYear "1994" @default.
• W2548794314 type Work @default.
• W2548794314 sameAs 2548794314 @default.
• W2548794314 citedByCount "0" @default.
• W2548794314 crossrefType "book-chapter" @default.
• W2548794314 hasAuthorship W2548794314A5035808622 @default.
• W2548794314 hasConcept C101468663 @default.
• W2548794314 hasConcept C128838566 @default.
• W2548794314 hasConcept C189790780 @default.
• W2548794314 hasConcept C199360897 @default.
• W2548794314 hasConcept C41008148 @default.
• W2548794314 hasConcept C80444323 @default.
• W2548794314 hasConceptScore W2548794314C101468663 @default.
• W2548794314 hasConceptScore W2548794314C128838566 @default.
• W2548794314 hasConceptScore W2548794314C189790780 @default.
• W2548794314 hasConceptScore W2548794314C199360897 @default.
• W2548794314 hasConceptScore W2548794314C41008148 @default.
• W2548794314 hasConceptScore W2548794314C80444323 @default.
• W2548794314 hasLocation W25487943141 @default.
• W2548794314 hasOpenAccess W2548794314 @default.
• W2548794314 hasPrimaryLocation W25487943141 @default.
• W2548794314 hasRelatedWork W1493627728 @default.
• W2548794314 hasRelatedWork W1594075998 @default.
• W2548794314 hasRelatedWork W1596917824 @default.
• W2548794314 hasRelatedWork W1842916553 @default.
• W2548794314 hasRelatedWork W2007669014 @default.
• W2548794314 hasRelatedWork W2039139011 @default.
• W2548794314 hasRelatedWork W2104958275 @default.
• W2548794314 hasRelatedWork W2119587710 @default.
• W2548794314 hasRelatedWork W2141550942 @default.
• W2548794314 hasRelatedWork W2221309524 @default.
• W2548794314 hasRelatedWork W2551794739 @default.
• W2548794314 hasRelatedWork W2623210757 @default.
• W2548794314 hasRelatedWork W2731085289 @default.
• W2548794314 hasRelatedWork W2785726564 @default.
• W2548794314 hasRelatedWork W3033748891 @default.
• W2548794314 hasRelatedWork W3135275745 @default.
• W2548794314 hasRelatedWork W3199053250 @default.
• W2548794314 hasRelatedWork W563801046 @default.
• W2548794314 hasRelatedWork W979826707 @default.
• W2548794314 hasRelatedWork W2183862623 @default.
• W2548794314 isParatext "false" @default.
• W2548794314 isRetracted "false" @default.
• W2548794314 magId "2548794314" @default.
• W2548794314 workType "book-chapter" @default.