Packages

  • package root
    Definition Classes
    root
  • object LamAnalysis

    We want to perform a simple static analysis on lambda-calculus programs.

    We want to perform a simple static analysis on lambda-calculus programs. We compute the possible unbound variables that are evaluated in the execution of a program.

    Definition Classes
    root
o

LamAnalysis

object LamAnalysis

We want to perform a simple static analysis on lambda-calculus programs. We compute the possible unbound variables that are evaluated in the execution of a program.

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. LamAnalysis
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Value Members

  1. def analyze[L](program: String)(implicit arg0: LamLattice[L]): Set[LamExp]

    Our analysis takes an input program as a string, and returns a set of expressions where unbound variables are evaluated.

  2. def main(args: Array[String]): Unit