• TIL

  • Referenced in 13 articles [sw22185]
  • four technologies: intensional polymorphism, tag-free garbage collection, conventional functional language optimization and loop optimization ... intensional polymorphism and tag-free garbage collection to provide specialized representations, even though ... conventional functional language optimization to reduce the cost of intensional polymorphism, and loop optimization...
  • vmake

  • Referenced in 1 article [sw30107]
  • vmake allows the arbitrary packages to be intensionalized at the time of compilation, with ... variables and functions. In addition to providing the mechanisms for the intensionalization of standard language ... across function-call boundaries, and to manipulate versions as arbitrary expressions. The resulting intensional-imperative...
  • TransLucid

  • Referenced in 2 articles [sw21486]
  • intensional programming, in which the semantics of a variable was understood as a function from...
  • Coq

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • ML

  • Referenced in 522 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • WordNet

  • Referenced in 411 articles [sw01777]
  • WordNet® is a large lexical database of English...
  • TPTP

  • Referenced in 395 articles [sw04143]
  • The TPTP (Thousands of Problems for Theorem Provers...
  • Gringo

  • Referenced in 108 articles [sw04630]
  • This document provides an introduction to the Answer...
  • Smodels

  • Referenced in 239 articles [sw04631]
  • The Smodels system is an Answer Set Programming...
  • ETPS

  • Referenced in 160 articles [sw06302]
  • TPS and ETPS are, respectively, the Theorem Proving...
  • Nuprl

  • Referenced in 394 articles [sw06751]
  • The Nuprl system is a framework for reasoning...
  • Twelf

  • Referenced in 173 articles [sw06888]
  • Twelf is a language used to specify, implement...
  • PDDL

  • Referenced in 103 articles [sw07079]
  • Planning Domain Definition Language (PDDL). PDDL2.1: An extension...
  • dReal

  • Referenced in 30 articles [sw07157]
  • dReal: an SMT solver for nonlinear theories over...
  • SysML

  • Referenced in 23 articles [sw09155]
  • SysML Open Source Specification Project. The SysML.org web...
  • Agda

  • Referenced in 207 articles [sw09689]
  • Agda is a dependently typed functional programming language...
  • Clingcon

  • Referenced in 39 articles [sw09892]
  • Clingcon is a hybrid solver combining the monolithic...
  • CCalc

  • Referenced in 79 articles [sw09899]
  • The Causal Calculator (CCalc) is a system for...