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

SCM Repository

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

Annotation of /trunk/doc/semantics/defs.tex

Parent Directory Parent Directory | Revision Log Revision Log


Revision 715 - (view) (download) (as text)

1 : lamonts 709 %!TEX root = semantics.tex
2 :     %
3 :     \usepackage{times}
4 :    
5 :     \usepackage{proof}
6 :     \usepackage{amsmath}
7 :     \usepackage{amsfonts}
8 :    
9 :    
10 : lamonts 715 % bullet point
11 : lamonts 709 \newcommand{\point}{\textbullet~}
12 :    
13 : lamonts 715 % underscore
14 :     \newcommand{\US}{\char`\_}
15 : lamonts 709
16 :     % Inference Rules
17 :     \newcommand{\INFER}[2]{\begin{array}{c}\infer{#1}{#2}\end{array}}
18 : lamonts 715
19 :     % Expression Inference Rule
20 : lamonts 709 \newcommand{\ExpEval}[3] { %
21 : lamonts 715 \begin{displaymath}
22 :     #1 \vdash #2 \downarrow #3
23 :     \end{displaymath}}
24 : lamonts 709
25 : lamonts 715
26 :     % Update Inference Rule
27 :     \newcommand{\UpdateEval}[3]{ %
28 :     \begin{displaymath}
29 :     \vspace{12pt}
30 :     \INFER{\text{(#1,id,env) + } \Gamma) \vdash c \Downarrow #2}{#3}
31 :     \end{displaymath}}
32 :    
33 :     % Command Inference Rule
34 :     \newcommand{\CommEval}[3]{ %
35 :     \begin{displaymath}
36 :     \vspace{12pt}
37 :     \INFER {\text{ (s,id,env) + } \Gamma) \vdash #1 \Downarrow #2} {#3}
38 :     \end{displaymath}}
39 :    

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