• cminor

  • Referenced in 19 articles [sw09739]
  • this paper, we give a small-step semantics (instead of the big-step ... Separation Logic w.r.t. a small-step semantics. The work presented in this paper has been ... proof assistant. It is a first step towards an environment in which concurrent cminor programs...
  • GPUVerify

  • Referenced in 11 articles [sw11260]
  • Interleaving and lock-step semantics for analysis and verification of GPU kernels. We study semantics ... GPUs). We provide a novel lock-step execution semantics for GPU kernels represented by arbitrary...
  • Jinja Threads

  • Referenced in 9 articles [sw28538]
  • adding concurrency through interleaving to a sequential semantics, which features dynamic thread creation, inter-thread ... bisimilarity between the source code small step semantics and the defensive Jinja virtual machine...
  • YAGO

  • Referenced in 58 articles [sw11909]
  • YAGO: a core of semantic knowledge. We present YAGO, a light-weight and extensible ontology ... resulting knowledge base is a major step beyond WordNet: in quality by adding knowledge about ... like persons, organizations, products, etc. with their semantic relationships - and in quantity by increasing...
  • I2T

  • Referenced in 5 articles [sw36509]
  • understanding. The proposed I2T framework follows three steps: 1) input images (or video frames ... image parsing results are converted into semantic representation in the form of Web ontology language ... engine converts the results from previous steps into semantically meaningful, human readable, and query-able...
  • SEMINT

  • Referenced in 15 articles [sw00845]
  • step in interoperating among heterogeneous databases is semantic integration: Identifying relationships between attributes or classes...
  • Jinja not Java

  • Referenced in 2 articles [sw28876]
  • formalised: a big and a small step operational semantics for Jinja and a proof ... type safety proof of the small step semantics; a virtual machine (JVM), its operational semantics...
  • OMRS

  • Referenced in 39 articles [sw03359]
  • this paper is a first exploratory step towards the definition of the interaction level ... OPENMATH standard, and gives a semantics to communication of mathematical services in distributed theorem proving...
  • Featherweight Java

  • Referenced in 91 articles [sw16204]
  • type safety. We carry this process a step further, omitting almost all features ... fields, inheritance, and dynamic typecasts with a semantics closely following Java’s. A proof...
  • Vivid

  • Referenced in 3 articles [sw01316]
  • valued logic. We extend the assumption-base semantics of DPLs to accommodate diagrammatic reasoning ... information into diagrams. A rigorous big-step operational semantics is given, on the basis...
  • Iptables Semantics

  • Referenced in 1 article [sw28802]
  • Iptables Semantics. We present a big step semantics of the filtering behavior of the Linux/netfilter...
  • Call_Arity

  • Referenced in 1 article [sw32233]
  • shown with regard to a small-step semantics akin to Sestoft’s mark 1 machine...
  • Isar

  • Referenced in 144 articles [sw04599]
  • proof documents sets out to bridge the semantic gap between internal notions of proof given ... Isabelle/Isar commands may be executed in single-steps, so basically the interpreter has a proof...
  • FocalTest

  • Referenced in 6 articles [sw06448]
  • This paper is concerned with the first step only where we formally demonstrate with ... objective requires to formally define the operational semantics of the source language that features ... Although such a semantics-oriented formalization is only a first step of a larger goal...
  • Simpl

  • Referenced in 1 article [sw32234]
  • syntax, its semantics (big and small-step operational semantics) and Hoare logics for both partial...
  • MaSTerClass

  • Referenced in 1 article [sw17381]
  • semantic typing represents the first step in updating a semantic network with new terms. Results...
  • DIEGO

  • Referenced in 13 articles [sw02178]
  • DIEGO, another step towards a module concept for graph transformation systems. DIEGO graph transformation systems ... programming with Encapsulated Graph Objects. Their operational semantics definition follows the lines of distributed graph...
  • EgoMath

  • Referenced in 4 articles [sw09766]
  • with little semantic information available. Recently, we have decided that another step towards making mathematics ... fragments which do not contain semantic information...
  • SQLCert

  • Referenced in 1 article [sw28676]
  • syntactic analysis, the semantics analysis and the logical optimisation steps. To this purpose, we propose...
  • Snoop

  • Referenced in 14 articles [sw17981]
  • parameter contexts. Essentially, parameter contexts augment the semantics of composite events for computing their parameters ... includes time constraints can be supported without stepping outside of the framework proposed in this...