ALF - Technology

Technology

  • Advanced Library Format, an ASIC databook
  • Algebraic Logic Functional programming language
  • ALF (proof assistant)
  • Application layer framing
  • Application Lifecycle Framework, integration framework for ALM tools
  • Atomic line filter, an advanced optical filter
  • ALF (theorem prover), a dependently-typed programming language/theorem prover.
  • Algebraic Logic Functional programming language, a functional/logic programming language.

Read more about this topic:  ALF