Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 230,395,275 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
2014
Review
2014
B RAIN EDEMA IN ACUTE LIVER FAILURE AND CHRONIC LIVER DISEASE : S IMILARITIES AND DIFFERENCES
Cristina R. Bosoi
,
C. Rose
2014
Corpus ID: 22398137
Hepatic encephalopathy (HE) is a complex neuropsychiatric syndrome that typically develops as a result of acute liver failure or…
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
2010
2010
Involuntary Discharge: Is an Assisted Living Resident Really a Tenant by Another Name?
C. Kilpinen
2010
Corpus ID: 58721792
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