• Datalog

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

  • Referenced in 197 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...
  • Visual Basic

  • Referenced in 306 articles [sw03518]
  • programming language and integrated development environment (IDE) from Microsoft for its COM programming model first ... released in 1991 and declared legacy in 2008. Microsoft intended Visual Basic to be relatively...
  • Mercury

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

  • Referenced in 45 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 ... functional and logic programming communities and to boost declarative programming in general...
  • LUSTRE

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

  • Referenced in 12 articles [sw23357]
  • Dyna: A Declarative Language for Implementing Dynamic Programs. We present ... first version of a new declarative programming language. Dyna has many uses but was designed...
  • BABEL

  • Referenced in 71 articles [sw03018]
  • HOPE, Standard, ML, or MIRANDA) and logic programming (as embodied in PROLOG) in a simple ... flexible, and mathematically well-bounded way. The language relies on a constructor discipline, well suited ... functional notation. On the other side, the language uses narrowing as the basis ... illustrate the features of the language through some programming examples...
  • SALSA

  • Referenced in 30 articles [sw02661]
  • Constraint Programming is recognized as an efficient technique for solving hard combinatorial optimization problems. However ... retaining the original declarativity of Constraint Logic Programming. We propose a language, SALSA, dedicated...
  • Dafny

  • Referenced in 73 articles [sw00183]
  • termination metrics. To further support specifications, the language also offers updatable ghost variables, recursive functions ... programmer responds by changing the program’s type declarations, specifications, and statements...
  • MGS

  • Referenced in 9 articles [sw22121]
  • rule-based programming language for complex objects and collections. We present the first results ... development of a new declarative programming language called MGS. This language is devoted...
  • Mozart

  • Referenced in 20 articles [sw04759]
  • decade of research in programming language design and implementation, constraint-based inference, distributed computing ... language, which supports declarative programming, object-oriented programming, constraint programming, and concurrency as part ... fault tolerance. Mozart supports multi-core programming with its network transparent distribution ... assistants, as well as applications in natural language understanding and knowledge representation, in scheduling...
  • CLAIRE

  • Referenced in 34 articles [sw02583]
  • presents a programming language which includes paradigms that are usually associated with declarative languages, such ... well known and are available under various programming environments, the originality of the CLAIRE language...
  • KLAIM

  • Referenced in 72 articles [sw09424]
  • operators for building processes. KLAIM naturally supports programming with explicit localities. Localities are first-class ... manipulated like any other data), but the language provides coordination mechanisms to control the interaction ... useful for discussing the design of the language and provides guidelines for implementations. KLAIM ... mobile code programming paradigms can be naturally implemented in our kernel language. We also present...
  • IBAL

  • Referenced in 27 articles [sw08945]
  • provides a rich declarative language for describing probabilistic models. The expression language allows the description ... generative models. In addition, IBAL’s observation language makes it possible to express and compose ... these are packaged together into a programming language that has a rich type system...
  • OPTYap

  • Referenced in 13 articles [sw13883]
  • programs. Logic programming languages, such as Prolog, provide a high-level, declarative approach to programming...
  • SAS/IML

  • Referenced in 82 articles [sw03240]
  • System provides a powerful and flexible programming language in a dynamic, interactive environment for programmers ... then employ SAS/IML software’s interactive matrix language for more specific analysis and exploration ... character values. You do not need to declare, dimension, or allocate storage for a data...
  • EasyCheck

  • Referenced in 13 articles [sw09735]
  • based testing of declarative programs written in the functional logic programming language Curry and emphasize...
  • 2APL

  • Referenced in 24 articles [sw06573]
  • Practical Agent Programming Language). This programming language facilitates the implementation of multi-agent systems consisting ... realizes an effective integration of declarative and imperative style programming by introducing and integrating declarative ... formal syntax and semantics of the programming language are given and its relation with existing...
  • Merlin

  • Referenced in 6 articles [sw25230]
  • Merlin: A Language for Provisioning Network Resources. This paper presents Merlin, a new framework ... express high-level policies using programs in a declarative language. The language includes logical predicates...