\documentclass[nocolor,memo]{j3}
\renewcommand{\hdate}{10 January 2004}
\renewcommand{\vers}{J3/04-200}
\usepackage{lineno}
\usepackage{longtable}
\usepackage{xr}
\externaldocument{007}
\input pdftest
\begin{document}
\vspace{-10pt}
\begin{tabbing}
Subject: \hspace*{0.25in}\=Named specification expressions\\
From: \>Van Snyder\\
Reference: \>03-258r1, section 2.10\\
\end{tabbing}
\pagewiselinenumbers
\leftlinenumbers
\linenumbers*
\section*{Number}
TBD
\section*{Title}
Named specification expressions.
\section*{Submitted By}
J3
\section*{Status}
For consideration.
\section*{Basic Functionality}
Provide for a name to be given to a specification expression.
\section*{Rationale}
Automatic variables are convenient, but if several of them have the same
(complicated) dimensions or lengths, it is tedious to declare them.
If several dummy arguments have dimensions or length parameters that are
given by the same (complicated) specification expression, it is tedious
to declare them.
\section*{Estimated Impact}
Minor.
\section*{Detailed Specification}
Provide for a name to be given to a specification expression.
One way to do this is to have a class of parameters, identified
explicitly by an attribute, say DYNAMIC, whose values are given by
specification rather than initialization expressions. That is, they are
allowed to depend on other entities in exactly the same way that
dimensions and length parameters are. Dynamic parameters can obviously
be allowed only within procedures. It should be prohibited for them to
appear in variable definition contexts.
\section*{History}
\label{lastpage}
\end{document}