• MANIFOLD

  • Referenced in 30 articles [sw02900]
  • this paper to define the semantics of a control-oriented coordination language, this approach...
  • GROOVE

  • Referenced in 51 articles [sw09480]
  • oriented systems, and graph transformations as a basis for model transformation and operational semantics. This...
  • TRIPLE

  • Referenced in 21 articles [sw02460]
  • does not have a fixed semantics for object-oriented features like classes and inheritance ... easily defined for different object-oriented and other data models like UML, Topic Maps ... rule language. This paper sketches syntax and semantics of TRIPLE...
  • ConceptNet

  • Referenced in 31 articles [sw10660]
  • other context oriented inferences. The knowledge base is a semantic network presently consisting of over...
  • FocalTest

  • Referenced in 6 articles [sw06448]
  • constraint language. Although such a semantics-oriented formalization is only a first step...
  • OMT-G

  • Referenced in 9 articles [sw02654]
  • data model for geographic applications. Semantic and object-oriented data models, such ... used for modeling geographic applications. Despite their semantic expressiveness, such models present limitations to adequately ... This paper presents OMT-G, an object oriented data model for geographic applications...
  • C-Light

  • Referenced in 12 articles [sw20973]
  • Verification-Oriented Language C-Light and Its Structural Operational Semantics. The paper presents the language ... light which is a representative verification-oriented subset of the standard C. This language allows ... standard C library functions. The structural operational semantics of C-light in the Plotkin style...
  • Ruby

  • Referenced in 34 articles [sw16267]
  • Ruby. Ruby is a dynamic, object-oriented language with advanced features such as yield operator ... scripting language, but they also make the semantics of Ruby complicated and difficult to understand...
  • QUAFF

  • Referenced in 3 articles [sw00764]
  • explicit production rules, in a semantic-oriented style, it is therefore formally sounded and much...
  • MnM

  • Referenced in 5 articles [sw17517]
  • automated support for annotating web pages with semantic contents. MnM integrates a web browser with ... ontology editors, being web-based, oriented to semantic markup and providing mechanisms for large-scale...
  • ABS

  • Referenced in 31 articles [sw21211]
  • feature combination results in a concurrent object-oriented model which is inherently compositional. We discuss ... formalize the type system and semantics of Core ABS, a calculus with the main features...
  • 2APL

  • Referenced in 24 articles [sw06573]
  • This article presents a BDI-based agent-oriented programming language, called 2APL (A Practical Agent ... goals, and events. The formal syntax and semantics of the programming language are given ... relation with existing BDI-based agent-oriented programming languages is discussed...
  • PolarityRank

  • Referenced in 2 articles [sw33324]
  • built: the calculation of word semantic orientation and instance selection from a learning dataset...
  • LFL

  • Referenced in 1 article [sw31194]
  • library of generic classes for object-oriented action semantics. We introduce LFL (language features library ... generic specification classes written in object-oriented action semantics. Object-oriented action semantics ... approach to action semantics, in which the notions of class, objects and inheritance are used ... programming language is specified in object-oriented action semantics, using...
  • BoogiePL

  • Referenced in 13 articles [sw21521]
  • object-oriented .NET language), along with a logical encoding of the semantics of such...
  • SSentiA

  • Referenced in 1 article [sw39059]
  • lexicon-based method to predict the semantic orientation of a review along with the confidence...
  • Feldspar

  • Referenced in 5 articles [sw22804]
  • which has a relatively small semantic gap to machine-oriented languages like C. The core...
  • Locales

  • Referenced in 41 articles [sw12448]
  • theorem prover Isabelle. In this paper, their semantics is defined in terms of local theories ... latter are found in modern object-oriented languages...
  • Sisal

  • Referenced in 17 articles [sw13686]
  • single assignment functional programming language with strict semantics, implicit parallelism, and efficient array handling. SISAL ... derived from VAL (Value-oriented Algorithmic Language, designed by Jack Dennis), and adds recursion...
  • Creol

  • Referenced in 27 articles [sw09421]
  • critical infrastructure in society. In standard object-oriented models, objects synchronize on method calls. These ... This paper presents the Creol syntax, operational semantics, and type system. It is shown that...