• CPLEX

  • Referenced in 2766 articles [sw04082]
  • Python libraries that solve linear programming (LP) and related problems. Specifically, it solves linearly ... variables in the model may be declared as continuous or further constrained to take only...
  • Datalog

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

  • Referenced in 197 articles [sw01224]
  • language is a descendant of the Pascal programming language. It was developed in Switzerland ... used for grouping sets of related declarations into program units; hence the name Modula...
  • Visual Basic

  • Referenced in 306 articles [sw03518]
  • programming model first released in 1991 and declared legacy in 2008. Microsoft intended Visual Basic...
  • Mercury

  • Referenced in 69 articles [sw08333]
  • combines the clarity and expressiveness of declarative programming with advanced static analysis and error detection...
  • Curry

  • Referenced in 45 articles [sw08981]
  • logic programming are the most important declarative programming paradigms, and interest in combining them ... logic programming communities and to boost declarative programming in general...
  • TOY

  • Referenced in 56 articles [sw09812]
  • CRWL, a wide theoretical framework for declarative programming whose basis is a constructor based rewriting...
  • Prolog

  • Referenced in 70 articles [sw06518]
  • combining the power of constraint programming to the declarativity of logic programming...
  • Dafny

  • Referenced in 72 articles [sw00183]
  • programmer responds by changing the program’s type declarations, specifications, and statements...
  • VeriFast

  • Referenced in 64 articles [sw07705]
  • properties of pointer-manipulating imperative programs. The programmer may declare inductive datatypes and primitive recursive...
  • Algorithm 719

  • Referenced in 41 articles [sw13183]
  • comments) in the original Fortran program, the user declares the precision level and specifies which ... treated as multiprecision. The translator program reads this source program and outputs a program with...
  • LUPS

  • Referenced in 37 articles [sw02579]
  • dynamic logic programming. There, they studied and defined the declarative and operational semantics of sequences ... sequence of programs to precisely determine, at any given state, the declarative and procedural semantics ... concrete situations, is a sequence of logic programs built? For instance, in the domain...
  • Mozart

  • Referenced in 20 articles [sw04759]
  • result of a decade of research in programming language design and implementation, constraint-based inference ... language, which supports declarative programming, object-oriented programming, constraint programming, and concurrency as part...
  • BABEL

  • Referenced in 71 articles [sw03018]
  • HOPE, Standard, ML, or MIRANDA) and logic programming (as embodied in PROLOG) in a simple ... infinite data structures. There is also a declarative semantics, based on Scott domains, which provides ... notion of least Herbrand model for BABEL programs. We develop both semantics and prove ... result for the reduction semantics w.r.t. the declarative one. We also sketch a completeness result...
  • 2APL

  • Referenced in 24 articles [sw06573]
  • 2APL (A Practical Agent Programming Language). This programming language facilitates the implementation of multi-agent ... realizes an effective integration of declarative and imperative style programming by introducing and integrating declarative...
  • ASPIDE

  • Referenced in 14 articles [sw06309]
  • Programming (ASP) is a truly-declarative programming paradigm proposed in the area of non-monotonic...
  • 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...
  • Fiat

  • Referenced in 14 articles [sw21357]
  • synthesizing efficient correct-by-construction programs from declarative specifications. Programming by Fiat starts with...
  • Access

  • Referenced in 61 articles [sw03704]
  • programming environment, and VBA code modules may declare and call Windows operating-system functions...
  • LUSTRE

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