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
Famous quotes containing the word technology:
“The successor to politics will be propaganda. Propaganda, not in the sense of a message or ideology, but as the impact of the whole technology of the times.”
—Marshall McLuhan (1911–1980)