• Datalog

  • Referenced in 281 articles [sw20023]
  • Datalog is a declarative logic programming language that syntactically is a subset of Prolog...
  • LUSTRE

  • Referenced in 38 articles [sw08938]
  • LUSTRE: a declarative language for real-time programming. LUSTRE is a synchronous data-flow language...
  • CLAIRE

  • Referenced in 34 articles [sw02583]
  • paradigms that are usually associated with declarative languages, such as sets, rules and search, into...
  • Visual Basic

  • Referenced in 298 articles [sw03518]
  • third-generation event-driven programming language and integrated development environment (IDE) from Microsoft ... programming model first released in 1991 and declared legacy in 2008. Microsoft intended Visual Basic...
  • PAKCS

  • Referenced in 28 articles [sw13688]
  • implementation of the multi-paradigm declarative language Curry jointly developed by the Portland State University...
  • IBAL

  • Referenced in 27 articles [sw08945]
  • theoretic agents. IBAL provides a rich declarative language for describing probabilistic models. The expression language...
  • Isar

  • Referenced in 140 articles [sw04599]
  • proof language has been designed to satisfy quite contradictory requirements, being both ’declarative’ and immediately ... Isar/VM interpreter. Compared to existing declarative theorem proving systems (like Mizar), Isar avoids several shortcomings ... system offers Isar as an alternative proof language interface layer, beyond traditional tactic scripts...
  • ELAN

  • Referenced in 108 articles [sw02179]
  • main originality of the language is to provide strategy constructors to specify whether a function ... result. This declarative handling of non-determinism is part of a strategy language allowing...
  • Curry

  • Referenced in 42 articles [sw08981]
  • functional logic language. Functional and logic programming are the most important declarative programming paradigms ... last decade. However, integrated functional logic languages are currently not widely used. This ... most important features of functional and logic languages. Thus, Curry can be the basis ... logic programming communities and to boost declarative programming in general...
  • ISLANDER

  • Referenced in 14 articles [sw20843]
  • electronic institutions.We have defined a textual declarative language for the specification of the components...
  • DIASPORA

  • Referenced in 14 articles [sw02659]
  • model are expressed through a declarative language that permits users to explicitly specify navigation. DIASPORA...
  • Mercury

  • Referenced in 65 articles [sw08333]
  • logic/functional programming language which combines the clarity and expressiveness of declarative programming with advanced static...
  • GCLC

  • Referenced in 29 articles [sw00326]
  • high quality. GCLC uses a language GC for declarative representation of figures and for storing...
  • miz3

  • Referenced in 11 articles [sw18631]
  • declarative style (where proofs are texts in a controlled natural language, like in Isabelle/Isar ... Light interactive theorem prover. The declarative language that this interface uses is a slight variant ... language of the Mizar system, and can be used for any interactive theorem prover regardles ... original. As all declarative systems have essentially the same proof language, this give...
  • Dyna

  • Referenced in 10 articles [sw23357]
  • Dyna: A Declarative Language for Implementing Dynamic Programs. We present the first version ... declarative programming language. Dyna has many uses but was designed especially for rapid development...
  • FACTORIE

  • Referenced in 12 articles [sw08947]
  • flexible way. Rather than using a declarative language, such as SQL or first-order logic ... advocate using an imperative language to express various aspects of model structure, inference, and learning ... combining the traditional, declarative, statistical semantics of factor graphs with imperative definitions of their construction ... operation, we allow the user to mix declarative and procedural domain knowledge, and also gain...
  • Lore

  • Referenced in 19 articles [sw30996]
  • Lore project focuses on defining a declarative query language for XML, developing new technology...
  • Modula

  • Referenced in 55 articles [sw01224]
  • descendant of the Pascal programming language. It was developed in Switzerland in the 1970s ... related declarations into program units; hence the name Modula. The language is defined...
  • Spoofax

  • Referenced in 11 articles [sw16988]
  • spoofax language workbench: rules for declarative specification of languages and IDEs. Spoofax is a language ... support. Spoofax integrates language processing techniques for parser generation, meta-programming, and IDE development into ... single environment. It uses concise, declarative specifications for languages and IDE services. In this paper...
  • SALSA

  • Referenced in 30 articles [sw02661]
  • retaining the original declarativity of Constraint Logic Programming. We propose a language, SALSA, dedicated...