[X10-commits] x10.man/paper intro.tex, 1.29, 1.30 lang.tex, 1.24, 1.25 paper.pdf, 1.40, 1.41 paper.tex, 1.45, 1.46

[Nate N. <njn...@us...>]

Update of /cvsroot/x10/x10.man/paper
In directory sc8-pr-cvs10.sourceforge.net:/tmp/cvs-serv28016

Modified Files:
	intro.tex lang.tex paper.pdf paper.tex 
Log Message:
Tweaks.


Index: lang.tex
===================================================================
RCS file: /cvsroot/x10/x10.man/paper/lang.tex,v
retrieving revision 1.24
retrieving revision 1.25
diff -u -d -r1.24 -r1.25
--- lang.tex	20 Mar 2008 03:25:50 -0000	1.24
+++ lang.tex	20 Mar 2008 08:02:57 -0000	1.25
@@ -143,7 +143,8 @@
 types has proven to be particularly valuable in practice. The same
 variable that is being used in computation can also be used to specify
 types. There is no need to introduce separate, universally and
-existentially quantified ``index'' variables.
+existentially quantified ``index'' variables as in, for
+instance, \DML{}~\cite{xi99dependent}.
 %
 During type-checking, \xcd{final} variables are turned into symbolic
 variables---some fixed but unknown value---of the same type.
@@ -166,7 +167,6 @@
 be declared \xcd{final},
 ensuring it is not mutated by the method body.  For instance,
 the following is a valid method declaration:
-\vfill
 \begin{displayxten}
 List(arg.length-1)
   tail(final List arg: arg.length > 0) {

Index: intro.tex
===================================================================
RCS file: /cvsroot/x10/x10.man/paper/intro.tex,v
retrieving revision 1.29
retrieving revision 1.30
diff -u -d -r1.29 -r1.30
--- intro.tex	20 Mar 2008 04:43:27 -0000	1.29
+++ intro.tex	20 Mar 2008 08:02:57 -0000	1.30
@@ -22,14 +22,15 @@
 core, \Xten{} introduces constructs for distribution and
 fine-grained concurrency (asynchrony, atomicity, ordering).
 
-\Xten{}, like most object-oriented languages is designed around
-the notion of objects as instances of {\em classes}. However, \Xten{}
-places equal emphasis on {\em arrays}, a central data-structure in
-high performance computing. In particular, \Xten{} supports dense,
+\Xten{}, like most object-oriented languages supports classes;
+however, it places
+equal emphasis on {\em arrays}, a central data structure in high
+performance computing.
+In particular, \Xten{} supports dense,
 distributed multi-dimensional arrays of value and reference types,
-built over index sets known as {\em regions}, and mappings from index
-sets to places, known as {\em distributions}.  \Xten{} supports a rich
-algebra of operations over regions, distributions and arrays.
+built over index sets known as {\em regions}.%, and mappings from index
+%sets to places, known as {\em distributions}.  \Xten{} supports a rich
+%algebra of operations over regions, distributions and arrays.
 
 A central design goal of \Xten{} is to rule out large classes of error
 by design. For instance, the possibility of indexing a 2-d array with 3-d
@@ -43,11 +44,11 @@
 registered with a given clock (i.e., dynamic barrier)~\cite{X10}.
 
 In this paper we describe {\Xten}'s support for {\em
-constrained types}.  
-Constrained types are a form of {\em dependent
+constrained types},
+a form of {\em dependent
 type}~\cite{dependent-types,xi99dependent,ocrz-ecoop03,aspinall-attapl,cayenne,epigram-matter,calc-constructions}---types parametrized by values---defined 
-on top of predicates over the {\em immutable}
-state of objects. Such types statically capture many common invariants
+on predicates over the {\em immutable}
+state of objects. Constrained types statically capture many common invariants
 that naturally arise in code. For instance, typically the shape of an
 array (the number of dimensions (the rank) and the size of each dimension)
 is determined at

Index: paper.tex
===================================================================
RCS file: /cvsroot/x10/x10.man/paper/paper.tex,v
retrieving revision 1.45
retrieving revision 1.46
diff -u -d -r1.45 -r1.46
--- paper.tex	20 Mar 2008 03:25:50 -0000	1.45
+++ paper.tex	20 Mar 2008 08:02:58 -0000	1.46
@@ -1,4 +1,4 @@
-\documentclass[10pt]{sigplanconf}
+\documentclass[nocopyrightspace,10pt]{sigplanconf}
 
 \newif\iflncs
 \lncsfalse
@@ -192,6 +192,7 @@
 \input{conclusion}
 \fi
 
+\if 0
 \section*{Acknowledgments}
 
 The authors thank Radha Jagadeesan,
@@ -203,6 +204,7 @@
 This material is based upon work supported by the Defense
 Advanced Research Projects Agency under its Agreement No.
 HR0011-07-9-0002.
+\fi
 
 
 \bibliographystyle{plain}

Index: paper.pdf
===================================================================
RCS file: /cvsroot/x10/x10.man/paper/paper.pdf,v
retrieving revision 1.40
retrieving revision 1.41
diff -u -d -r1.40 -r1.41
Binary files /tmp/cvsEMOBH4 and /tmp/cvs6hfhve differ