• 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]
  • wave-propagation 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...
  • Java-MOP

  • Referenced in 18 articles [sw14034]
  • formalisms can be included into the framework via logic plug-ins, 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 ”meta-logical 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 (Three-Valued-Logic 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 separation-logic 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]
  • lambda-free logical framework. A lambda-free logical framework takes parameterisation and definitions ... framework presented here, PAL+, is a logical framework for specification and implementation of type theories ... Martin-Lö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...