A-normal form

Known as: A Normal Form, A-normal-form, Administrative Normal Form 
In computer science, A-normal form (abbreviated ANF) is an intermediate representation of programs in functional compilers introduced by Sabry and… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1956-2017
051019562016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
We describe transition normal form (TNF) for classical planning tasks, where there is a unique goal state and variables occur in… (More)
Is this relevant?
2013
2013
We study formal argumentation frameworks as introduced by Dung (1995). We show that any such argumentation framework can be… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2007
Highly Cited
2007
The normal form x2+y2 = a2+a2x2y2 for elliptic curves simplifies formulas in the theory of elliptic curves and functions. Its… (More)
  • figure 1
  • table 1
Is this relevant?
2007
2007
We present a seemingly new normal form for braids, where every braid is expressed using a word in a regular language on some… (More)
  • figure 1
  • figure 2
  • figure 5
  • figure 6
  • figure 7
Is this relevant?
Highly Cited
2002
Highly Cited
2002
This article takes a first step towards the design and normalization theory for XML documents. We show that, like relational… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1998
1998
Computer algebra systems often have to deal with piecewise continuous functions. These are, for example, the absolute value… (More)
  • figure 1
Is this relevant?
1996
1996
We give a straightforward definition for redundancy in individual nested relations and define a new normal form that precisely… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 7
  • figure 9
Is this relevant?
1985
1985
We consider nested relations whose schemes are structured as trees, called scheme trees, and introduce a normal form for such… (More)
Is this relevant?
1985
1985
In this paw=, a normal form for entity-relationship diagrams and the objectives for such a normal form are presented. A normal… (More)
  • figure 3.3
  • figure 6.4
Is this relevant?
1977
1977
A formalism is presented for obtaining a normal form to be used in representing programs for compiler testing. Examples are used… (More)
  • figure 4
  • figure 3
Is this relevant?