dat logo

Lam Programs     Abs Programs

Write the abs/lam program here:

Analysis options (Select an input type and then the analysis method. Check Verbose option for more details)

Input Type:    Abs program      Lam program
  • Fix-point 1.0
  • Mutations and flashbacks (FID are uppercase, VID are lowercase, functions have at least one parameter)
  • Fix-point 2.0