forked from CubaWiki/PLP-resumen-iarcuschin
-
Notifications
You must be signed in to change notification settings - Fork 0
/
intro.tex
19 lines (12 loc) · 691 Bytes
/
intro.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
\section{Aspectos de un Lenguaje}
\subsection{Sintaxis}
Es una descripción del conjunto de secuencias de símbolos considerados como programas válidos.
\subsection{Semántica}
Es la descripción del significado de instrucciones y expresiones. Puede ser formal o informal.
La semántica formal puede ser axiomática, operacional o denotacional.
\subsection{Sistema de Tipos}
Se utiliza para prevenir errores en tiempo de ejecución. En general, requiere anotaciones de tipo en el código fuente. Puede ser:
\begin{itemize}
\item Chequeo de tipos estático: se analiza en tiempo de compilación.
\item Chequeo de tipos dinámico: se analiza en tiempo de ejecución.
\end{itemize}