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

SCM Repository

[diderot] Diff of /trunk/doc/semantics/semantics.tex
ViewVC logotype

Diff of /trunk/doc/semantics/semantics.tex

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

revision 1243, Wed May 18 18:32:36 2011 UTC revision 1244, Wed May 18 19:30:16 2011 UTC
# Line 98  Line 98 
98  % $\INFER{comm\_eval((s,env),x:=e,id,\Gamma)\Downarrow (s,env[x:=v],\Gamma)}{\ExpEval{env}{e}{v}} $  % $\INFER{comm\_eval((s,env),x:=e,id,\Gamma)\Downarrow (s,env[x:=v],\Gamma)}{\ExpEval{env}{e}{v}} $
99  %\vspace{24pt}  %\vspace{24pt}
100    
101  \CommEval{c_1; c_2}{(s'',env'',\Gamma'')}{\ExpEval{c_1} {(s,env) + \Gamma)} {(s',env',\Gamma')}}  %\CommEval{c_1; c_2}{(s'',env'',\Gamma'')}{\ExpEval{c_1} {(s,env) + \Gamma)} {(s',env',\Gamma')}}
102    
103  %$ \INFER{comm\_eval((s,env),c_1; c_2,id,\Gamma)\Downarrow (s',env'',\Gamma'')}  %$ \INFER{comm\_eval((s,env),c_1; c_2,id,\Gamma)\Downarrow (s',env'',\Gamma'')}
104          %      {comm\_eval((s,env),c_1,\Gamma)  \Downarrow  (s',env',\Gamma') \hspace{.2in} comm\_eval((s',env),c_2,\Gamma') \Downarrow (s'',env'',\Gamma'')}$          %      {comm\_eval((s,env),c_1,\Gamma)  \Downarrow  (s',env',\Gamma') \hspace{.2in} comm\_eval((s',env),c_2,\Gamma') \Downarrow (s'',env'',\Gamma'')}$

Legend:
Removed from v.1243  
changed lines
  Added in v.1244

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