
ELAN
 Referenced in 108 articles
[sw02179]
 logic programming languages, constraints solvers and decision procedures and to offer a modular framework ... logic programming languages, constraints solvers and decision procedures and to offer a modular framework ... paradigm of rewriting provides both the logical framework in which deduction systems can be expressed...

LEGO
 Referenced in 107 articles
[sw09685]
 various related type systems  the Edinburgh Logical Framework (LF), the Calculus of Constructions...

Elf
 Referenced in 43 articles
[sw21361]
 programming language based on the LF Logical Framework. It has no connection whatsoever ... proving properties of programming languages and logics. It has been applied to various examples, some ... also a more complete bibliography on logical frameworks in general. Work...

GF
 Referenced in 32 articles
[sw13667]
 defining grammars. It uses a Logical Framework (LF) for a description of abstract syntax...

MetaPRL
 Referenced in 26 articles
[sw04624]
 things: it is a logical framework where multiple logics can be defined and related...

DistAl
 Referenced in 98 articles
[sw01746]
 layer networks of threshold logic units offer an attractive framework for the design of pattern...

PAGODA
 Referenced in 14 articles
[sw08569]
 rewriting logic framework for soft constraints. Soft constraints extend classical constraints to deal with ... framework for prototyping of soft constraints `a la Bistarelli, Montanari and Rossi in rewriting logic ... solution in our prototypical rewriting logic framework for soft constraints, and embed our soft constraint...

Delphin
 Referenced in 18 articles
[sw21365]
 with data. One level is the logical framework LF [5], serving as Delphin’s data...

AMRCLAW
 Referenced in 59 articles
[sw15478]
 wavepropagation algorithms in a more general framework. This extension can be used ... capacity functions, and logically rectangular curvilinear grids. The developed framework requires a modified approach...

MiniML
 Referenced in 45 articles
[sw29625]
 intuitionistic modal logic S4 provides an expressive framework for specifying and analyzing computation stages...

CVC
 Referenced in 47 articles
[sw09462]
 checker. Decision procedures for decidable logics and logical theories have proven to be useful tools ... implements a framework for combining subsidiary decision procedures for certain logical theories into a decision...

JavaMOP
 Referenced in 18 articles
[sw14034]
 formalisms can be included into the framework via logic plugins, allowing one to refer...

N3Logic
 Referenced in 9 articles
[sw02003]
 N3Logic: A logical framework for the world wide web The Semantic Web drives toward ... interacting with logically interconnected data. Through knowledge models such as Resource Description Framework...

2OBJ
 Referenced in 9 articles
[sw06964]
 2OBJ is a ”metalogical framework theorem prover”, i.e., a system that can be tailored ... prove theorems in any desired logical system, and can also prove theorems about proofs...

TVLA
 Referenced in 32 articles
[sw09878]
 TVLA (ThreeValuedLogic Analyzer). TVLA is a “YACC”like framework for automatically constructing static ... where the operational semantics is specified using logical formulae. TVLA has been implemented in Java...

METATEM
 Referenced in 55 articles
[sw06568]
 logic as an executable imperative language is introduced. The approach, which provides a concrete framework ... relating to the METATEM approach to executable logics...

Separation Logic
 Referenced in 7 articles
[sw28549]
 Separation Logic Framework for Imperative HOL. We provide a framework for separationlogic based correctness...

TOY
 Referenced in 55 articles
[sw09812]
 theoretical framework for declarative programming whose basis is a constructor based rewriting logic with lazy...

VeriML
 Referenced in 8 articles
[sw13522]
 design is to integrate a rich logical framework  similar to the one supported ... require significant additions to the logic language, so soundness is guaranteed. We have built...

PAL+
 Referenced in 3 articles
[sw21366]
 lambdafree logical framework. A lambdafree logical framework takes parameterisation and definitions ... framework presented here, PAL+, is a logical framework for specification and implementation of type theories ... MartinLöf’s logical framework (Nordström et al., 1990), computational rules can be introduced ... which could be done in other logical frameworks by means of lambda abstraction...