Semantic Scholar uses AI to extract papers important to this topic.
Abstract: Graph-structured data appears frequently in domains including chemistry, natural language semantics, social networks… Expand SummaryThere have been many recent proposals for embedding abstract data types in programming languages. In order to reason about… Expand 1 Introduction.- 1.1 Goals of the Book and Contours of its Method.- 1.1.1 Stepwise Refinable Abstract Operational Modeling.- 1.1… Expand In joint work with Peter O'Hearn and others, based on early ideas of Burstall, we have developed an extension of Hoare logic that… Expand data base When the user creates a CPN diagram, the editor stores all the semantic information in an abstract data base, from… Expand Abstract data type declarations appear in typed programming languages like Ada, Alphard, CLU and ML. This form of declaration… Expand Our objective is to understand the notion of type in programming languages, present a model of typed, polymorphic programming… Expand A data abstraction can be naturally specified using algebraic axioms. The virtue of these axioms is that they permit a… Expand The motivation behind the work in very-high-level languages is to ease the programming task by providing the programmer with a… Expand The motivation behind the work in very-high-level languages is to ease the programming task by providing the programmer with a… Expand