Search Results for "functional testing tool"

Type inference provides robustness and correctness, but without the cost of additional code. Let the compiler catch bugs for you. Fable produces readable JavaScript code compatible with ES2015 standards and popular tooling like Webpack. Call JavaScript from Fable or Fable from JS. Use NPM packages. The entire JavaScript ecosystem is at your fingertips. Choose your favorite tool, from Visual Studio Code to JetBrains Rider. Fable supports the F# core library and some common .NET libraries to...

...SWIG is most commonly used to create high-level interpreted or compiled programming environments, user interfaces, and as a tool for testing and prototyping C/C++ software. SWIG is typically used to parse C/C++ interfaces and generate the 'glue code' required for the above target languages to call into the C/C++ code. SWIG can also export its parse tree in the form of XML.

...The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, unit testing, etc. The principal current tool of the project is OpenJML -- cf. https://www.openjml.org, with binary downloads from https://github.com/OpenJML/OpenJML/releases/latest

FOML is an expressive logic rule language that supports object modeling, analysis, and inference. It naturally supports model-level activities, such as constraints (extending UML diagrams), dynamic compositional modeling, analysis and reasoning about models, model testing, design pattern modeling, specification of Domain Specific Modeling Languages, and meta-modeling. FOML can reason about: 1. The model meta-data (meta-model level reasoning, or syntax reasoning) 2. Data level: reason...

Schism is an experimental compiler that translates Scheme programs into WebAssembly, allowing Scheme code to execute in both browser environments and server platforms like Node.js. Developed initially by Google researchers, the project was designed to explore the intersection of functional programming and WebAssembly’s low-level efficiency. Schism supports a subset of the R6RS Scheme standard and is self-hosting, meaning that the compiler itself is written in and compiled by Schism. Its...

BNF processing tool checks correctness of BNF grammar, generates cross-referenced HTML documentation, generates tests for language recognizers (parsers).

A program for syntactically correct sentence generation. Guided by a Bison grammar file as input, it provides random or coverage testing sentences. The program can be used for compiler or parser testing or didactical purposes.

Mira is a new programming language with a C like syntax. It borrows heavily from other poplar languages and has the design goals of intuitiveness,compiler extensibility, practical functional programming and great tool support.