Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,399,328 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
9 relations
Comparison of multi-paradigm programming languages
Functional programming
Horn clause
List of programming languages
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Review
2017
Review
2017
Herbal Medicine-A Review Article
Narinder Kumar
,
Pankaj Chibber
,
Surjeet Singh
,
Sumer Singh
,
Gd Singh
2017
Corpus ID: 53423082
Herbal and dietary supplements are generally used all over the World. There is a tendency or act for under reporting their intake…
Expand
2011
2011
Deriving WCET Bounds by Abstract Execution
Andreas Ermedahl
,
J. Gustafsson
,
B. Lisper
Euromicro Conference on Real-Time Systems
2011
Corpus ID: 54718947
Standard static WCET analysis methods today are based on the IPET technique, where WCET estimation is formulated as an integer…
Expand
2011
2011
Defining MARTE's VSL as an extension of Alf
A. Cuccuru
,
S. Gérard
,
F. Terrier
ACM/IEEE International Conference on Model Driven…
2011
Corpus ID: 40376635
VSL and Alf are two OMG standards providing a textual notation for complex mathematical expressions and detailed activities…
Expand
2006
2006
Ab initio configuration interaction study of the low-lying electronic states of InF
A. Banerjee
,
Anup Pramanik
,
K. Das
2006
Corpus ID: 9243802
2003
2003
Carbon-nitrogen chain molecules in the laboratory and in interstellar medium
R. Kołos
2003
Corpus ID: 93309322
2003
2003
Novel external field source by localization of electrons for improvement of solar cells
D. König
,
G. Ebest
2003
Corpus ID: 95936272
2000
2000
Ultraviolet cavity ring-down spectroscopy of free radicals in etching plasmas
J. Booth
,
G. Cunge
,
L. Biennier
,
D. Romanini
,
A. Kachanov
2000
Corpus ID: 54010367
1996
1996
Proof Representation in Type Theory: State of the Art
César A. Muñoz
1996
Corpus ID: 8075261
In the frame of intuitionistic logíc and type theory, it is well known that there is an isomorphism between types and…
Expand
1994
1994
A minimal-copy network interface architecture supporting ILP and ALF
B. Ahlgren
,
P. Gunningberg
1994
Corpus ID: 60616721
The memory bandwidth is one of the major performance bottlenecks Dav91, LA93, DAPP93, DWB + 93, ST93] limiting high-speed…
Expand
1989
1989
The Alf Approach to Process Modelling
P. Griffiths
,
P. Jamart
,
A. Legait
,
D. Oldfield
1989
Corpus ID: 60086413
The ALF (Accueil de Logiciel Futur) Project is concerned with building a third generation software engineering environment (i.e…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE