Skip to search formSkip to main contentSkip to account menu

ALF

Known as: Algebraic Logic Functional (programming language), Algebraic logic functional programming language 
Algebraic Logic Functional programming language, also known as ALF, is a programming language which combines functional and logic programming… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2017
Review
2017
Herbal and dietary supplements are generally used all over the World. There is a tendency or act for under reporting their intake… 
2011
2011
Standard static WCET analysis methods today are based on the IPET technique, where WCET estimation is formulated as an integer… 
2011
2011
VSL and Alf are two OMG standards providing a textual notation for complex mathematical expressions and detailed activities… 
1996
1996
In the frame of intuitionistic logíc and type theory, it is well known that there is an isomorphism between types and… 
1994
1994
The memory bandwidth is one of the major performance bottlenecks Dav91, LA93, DAPP93, DWB + 93, ST93] limiting high-speed… 
1989
1989
The ALF (Accueil de Logiciel Futur) Project is concerned with building a third generation software engineering environment (i.e…