• ALGOL 60

  • Referenced in 502 articles [sw21807]
  • that in general ”Algol” refers to dialects of Algol 60 (wikipedia...
  • Turbo Pascal

  • Referenced in 363 articles [sw16451]
  • also used more generically for Borland’s dialect of the Pascal programming language, significantly different...
  • LISP

  • Referenced in 126 articles [sw07201]
  • early days, and a number of dialects have existed over its history. Today, the most ... widely known general-purpose Lisp dialects are Common Lisp and Scheme. Lisp was originally created...
  • SICStus

  • Referenced in 61 articles [sw12440]
  • context of multiple, conflicting Prolog dialect camps and a fledgling standardization effort. We reflect...
  • ACSL

  • Referenced in 47 articles [sw04216]
  • dependent, nonlinear differential equations. It is a dialect of the Continuous System Simulation Language (CSSL...
  • Multilisp

  • Referenced in 33 articles [sw09420]
  • Multilisp is a version of the Lisp dialect Scheme extended with constructs for parallel execution...
  • FOIL

  • Referenced in 30 articles [sw24694]
  • relations to construct theories expressed in a dialect of Prolog. This paper provides an overview...
  • NAMD2

  • Referenced in 21 articles [sw09642]
  • implemented using Charm++, a parallel C++ dialect, so as to enhance its modifiability. It uses...
  • CoALP

  • Referenced in 17 articles [sw16105]
  • proceeding towards implementation of a new dialect, CoALP, of logic programming, characterised by guarded lazy...
  • VLISP

  • Referenced in 8 articles [sw02672]
  • particular order:A Lisp dialect implemented and formalized since 1971 at the University of Paris ... Scheme programming language (Scheme is a dialect of Lisp).The ”Visual Lisp” implementation included...
  • DIAMOND

  • Referenced in 7 articles [sw22086]
  • DIAMOND: a system for computing with abstract dialectical frameworks. This paper briefly describes the DIAMOND ... programming (ASP) encodings of semantics of abstract dialectical frameworks (ADFs) together with a wrapper script...
  • MetaOCaml

  • Referenced in 10 articles [sw09230]
  • these constructs). MetaOCaml is a compiled dialect of MetaML...
  • ADL

  • Referenced in 9 articles [sw07257]
  • language has C/C++, IDL and Java dialects each of which are designed to reflect...
  • Guava

  • Referenced in 4 articles [sw22683]
  • Guava: a dialect of Java without data races. We introduce Guava, a dialect of Java ... shared data only through synchronized methods. Our dialect distinguishes three categories of classes: (1) monitors...
  • LeoPARD

  • Referenced in 6 articles [sw13554]
  • LeoPARD include a parser for all TPTP dialects, a command line interpreter, and generic means...
  • GRAPPA

  • Referenced in 6 articles [sw20931]
  • acceptance conditions, as first studied in Abstract Dialectical Frameworks (ADFs). The acceptance conditions used here...
  • tptp2X

  • Referenced in 5 articles [sw10409]
  • necessary to install the code for the dialect of Prolog that is to be used...
  • CIVL

  • Referenced in 2 articles [sw34345]
  • representing programs in a variety of concurrency dialects, including those listed above. The CIVL framework ... currently includes front-ends for the four dialects, and a back-end verifier which uses...
  • REAL92

  • Referenced in 3 articles [sw03291]
  • language for concurrent processes based on nondeterministic dialect of Specification and Design Language...
  • Naira

  • Referenced in 3 articles [sw13682]
  • Naira is a compiler for a parallel dialect of Haskell, compiling to a graph-reducing...