Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /branches/vis12/doc/report/lang.tex
ViewVC logotype

Diff of /branches/vis12/doc/report/lang.tex

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 2275, Fri Mar 8 12:00:16 2013 UTC revision 2276, Fri Mar 8 12:15:27 2013 UTC
# Line 4  Line 4 
4  \label{chap:lang}  \label{chap:lang}
5    
6  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
7    \section{Program structure}
8    
9    \begin{Grammar}
10      \ProgramRULES{}
11    \end{Grammar}%
12    
13    %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
14  \section{Global declarations}  \section{Global declarations}
15    
16  \begin{Grammar}  \begin{Grammar}
17    \InputDeclRULES{}    \GlobalDeclRULES{}
18    \end{Grammar}%
19    
20    \subsection{Global variable declarations}
21    
22    \begin{Grammar}
23    \VarDeclRULES{}    \VarDeclRULES{}
24  \end{Grammar}%  \end{Grammar}%
25    
26    \subsection{Input variable declarations}
27    
28    \begin{Grammar}
29      \InputDeclRULES{}
30    \end{Grammar}%
31    
32    \subsection{Function declarations}
33    \begin{Grammar}
34      \FuncDeclRULES{}
35      \ParamsRULES{}
36      \ParamRULES{}
37    \end{Grammar}%
38    
39  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
40  \section{Strand definitions}  \section{Strand definitions}
41    
42  \begin{Grammar}  \begin{Grammar}
43    \StrandDeclRULES{}    \StrandDeclRULES{}
   \ParamsRULES{}  
   \ParamRULES{}  
44  \end{Grammar}%  \end{Grammar}%
45    
46  \subsection{Strand state}  \subsection{Strand state}
# Line 86  Line 109 
109    e_1\;\mkw{||}\;e_2 \quad \equiv \quad \mkw{true}\;\mkw{if}\;e_1\;\mkw{else}\;e_2    e_1\;\mkw{||}\;e_2 \quad \equiv \quad \mkw{true}\;\mkw{if}\;e_1\;\mkw{else}\;e_2
110  \end{displaymath}%  \end{displaymath}%
111    
112  \subsubsection{If-else expressions}  \subsubsection{And-also expressions}
113  \begin{displaymath}  \begin{displaymath}
114    \infer{    \infer{
115        \HasTy{\ENV}{e_1\;\mkw{\&\&}\;e_2}{\TYbool}        \HasTy{\ENV}{e_1\;\mkw{\&\&}\;e_2}{\TYbool}

Legend:
Removed from v.2275  
changed lines
  Added in v.2276

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0