Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,335,416 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.
2016
2016
Cryptographic Properties of Addition Modulo 2n
S. M. Dehnavi
,
A. M. Rishakani
,
M. R. Mirzaee Shamsabad
,
H. Maimani
,
E. Pasha
IACR Cryptology ePrint Archive
2016
Corpus ID: 18863587
The operation of modular addition modulo a power of two is one of the most applied operations in symmetric cryptography. For…
Expand
2011
2011
On the nonexistence of Bent Functions
Yin Zhang
,
Meicheng Liu
,
D. Lin
International Journal of Foundations of Computer…
2011
Corpus ID: 38318198
In this paper, we study the nonexistence of bent functions in the class of Boolean functions without monomials of degree less…
Expand
2008
2008
Autofocusing of moving objects in SAR data based on adaptive notch filtering
M. Dragosevic
IEEE Transactions on Aerospace and Electronic…
2008
Corpus ID: 35545163
This paper proposes a new autofocusing method for synthetic aperture radar (SAR) imaging of complex moving structures such as…
Expand
2002
2002
SCHIP Dodges the First Budget Ax
E. Howell
2002
Corpus ID: 54635191
SCHIP Administrators and other officials in 13 states reported very few cutbacks in eligibility or benefits in fiscal year 2002…
Expand
1993
1993
ACSR: An Algebra of Communicating Shared Resources with Dense Time and Priorities
Patrice Brémond-Grégoire
,
Insup Lee
,
Richard A. Gerber
International Conference on Concurrency Theory
1993
Corpus ID: 6038658
This paper describes a timed process algebra called ACSR. ACSR supports synchronous timed actions and asynchronous instantaneous…
Expand
1992
1992
Mechanism of immunoreactive ANF release in an ovine model endotoxemia
G. Redl
1992
Corpus ID: 88959531
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. F. B. van der Poel
,
I. Liener
1989
Corpus ID: 68275495
1987
1987
L'hormone natriurétique cardiaque (ANF).
J. Donckier
,
A. Berbinschi
,
J. Ketelslegers
,
M. Buysschaert
,
A. Lambert
1987
Corpus ID: 70591914
1977
1977
Properties of the Nigerian and Ivory Coast Strains of the Okra Mosaic Virus
R. F. Bozarth
1977
Corpus ID: 13853972
BOZARTH, R. F., A. 0. LANA, R. KOENIG, and J. REESE. 1977. Properties of the Nigerian and Ivory Coast strains of the okra mosaic…
Expand
1961
1961
Experimentelles zur Wirksamkeit des Kallikrein-Trypsin-Inaktivators (Trasylol)
M. Gülzow
,
H. Trettin
,
K. Drwok
Klinische Wochenschrift
1961
Corpus ID: 162661
Darmresorption das Angebot yon Xollidon und PriiL substanz an den Dann zu erreehnen. Daraus ergibt sich aueh, warnm das ,,Angebot…
Expand