• BABEL

  • Referenced in 71 articles [sw03018]
  • functional notation. On the other side, the language uses narrowing as the basis ... infinite data structures. There is also a declarative semantics, based on Scott domains, which provides ... result for the reduction semantics w.r.t. the declarative one. We also sketch a completeness result ... semantics and illustrate the features of the language through some programming examples...
  • Mozart

  • Referenced in 20 articles [sw04759]
  • based on the Oz language, which supports declarative programming, object-oriented programming, constraint programming ... assistants, as well as applications in natural language understanding and knowledge representation, in scheduling...
  • cc(FD)

  • Referenced in 17 articles [sw21237]
  • declarative nondeterministic constraint logic language over finite domains based on the cc framework...
  • G12

  • Referenced in 11 articles [sw10112]
  • periodic table). Zinc is a declarative modelling language for expressing problems, independent of any solving...
  • XPathLog

  • Referenced in 7 articles [sw15782]
  • logic-programming style XML data manipulation language. We define XPathLog as a Datalog-style extension ... XPath. XPathLog provides a clear, declarative language for querying and manipulating XML whose perspectives ... base of XPathLog as a logic-programming language, whereas also an equivalent answer-set semantics ... semantics is also used for a declarative specification how the database should be updated: when...
  • Dafny

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

  • Referenced in 10 articles [sw17368]
  • specialized data model and query language for the representation and manipulation of spatial objects. DEDALE ... fashion. This new data model supports declarative query languages, which allow an intuitive and efficient...
  • 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...
  • CDOL

  • Referenced in 5 articles [sw02639]
  • CDOL: A comprehensive declarative object language. In this paper we present a rule-based database ... language known as CDOL (Comprehensive, Declarative Object Language) that is an integration of deductive, object ... active rules. The rule-based query language of CDOL provides an expressive approach to extend ... classes. The constraint sublanguage allows explicit declarative specification of integrity constraints as a basis...
  • NP Datalog

  • Referenced in 9 articles [sw13446]
  • system translates 𝒩𝒫𝒟atalog queries into Optimization Programming Language (OPL) programs which are executed ... problems, expressed by means of a declarative logic language, with the efficiency of the ILOG...
  • TLAPS

  • Referenced in 9 articles [sw09528]
  • distributed systems. The TLA+ proof language is declarative, hierarchical, and scalable to large system specifications ... features. An extension to the full TLA+ language is under active development. However, TLAPS...
  • SIMPLY

  • Referenced in 5 articles [sw11807]
  • SIMPLY: A compiler from a CSP modeling language to the SMT-LIB format. n this ... introduce Simply , a compiler from a declarative language for CSP modeling to the standard...
  • MuTACLP

  • Referenced in 4 articles [sw01597]
  • MuTACLP: A language for declarative GIS analysis. This paper proposes an integration between Geographical Information ... supply the user with a declarative language that supports and improves GIS analysis. We present...
  • KLAIM

  • Referenced in 71 articles [sw09424]
  • useful for discussing the design of the language and provides guidelines for implementations. KLAIM ... check whether they comply with the declared intentions and whether they have the necessary rights ... naturally implemented in our kernel language. We also present a prototype implementation of KLAIM...
  • Merlin

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

  • Referenced in 4 articles [sw28856]
  • programs written in another (functional logic) declarative language (e.g., Toy), there is an intermediate language...
  • Geo-sal

  • Referenced in 4 articles [sw28465]
  • programs. In contrast with this view, the language SAL [Arnb80] was designed with the goal ... spatial analysis problems within a coherent, declarative language...
  • SAS/IML

  • Referenced in 74 articles [sw03240]
  • 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...
  • Charon

  • Referenced in 20 articles [sw19755]
  • hybrid systems in Charon. A new language, called Charon, is proposed for modular specification ... declared at various levels of the hierarchy. The modular structure of the language ... compiled solely based on the locally declared information to execute its discrete and continuous updates...
  • GF

  • Referenced in 32 articles [sw13667]
  • Framework (GF) is a special-purpose functional language for defining grammars. It uses a Logical ... concrete syntax. GF grammars themselves are purely declarative, but can be used both for linearizing ... describe both formal and natural languages. The key notion of this description is a grammatical...