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

SCM Repository

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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 715 - (download) (as text) (annotate)
Thu Mar 31 14:58:53 2011 UTC (8 years, 2 months ago) by lamonts
File size: 808 byte(s)
Updated the defs.tex for the semantics.tex file
%!TEX root = semantics.tex
%
\usepackage{times}

\usepackage{proof}
\usepackage{amsmath}
\usepackage{amsfonts}


% bullet point 
\newcommand{\point}{\textbullet~}

% underscore
\newcommand{\US}{\char`\_}

% Inference Rules 
\newcommand{\INFER}[2]{\begin{array}{c}\infer{#1}{#2}\end{array}}

% Expression Inference Rule 
\newcommand{\ExpEval}[3] { %
	 \begin{displaymath} 
	 			#1 \vdash #2  \downarrow #3 			
	\end{displaymath}}


% Update Inference Rule 
\newcommand{\UpdateEval}[3]{ %
	\begin{displaymath}
		\vspace{12pt} 
		\INFER{\text{(#1,id,env) + } \Gamma) \vdash c \Downarrow #2}{#3} 
	\end{displaymath}}

% Command Inference Rule 
\newcommand{\CommEval}[3]{ %
	\begin{displaymath} 
		   \vspace{12pt} 
			\INFER {\text{ (s,id,env) + }  \Gamma)  \vdash   #1 \Downarrow #2} {#3} 
	\end{displaymath}}
 

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