The C5 Programming Language
Resumen:
This is the third edition of the C5 manual. C5 is a programming language developed at the Instituto de Computación (InCo). C5 is a superset of the C programming language. The main difference between C and C5 is that the type system of C5 supports the definition of types of dependent pairs. The goal of the C5 language is to experiment with generic programs based on functions with dependent arguments. At the present the C5 framework includes the C5 compiler and a set of generic libraries that are the result of C5 related projects like the OPM machine, Typed Windows, Generic Fonts and the generic version of \{\\tt scanf\}. Like the previous editions, the current edition is a recompilation of the reports of C5 projects extended with appendixes. The main differences between the current edition with previous are: \\begin\{enumerate\} \\item a new rewriting of the introduction chapter. \\item the functions \{\\tt C5\\_seq\} and \{\\tt C5\\_copy\} are moved to a new chapter. \\item a new chapter is included with the generic version of \{\\tt scanf\}. \\item a new version of the Appendix C. \\item several errors of the previous edition detected by the students are corrected. \\end\{enumerate\} This manual is mainly used in C5 projects and the course Introducción a la Programación para Diseño Gráfico of the study programs Ingeniería en Computació and Maestría en Informática of PEDECIBA.
2004 | |
Universidad de la República | |
COLIBRI | |
http://hdl.handle.net/20.500.12008/3503 | |
Acceso abierto | |
Licencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0) |
Resultados similares
-
The C5 programming language 2007 edition
Autor(es):: Cabezas, Juan José
Fecha de publicación:: (2007) -
A generic version of scanf programmed in C5
Autor(es):: Cabezas, Juan José
Fecha de publicación:: (2004) -
C5 printf and C5 scanfin C5 version 0.98
Autor(es):: Cabezas, Juan José
Fecha de publicación:: (2006) -
Functions in C5
Autor(es):: Cabezas, Juan José
Fecha de publicación:: (2006) -
Typed windows : an implementation of a programming language for graphics design. Master Thesis
Autor(es):: Queirolo, Pablo J
Fecha de publicación:: (1997)