
GF
 Referenced in 34 articles
[sw13667]
 types in abstract syntax to express semantic conditions, such as welltypedness and proof obligations...

KRAKATOA
 Referenced in 89 articles
[sw03159]
 postconditions, 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 firstorder 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 VOC2012 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 ordersorted, 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 firstorder 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 semanticspreserving program transformations  {it disintegration}, which calculates conditional distributions, and {it simplification...