• GF

  • Referenced in 34 articles [sw13667]
  • types in abstract syntax to express semantic conditions, such as well-typedness and proof obligations...
  • KRAKATOA

  • Referenced in 89 articles [sw03159]
  • post-conditions, the CQQ proof assistant for modeling the program semantics and conducting the development...
  • SQEMA

  • Referenced in 40 articles [sw03056]
  • correspondence and completeness in modal logic. IV. Semantic extensions of SQEMA ... formula, provided a certain negative polarity condition on that variable is satisfied. In this paper ... SQEMA where that syntactic condition is replaced by a semantic one, viz. downward monotonicity...
  • Church

  • Referenced in 55 articles [sw08946]
  • semantics of Church is defined in terms of evaluation histories and conditional distributions on such...
  • SeaHorn

  • Referenced in 19 articles [sw18274]
  • verification semantics. SeaHorn encompasses several novelties: it (a) encodes verification conditions using an efficient ... technique, (b) provides flexibility in the verification semantics to allow different levels of precision ... intermediate language to represent verification conditions which simplifies interfacing with multiple verification tools based...
  • Java+ITP

  • Referenced in 8 articles [sw32259]
  • triples are translated into semantically equivalent first-order verification conditions (VCs) which are then sent ... extensible and modular rewriting logic semantics of programming languages, for which CPS axiomatizations are indeed...
  • DeepLab

  • Referenced in 39 articles [sw15303]
  • this work we address the task of semantic image segmentation with Deep Learning and make ... final DCNN layer with a fully connected Conditional Random Field (CRF), which is shown both ... PASCAL VOC-2012 semantic image segmentation task, reaching 79.7% mIOU in the test...
  • LARCH

  • Referenced in 104 articles [sw02126]
  • some languages have mechanisms for signalling exceptional conditions, other do not. More subtle differences arise ... auxiliary specifications, written in LSL, to provide semantics for the primitive terms they use. Specifiers...
  • ConGolog

  • Referenced in 49 articles [sw01801]
  • concurrent processes, interrupting the execution when certain conditions become true, and dealing with exogenous actions ... proven, for instance, that the proposed semantics is equivalent to that given earlier...
  • CRC 3

  • Referenced in 9 articles [sw09782]
  • equational specification to have good executability conditions, and also for having a complete agreement between ... specification’s initial algebra, mathematical semantics, and its operational ... semantics by rewriting. Checking this property for expressive specifications that are order-sorted, conditional with...
  • PrASP

  • Referenced in 3 articles [sw18512]
  • logic formulas (with stable model semantics), annotated with conditional or unconditional probabilities or probability intervals...
  • BoogiePL

  • Referenced in 13 articles [sw21521]
  • along with a logical encoding of the semantics of such a source language. From ... BoogiePL program, one can then generate verification conditions or perform other program analyses such...
  • GRAPPA

  • Referenced in 9 articles [sw20931]
  • this paper we introduce a general semantical framework for assigning a precise meaning to labelled ... rests on the notion of explicit acceptance conditions, as first studied in Abstract Dialectical Frameworks ... ADFs). The acceptance conditions used here are functions from multisets of labels to truth values ... define various Dung style semantics for argument graphs. We also introduce a pattern language...
  • f2lp

  • Referenced in 10 articles [sw09898]
  • certain conditions, system f2lp turns a first-order theory under the stable model semantics into...
  • jContractor

  • Referenced in 10 articles [sw01488]
  • semantic information to be added to a class or interface to precisely specify the conditions...
  • BayesOWL

  • Referenced in 8 articles [sw36763]
  • framework which augments and supplements the semantic web ontology language OWL5 for representing and reasoning ... conditional probability tables (CPTs) of the BN. The translated BN, which preserves the semantics...
  • IBAL

  • Referenced in 27 articles [sw08945]
  • compose rejective models that result from conditioning on the observations. IBAL also integrates Bayesian parameter ... detailed account of the syntax and semantics of IBAL, as well as an overview...
  • Pyhybridanalysis

  • Referenced in 3 articles [sw14549]
  • using an -semantics in place of the standard one, the termination condition eventually holds...
  • RSTM

  • Referenced in 2 articles [sw13099]
  • find support for strong semantics (privatization, publication), irrevocability, condition synchronization (via ’retry’), and strong progress...
  • Hakaru

  • Referenced in 4 articles [sw14669]
  • automatic and semantics-preserving program transformations -- {it disintegration}, which calculates conditional distributions, and {it simplification...