Virgil Language Specification

This page contains the overview of the Virgil Language Specification, which specifies the syntax and semantics of the Virgil Language, including a detailed description of each language construct and how it works. This specification also establishes the criteria for determining the correctness of a language implementation.

Virgil I-01

The specification for Virgil I-01 is scheduled for release in August 2007. In the mean time, please consult the reference section, which contains detailed information about the grammar, keywords, types, and operators of Virgil.