• LPARX

  • Referenced in 8 articles [sw09673]
  • LPARX represents data decompositions as first-class objects and expresses data dependencies in a manner...
  • 1ML

  • Referenced in 4 articles [sw19983]
  • core and modules united (F-ing first-class modules). ML is two languages ... there is the core, with types and expressions, and there are modules, with signatures, structures ... first-class values have been proposed and implemented in different variations. However, they remedy expressiveness ... which modules are truly first-class values, and core and module layer are unified into...
  • Paragon

  • Referenced in 9 articles [sw13306]
  • mainstream programming languages are not sufficient to express how information is allowed to flow between ... Paragon, a Java-based language with first-class support for static checking of information flow ... nature, these policies appear to be more expressive and flexible than those used in previous...
  • CLF

  • Referenced in 2 articles [sw21372]
  • feature is the first-class representation of concurrent executions as monadic expressions. We illustrate...
  • Sage

  • Referenced in 3 articles [sw30073]
  • Dynamic, first-class types, and arbitrary refinement types. Since type checking for this expressive language...
  • Eff

  • Referenced in 19 articles [sw22721]
  • many others. Because eff supports first-class effects and handlers, programmers may define new computational ... sense that they do not express any information about computational effects...
  • KANREN

  • Referenced in 5 articles [sw20083]
  • unions, fair scheduling, first-class relations, lexically-scoped logical variables, depth-first and iterative deepening ... strategies. The system achieves high performance and expressivity without cuts. Applications of the system range...
  • Proclets

  • Referenced in 4 articles [sw08833]
  • workflow processes. By promoting interactions to first-class citizens it is possible to model complex ... more natural manner. In addition, the expressive power and flexibility are improved compared...
  • LyriC

  • Referenced in 6 articles [sw17365]
  • treated as first-class objects that are organized in classes. The query language ... built around the idea of extended path expressions. Path expressions in a query traverse nested...
  • HOCL

  • Referenced in 8 articles [sw07078]
  • include rewrite rules, which become first-class citizens. This extension is formalised by the $gamma ... gamma$-calculus with constants, operators, types and expressive patterns, we build a higher-order chemical...
  • SXSLT

  • Referenced in 3 articles [sw02365]
  • concise, expressive and readable declarative XML transformation language. The language is a head-first rewriting ... local scoping of re-writing “templates”, first-class stylesheets, flexible traversal strategies, the ability ... part, in a more coherent and expressive manner. By virtue of being a Scheme library...
  • VeriML

  • Referenced in 8 articles [sw13522]
  • Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher ... type-safe effectful computational language with first-class support for manipulating logical terms such...
  • PolyAML

  • Referenced in 4 articles [sw08950]
  • Hindley-Milner type inference. To support first-class polymorphic point-cut designators, a crucial feature ... type-directed translation into an expressive type-safe intermediate language. Many complexities of the source...
  • Clafer

  • Referenced in 2 articles [sw32317]
  • reference), a class modeling language with first-class support for feature modeling. We designed Clafer ... mechanisms allowing a meta-modeling language to express feature models concisely. Clafer unifies basic modeling...
  • NESTML

  • Referenced in 0 articles [sw15377]
  • thus necessary ,which enable neuroscientists to express models in acomprehensive and concise way and generate ... provides neuro- science domain concepts as first-class language constructs and supports domain experts...
  • Coq

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

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

  • Referenced in 58 articles [sw01346]
  • Clean is a functional language based on Term...
  • SALSA

  • Referenced in 30 articles [sw02661]
  • Constraint Programming is recognized as an efficient technique...
  • COMET

  • Referenced in 72 articles [sw03051]
  • Constraint-Based Local Search. The ubiquity of combinatorial...