perm filename INSTRU[DOC,CSR]3 blob
sn#499939 filedate 1980-04-15 generic text, type C, neo UTF8
COMMENT ⊗ VALID 00005 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 C O V E R S F O R C S R E P O R T S - S I M P L E W A Y
C00004 00003 T H E M A C R O S I N P U B M A C.L E S [U P,D O C]
C00010 00004 S A M P L E O F H O W T O U S E P U B M A C.L E S [U P,D O C]
C00017 00005 P U B C O V E R S F I L E F O R P V G R E P O R T S
C00024 ENDMK
C⊗;
C O V E R S F O R C S R E P O R T S - S I M P L E W A Y
.device xgp;
.singlescript
.spacing 10*5 mills;
.page frame 48 high 80 wide
.area text lines 1 to 48
.
.turn on "↔" for "→"
.turn on "%,π,α,#,&,∂,↑,↓,[,]"
.turn on "∩" for "↑"
.turn on "∪" for "↓"
.font 1 "ngr40l";
.font 3 "math30";
.font 4 "grkl40";
.font 5 "ngr30"; <<for title pages>>
.at "|cd" ⊂"%3α*%*"⊃
.
.select 1
.
.place text;
.
.next page
.begin nofill
<<1>>↔<<DOE, SLAC, etc. no.>>
<<2>>Stanford Heuristic Programming Project↔<<date>>
Memo <<HPP number>>
<<3>>Stanford Verification Group↔<<date>>
Report No. <<no.>>
<<4>>Stanford Computer Science Laboratory↔<<date>>
Memo CSL <<no.>>
.skip
Department of Computer Science
Report No. <<CS- number>>
.skip 5
.begin center
<<title>>
.skip
by
.skip
<<author>>
.skip 5
D E P A R T M E N T O F C O M P U T E R S C I E N C E
School of Humanities and Sciences
STANFORD UNIVERSITY
.end
.next page
T H E M A C R O S I N P U B M A C.L E S [U P,D O C]
.<< AIM COVER AND TITLE PAGE MACROS. See PUBMAC.LES[UP,DOC] for documentation >>
.
.DEVICE XGP
.page frame 52 high 79 wide
.area text lines 1 to 52
.place text;
.require "basker.pub[sub,sys]" source;
.font 4 "METL"; font 5 "METM"
.ODDLEFTBORDER←EVENLEFTBORDER←1000;
.macro cover(aimno,csno,titl,auth,spons1,spons2,spons3,moyear,special,nack); ⊂
.turn on "→{";
.at "↓"; ⊂ }
.⊃
.if length("moyear")<3 then dat←month&" "&year else dat←"moyear";
.macro header; ⊂
.nofill; select 4;
Stanford Artificial Intelligence Laboratory →{dat}
Memo AIM-aimno
Computer Science Department
Report No. STAN-CS-csno
.CENTER SKIP 4
titl
by
auth
.xgenlines←xgenlines-3;
. ⊃
.macro seval(thing); ⊂
.sev←"thing";
.if length(sev)≤6 then start "eval"
. sev←thing;
. end "eval";
.⊃
.
.arpa←"Advanced Research Projects Agency";
.nasa←"National Aeronautics and Space Administration";
.nih←"National Institutes of Health";
.nsf←"National Science Foundation";
.nsftob←"National Science Foundation";
.nsfdcl←"National Science Foundation";
.nsfjmc←"National Science Foundation";
.onrzm←"Office of Naval Research";
.skip to column 1; header;
.if length("spons1")>1 then start "sponsors"
. sk←lines/2-(if length("spons2")=0 then 7 else if length("spons3") then 10 else 4);
. skip (sk max 2); select 5;
Research sponsored by
. seval("spons1"); (sev)}
. if length("spons3") then start "all3"
. seval("spons2"); (sev)}
. seval("spons3"); (sev)}
. end "all3"
. else start "1 or 2"
. if length("spons2")>1 then start
and
. seval("spons2"); (sev)}
. end
. end "1 or 2";
.end "sponsors";
.skip ((lines-12)max 1);
COMPUTER SCIENCE DEPARTMENT
Stanford University
.
.next page
.header;
.
.arpa←"Advanced Research Projects Agency of the Department of Defense"&
. " under ARPA Order No. 2494, Contract MDA903-76-C-0206";
.nsftob←nsftob&" under Contract NSF DAR 78-15914";
.nsfdcl←nsfdcl&" under Contract NSF MCS 76-00327";
.nsfjmc←nsfjmc&" under Contract NSF MCS 78-00524";
.nasa←nasa&" under Contract NASA - NASW-2916";
.onrzm←"Department of the Navy Contract N00014-76-C-0687";
.nih←nih& " under Contract PHS NIMH 06645-13";
.macro ack ⊂
.start "foot" fill; adjust; select 2;
. if length("special")>2 then start "special"
. ("special");}
. end "special";
. if length("spons1") then start "sponsor"
. seval("spons1"); ss←sev;
. if length("spons3") then start "all3"
. seval("spons2"); ss←ss&", "&sev&", and ";
. seval("spons3"); ss←ss&sev;
. end "all3"
. else start "1 or 2"
. if length("spons2")>1 then start
. seval("spons2"); ss←ss&" and "&sev;
. end
. end "1 or 2";
.if length("nack")<2 then start "ack"
This research was supported by the
. (ss&". ");
. end "ack"
. end "sponsor"
The views and conclusions contained in this document are those of the
authors and should not be interpreted as necessarily representing the
official policies, either expressed or implied, of Stanford University,
or any agency of the U. S. Government.
. end "foot" ⊃
.
.macro ntis ⊂ ack;
Reproduced in the U.S.A. Available from the National Technical Information
Service, Springfield, Virginia 22161.
. ⊃;
.macro univ ⊂ ack;
Available from University Microfilm, P. O. Box 1346, Ann Arbor, Michigan 48106.
.⊃
.FILL ADJUST; select 1;
. ⊃
.macro thesis; ⊂
.select 2
This thesis was submitted to the Department of Computer Science and the Committee
on Graduate Studies of Stanford University in partial fulfillment of the
requirements for the degree of Doctor of Philosophy.
.⊃
S A M P L E O F H O W T O U S E P U B M A C.L E S [U P,D O C]
. require "cover.pub[sub,sys]" source;
.FONT A "NGB40"; TURN ON "%";
.FONT B "NGR30";
.FONT C "NGB30"
.FONT D "NGI30"
.FONT E "NONMB"
.FONT F "MS25";
.tabs 15,45; turn on "\";
.COVER ("999","79-999",|%ATITLE%C|,
. |Author|,
. ARPA,NSFJMC,,July 1979,,);
.skip 2
.ONCE CENTER;SELECT C
ABSTRACT
.SELECT B;FILL;INDENT 3
Put text of abstract here.
.
.
.
.thesis <<this is a thesis>>
.ack <<standard acknowledgement>>
.select B
.SKIP TO LINE 42
.center
%Fc%B Copyright 1979 <<copyright notification for theses>>
.skip 1
by
.skip 1
Author
P U B C O V E R S F I L E F O R P V G R E P O R T S
.<< AIM COVER AND TITLE PAGE MACROS. See PUBMAC.LES[UP,DOC] for documentation >>
.
.DEVICE XGP
.page frame 52 high 79 wide
.area text lines 1 to 52
.place text;
.require "basker.pub[sub,sys]" source;
.font 4 "METL"; font 5 "METM"
.ODDLEFTBORDER←EVENLEFTBORDER←1000;
.macro cover(verno,csno,titl,auth,spons1,spons2,spons3,moyear,special,nack); ⊂
.turn on "→{";
.at "↓"; ⊂ }
.⊃
.if length("moyear")<3 then dat←month&" "&year else dat←"moyear";
.macro header; ⊂
.nofill; select 4;
Stanford Verification Group →{dat}
Report No. verno
Computer Science Department
Report No. STAN-CS-csno
.CENTER SKIP 4
titl
by
auth
.xgenlines←xgenlines-3;
. ⊃
.macro seval(thing); ⊂
.sev←"thing";
.if length(sev)≤6 then start "eval"
. sev←thing;
. end "eval";
.⊃
.
.arpa←"Advanced Research Projects Agency";
.nasa←"National Aeronautics and Space Administration";
.nih←"National Institutes of Health";
.nsf←"National Science Foundation";
.nsftob←"National Science Foundation";
.nsfdcl←"National Science Foundation";
.nsfjmc←"National Science Foundation";
.onrzm←"Office of Naval Research";
.skip to column 1; header;
.if length("spons1")>1 then start "sponsors"
. sk←lines/2-(if length("spons2")=0 then 7 else if length("spons3") then 10 else 4);
. skip (sk max 2); select 5;
Research sponsored by
. seval("spons1"); (sev)}
. if length("spons3") then start "all3"
. seval("spons2"); (sev)}
. seval("spons3"); (sev)}
. end "all3"
. else start "1 or 2"
. if length("spons2")>1 then start
and
. seval("spons2"); (sev)}
. end
. end "1 or 2";
.end "sponsors";
.skip ((lines-12)max 1);
COMPUTER SCIENCE DEPARTMENT
Stanford University
.
.next page
.header;
.
.arpa←"Advanced Research Projects Agency of the Department of Defense"&
. " under ARPA Order No. 2494, Contract MDA903-76-C-0206";
.nsftob←nsftob&" under Contract NSF DAR 78-15914";
.nsfdcl←nsfdcl&" under Contract NSF MCS 77-01194";
.nsfjmc←nsfjmc&" under Contract NSF MCS 78-00524";
.nasa←nasa&" under Contract NASA - NASW-2916";
.onrzm←"Department of the Navy Contract N00014-76-C-0687";
.nih←nih& " under Contract PHS NIMH 06645-13";
.macro ack ⊂
.start "foot" fill; adjust; select 2;
. if length("special")>2 then start "special"
. ("special");}
. end "special";
. if length("spons1") then start "sponsor"
. seval("spons1"); ss←sev;
. if length("spons3") then start "all3"
. seval("spons2"); ss←ss&", "&sev&", and ";
. seval("spons3"); ss←ss&sev;
. end "all3"
. else start "1 or 2"
. if length("spons2")>1 then start
. seval("spons2"); ss←ss&" and "&sev;
. end
. end "1 or 2";
.if length("nack")<2 then start "ack"
This research was supported by the
. (ss&". ");
. end "ack"
. end "sponsor"
The views and conclusions contained in this document are those of the
authors and should not be interpreted as necessarily representing the
official policies, either expressed or implied, of Stanford University,
or any agency of the U. S. Government.
. end "foot" ⊃
.
.macro ntis ⊂ ack;
Reproduced in the U.S.A. Available from the National Technical Information
Service, Springfield, Virginia 22161.
. ⊃;
.macro univ ⊂ ack;
Available from University Microfilm, P. O. Box 1346, Ann Arbor, Michigan 48106.
.⊃
.FILL ADJUST; select 1;
. ⊃
.macro thesis; ⊂
.select 2
This thesis was submitted to the Department of Computer Science and the Committee
on Graduate Studies of Stanford University in partial fulfillment of the
requirements for the degree of Doctor of Philosophy.
.⊃