package-info.java

// Copyright (c) 2011, David J. Pearce (djp@ecs.vuw.ac.nz)
// All rights reserved.
//
// This software may be modified and distributed under the terms
// of the BSD license.  See the LICENSE file for details.

/**
 * <p>
 * <b>The Whiley Intermediate Language (WYIL)</b>.  This is the
 * core library underpinning the Whiley programming language.  The
 * WYIL is an unstructured, stack-based intermediate representation
 * similar in many ways to Java bytecode.
 * </p>
 *
 * @author David J. Pearce
 */
package wyil;