• Oz

  • Referenced in 113 articles [sw06799]
  • dynamically typed and has first-class procedures, classes, objects, exceptions and sequential threads synchronizing over...
  • LPARX

  • Referenced in 8 articles [sw09673]
  • structures. LPARX represents data decompositions as first-class objects and expresses data dependencies...
  • LyriC

  • Referenced in 6 articles [sw17365]
  • paradigm, where constraints are treated as first-class objects that are organized in classes...
  • vlogsl

  • Referenced in 3 articles [sw12874]
  • over simulation, making simulation traces first-class data objects that can be stored, queried...
  • Sheafhom 2.0

  • Referenced in 1 article [sw00854]
  • items from category theory as first-class objects: vector spaces, morphisms of vector spaces...
  • AtomCaml

  • Referenced in 3 articles [sw22682]
  • AtomCaml: first-class atomicity via rollback. We have designed, implemented, and evaluated AtomCaml, an extension ... Objective Caml that provides a synchronization primitive ... atomic (transactional) execution of code. A first-class primitive function of type (unit ... obstruction-freedom. Our implementation extends the Objective Caml bytecode compiler and run-time system...
  • FCore

  • Referenced in 1 article [sw16981]
  • calls in the JVM with imperative functional objects. This paper presents FCore: a JVM implementation ... representation for first-class functions called imperative functional objects; and it provides...
  • Paragon

  • Referenced in 8 articles [sw13306]
  • Paragon, a Java-based language with first-class support for static checking of information flow ... integrates the policy language with Java’s object-oriented setting, and reaps the benefits...
  • VeriML

  • Referenced in 8 articles [sw13522]
  • logic and supply explicit machine-checkable proof objects. Unfortunately, large scale proof development in these ... type-safe effectful computational language with first-class support for manipulating logical terms such...
  • Sarcheshmeh

  • Referenced in 1 article [sw13574]
  • support uncertainty as a first-class concept. Data stream and probabilistic data have been recently ... applications including sensor data management systems and object monitoring systems which need both issues...
  • Clafer

  • Referenced in 2 articles [sw32317]
  • reference), a class modeling language with first-class support for feature modeling. We designed Clafer ... Clafer unifies basic modeling constructs, such as class, association, and property, into a single construct ... show that Clafer meets its design objectives using examples and by comparing to other languages...
  • AXIOM

  • Referenced in 169 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system...
  • Coq

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

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

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

  • Referenced in 8 articles [sw01573]
  • LogiMOO: An extensible multi-user virtual world with...
  • GENOTYPE

  • Referenced in 1 article [sw02115]
  • GENOTYPE - a pure functional array language. Genotype is...
  • GOLOG

  • Referenced in 169 articles [sw02159]
  • GOLOG: A logic programming language for dynamic domains...
  • SALSA

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

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