• MATCONT

  • Referenced in 455 articles [sw00551]
  • written in a relatively low-level programming language, so it is hard to extend...
  • Handel-C

  • Referenced in 44 articles [sw11988]
  • high-level programming language which targets low-level hardware, most commonly used in the programming ... hardware design what the first high-level programming languages were to programming CPUs. Unlike many...
  • MiniZinc

  • Referenced in 105 articles [sw06261]
  • express most constraint problems easily, but low-level enough that it can be mapped onto ... subset of the higher-level language Zinc. We hope it will be adopted ... standard by the Constraint Programming community...
  • IBM BAL

  • Referenced in 5 articles [sw34516]
  • Basic Assembly Language (BAL): low-level programming language used on IBM System 360, 370 mainframes...
  • GP 2

  • Referenced in 12 articles [sw36329]
  • deterministic graph programming language which frees programmers from handling low-level data structures for graphs ... facilitating formal reasoning about programs while supporting practical problem solving...
  • M-nets

  • Referenced in 11 articles [sw09132]
  • that the unfolding of a composite high-level net is the composition of the unfoldings ... vehicle for giving semantics of concurrent programming languages. To illustrate their capability for that ... simple, expressive concurrent programming language – is given. An associated low-level net semantics is described...
  • UFL

  • Referenced in 77 articles [sw11183]
  • intuitive and readable programs. We present in this work the language and its construction ... other software libraries to generate concrete low-level implementations. Some application examples are presented...
  • FlatZinc

  • Referenced in 9 articles [sw06262]
  • express most constraint problems easily, but low-level enough that it can be mapped onto ... subset of the higher-level language Zinc. We hope it will be adopted ... Constraint Programming community. FlatZinc is a low-level solver input language that is the target...
  • SNEG

  • Referenced in 3 articles [sw12815]
  • observables, and the basis states is the language of the second-quantization operators. It thus ... strings, rather than in some low-level programming language. Here I describe a Mathematica package...
  • Bedrock

  • Referenced in 4 articles [sw28530]
  • formal verification. Our language is targeted at low-level programming of infrastructure like operating systems ... macro assembly language”: we introduce an expressive notion of certified low-level macros, sufficient ... expressive enough to support features that low-level programs usually only access through external tools ... functional Coq programs that compute programs in our intermediate language; but the run-time cost...
  • Firedrake-Fluids

  • Referenced in 2 articles [sw38265]
  • written by hand in static, low-level programming languages such as Fortran or C, Firedrake...
  • KITTeL

  • Referenced in 9 articles [sw17045]
  • analysis of programs is a challenge if complete coverage of all language features should ... hand, low-level intermediate languages that occur during the compilation of C programs to machine...
  • Nemo

  • Referenced in 19 articles [sw20280]
  • Hecke, written in the Julia programming language for computer algebra and number theory. We demonstrate ... need to resort to a low-level C implementation. For specialised algorithms, we use Julia...
  • ESRA

  • Referenced in 11 articles [sw22238]
  • programming languages are considered by many, especially in industry, to be too low-level, difficult...
  • Hecke

  • Referenced in 17 articles [sw20279]
  • Hecke, written in the Julia programming language for computer algebra and number theory. We demonstrate ... need to resort to a low-level C implementation. For specialised algorithms, we use Julia...
  • Jerboa

  • Referenced in 1 article [sw10051]
  • implemented in a low-level programming language, but implemented as particular graph transformation rules...
  • Maria

  • Referenced in 19 articles [sw04127]
  • exported to low-level Petri nets and labelled transition systems. Translator programs allow Maria ... distributed computer programs written in procedural or object-oriented languages, or high-level specifications such...
  • Theseus

  • Referenced in 9 articles [sw19037]
  • level language for reversible programming, called Theseus, that meshes naturally with conventional programming language abstractions ... close correspondence with the low-level family of languages PI based on type isomorphisms ... Turing complete. The language is strongly typed and all well-typed programs are reversible...
  • VILLE

  • Referenced in 2 articles [sw18659]
  • tied to particular programming languages, and tend to focus on low-level aspects of programming ... present a new program visualization tool, which provides a language-independent view of learning programming...
  • MPL

  • Referenced in 8 articles [sw36143]
  • MasPar Programming Language. MPL is based on ANSI C and includes SIMD language extensions ... compiler. MPL is a powerful low-level language which is based on ANSI ... also contains statements and keywords which facilitate programming...