C5 printf and C5 scanfin C5 version 0.98
In this paper we present the version 0.98 (September 2006) of the C compiler including the functions C5 printf and C5 scanf. 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, i.e., t...
Gardado en:
| Autor Principal: | |
|---|---|
| Formato: | report |
| Publicado: |
2006
|
| Subjects: | |
| Acceso en liña: | http://hdl.handle.net/20.500.12008/3523 |
| Tags: |
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|
| _version_ | 1868890197082505216 |
|---|---|
| author | Cabezas, Juan José |
| author_browse | Cabezas, Juan José |
| author_facet | Cabezas, Juan José |
| author_role | author |
| collection | COLIBRI |
| dc.creator.none.fl_str_mv | Cabezas, Juan José |
| dc.date.none.fl_str_mv | 2006 2014-12-02T16:07:27Z 2014-12-02T16:07:27Z 20141202 |
| dc.format.none.fl_str_mv | 32 p. application/pdf |
| dc.identifier.none.fl_str_mv | CABEZAS, J. "C5 printf and C5 scanfin C5 version 0.98". Reportes Técnicos 06-24. UR. FI – INCO, 2006. 0797-6410 http://hdl.handle.net/20.500.12008/3523 |
| dc.language.none.fl_str_mv | in |
| dc.publisher.none.fl_str_mv | UR. FI – INCO. |
| dc.relation.none.fl_str_mv | Reportes Técnicos 06-24 |
| dc.rights.none.fl_str_mv | info:eu-repo/semantics/openAccess Licencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0) |
| dc.source.none.fl_str_mv | reponame:COLIBRI instname:Universidad de la República instacron:Universidad de la República |
| dc.subject.none.fl_str_mv | Dynamic type Dependent pair type Generic programming Parser |
| dc.title.none.fl_str_mv | C5 printf and C5 scanfin C5 version 0.98 |
| dc.type.none.fl_str_mv | Reporte técnico info:eu-repo/semantics/report info:eu-repo/semantics/publishedVersion |
| description | In this paper we present the version 0.98 (September 2006) of the C compiler including the functions C5 printf and C5 scanf. 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, i.e., the type of the second member of the pair depends on the value of the first member (which is a type). Another C5 extension is the type initialization expression which is a list of dependent pairs that can be attached to type expressions in a type declaration. These extensions provide C5 with dynamic type inspection at run time and attribute type definition. The result is a powerful framework for generic programming. The paper presents the improvements of the version 0.98 including the functions C5 scanf, C5 printf, C5 lenSearch and C5 idxSearch |
| eu_rights_str_mv | openAccess |
| format | report |
| id | anni_cfda9d28d7e8237f21f3fd3ca54eee75 |
| identifier_str_mv | CABEZAS, J. "C5 printf and C5 scanfin C5 version 0.98". Reportes Técnicos 06-24. UR. FI – INCO, 2006. 0797-6410 |
| instacron_str | Universidad de la República |
| institution | Universidad de la República |
| instname_str | Universidad de la República |
| language_invalid_str_mv | in |
| network_acronym_str | anni |
| network_name_str | oai-lr-anni |
| oai_identifier_str | oai:colibri.udelar.edu.uy:20.500.12008/3523 |
| publishDate | 2006 |
| publishDateSort | 2006 |
| publisher.none.fl_str_mv | UR. FI – INCO. |
| reponame_str | COLIBRI |
| repository.mail.fl_str_mv | |
| repository.name.fl_str_mv | |
| repository_id_str | |
| rights_invalid_str_mv | Licencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0) |
| spelling | C5 printf and C5 scanfin C5 version 0.98Cabezas, Juan JoséDynamic typeDependent pair typeGeneric programmingParserIn this paper we present the version 0.98 (September 2006) of the C compiler including the functions C5 printf and C5 scanf. 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, i.e., the type of the second member of the pair depends on the value of the first member (which is a type). Another C5 extension is the type initialization expression which is a list of dependent pairs that can be attached to type expressions in a type declaration. These extensions provide C5 with dynamic type inspection at run time and attribute type definition. The result is a powerful framework for generic programming. The paper presents the improvements of the version 0.98 including the functions C5 scanf, C5 printf, C5 lenSearch and C5 idxSearchEn este trabajo se presentan la versión 0.98 (setiembre, 2006) del compilador de C5 incluyendo las funciones C5 printf y C5 scanf. C5 es un superconjunto del lenguaje de programación C. La diferencia principal entre C y C5 es que el sistema de tipos de C5 acepta definiciones de tipos de pares dependientes, es decir, que el tipo del segundo miembro del par depende del valor del primero (el cual es un tipo). Otra extensión de C5 es la expresión de inicialización de tipo que es una secuencia de pares dependientes que se puede adjuntar a una expresión de tipo en una declaración de tipo. Estas extensiones le otorgan a C5 la capacidad de hacer inspecciones de tipos dinámicos en tiempo de ejecución y realizar declaraciones de tipos con atributos. El trabajo presenta las mejoras de la version 0.98 y en particular las funciones C5 scanf, C5 printf, C5 lenSearch y C5 idxSearch.UR. FI – INCO.2014-12-02T16:07:27Z2014-12-02T16:07:27Z200620141202Reporte técnicoinfo:eu-repo/semantics/reportinfo:eu-repo/semantics/publishedVersion32 p.application/pdfCABEZAS, J. "C5 printf and C5 scanfin C5 version 0.98". Reportes Técnicos 06-24. UR. FI – INCO, 2006.0797-6410http://hdl.handle.net/20.500.12008/3523reponame:COLIBRIinstname:Universidad de la Repúblicainstacron:Universidad de la RepúblicainReportes Técnicos 06-24Las obras depositadas en el Repositorio se rigen por la Ordenanza de los Derechos de la Propiedad Intelectual de la Universidad De La República. (Res. Nº 91 de C.D.C. de 8/III/1994 – D.O. 7/IV/1994) y por la Ordenanza del Repositorio Abierto de la Universidad de la República (Res. Nº 16 de C.D.C. de 07/10/2014)info:eu-repo/semantics/openAccessLicencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0)oai:colibri.udelar.edu.uy:20.500.12008/35232026-04-14T10:16:15Z |
| spellingShingle | C5 printf and C5 scanfin C5 version 0.98 Cabezas, Juan José Dynamic type Dependent pair type Generic programming Parser |
| status_str | publishedVersion |
| title | C5 printf and C5 scanfin C5 version 0.98 |
| title_full | C5 printf and C5 scanfin C5 version 0.98 |
| title_fullStr | C5 printf and C5 scanfin C5 version 0.98 |
| title_full_unstemmed | C5 printf and C5 scanfin C5 version 0.98 |
| title_short | C5 printf and C5 scanfin C5 version 0.98 |
| title_sort | C5 printf and C5 scanfin C5 version 0.98 |
| topic | Dynamic type Dependent pair type Generic programming Parser |
| url | http://hdl.handle.net/20.500.12008/3523 |