Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,545,149 papers from all fields of science
Search
Sign In
Create Free Account
A-normal form
Known as:
ANF
, A normal form
, Administrative normal form
Expand
In computer science, A-normal form (abbreviated ANF) is an intermediate representation of programs in functional compilers introduced by Sabry and…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
7 relations
Computer science
Continuation-passing style
Functional compiler
Machine code
Expand
Broader (1)
Functional programming
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Optimal Intelligent Control for HVAC Systems
M. Khooban
,
M. Soltanpour
,
D. N. M. Abadi
,
Zahra Esfahani
2012
Corpus ID: 58351318
In this paper a novel Optimal Fuzzy Proportional-Integral-Derivative Controller (OFPIDC) is designed for controlling the air…
Expand
2010
2010
Decompositions and potentials for normal form games
William H. Sandholm
Games Econ. Behav.
2010
Corpus ID: 18410413
Highly Cited
2009
Highly Cited
2009
A Real-Time Extraction of Harmonic and Reactive Current in a Nonlinear Load for Grid-Connected Converters
D. Yazdani
,
A. Bakhshai
,
G. Joós
,
M. Mojiri
IEEE transactions on industrial electronics…
2009
Corpus ID: 23364027
This paper introduces a new adaptive notch filtering approach to extract the harmonic and reactive current components for power…
Expand
2007
2007
Sub-harmonic resonant solutions of a harmonically excited dry friction oscillator
G. Csernák
,
G. Stépán
,
S. Shaw
2007
Corpus ID: 73535142
Special sub-harmonic solutions of a harmonically forced dry-friction oscillator are analysed. Although the typical non-sticking…
Expand
Highly Cited
2002
Highly Cited
2002
A normal form for XML documents
M. Arenas
,
L. Libkin
ACM SIGACT-SIGMOD-SIGART Symposium on Principles…
2002
Corpus ID: 32609928
This paper takes a first step towards the design and normalization theory for XML documents. We show that, like relational…
Expand
Highly Cited
1998
Highly Cited
1998
Plasminogen System Expression in Vascular Smooth Muscle Cells : Role of cGMP in the Regulation of the Natriuretic Factors and Nitric Oxide Suppress Plasminogen Activator Inhibitor-1
H. Hansen
,
E. Feener
1998
Corpus ID: 197671
Increased expression of plasminogen activator inhibitor-1 (PAI-1) has been reported in atherosclerotic and balloon-injured…
Expand
1992
1992
A Self-Interpreter of Lambda Calculus Having a Normal Form
A. Berarducci
,
C. Böhm
Annual Conference for Computer Science Logic
1992
Corpus ID: 10969366
We formalize a technique introduced by Bohm and Piperno to solve systems of recursive equations in lambda calculus without the…
Expand
1989
1989
Recent advances of research in antinutritional factors in legume seeds. Proceedings of the First International Workshop on Antinutritional Factors (ANF) in Legume seeds.
J. Huisman
,
A. Poel
,
I. Liener
1989
Corpus ID: 68275495
Highly Cited
1987
Highly Cited
1987
Test sequence selection based on static data flow analysis
H. Ural
Computer Communications
1987
Corpus ID: 1885872
Highly Cited
1985
Highly Cited
1985
A Normal Form For Entity-Relationship Diagrams
T. Ling
International Conference on Conceptual Modeling
1985
Corpus ID: 11026710
In this paw=, a normal form for entity-relationship diagrams and the objectives for such a normal form are presented. A normal…
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