Programming Language Specification in the Best of the Web Directory

Programming Language Specification

Algebraic Methodology and Software Technology

Contains resources about the Algebraic Methodology And Software Technology conference that transpired in the year 2000.

Comprehensive Algebraic Approach to System Specification and Development

Compiles research study resources. Also includes publication, working group lists and research details.

Formal Methods Europe

Organization of researchers who develop computing systems and software. Includes project details and document releases.

Inductive Theorem Prover INKA

Contains feature descriptions, manual, version release, and related publications.


Provides information about language development frameworks and source code analysis and transformation.

Proof Theoretic Approach to Specification Languages

Presents a thesis that provides an overview about specification languages.


Interactive specification tool for software development includes method details, documents, code templates, and FAQs.


Presents a product overview of a professional software development environment package. Includes support resources, newsletter subscription and contact information.

Structured-Preserving Specification Languages for Knowledge-Based Systems

Shows a summary of the use of formal specification languages for knowledge-based systems.

Submit a site to this category