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...
Saved in:
| Main Author: | |
|---|---|
| Format: | report |
| Published: |
2006
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/20.500.12008/3523 |
| Tags: |
No Tags, Be the first to tag this record!
|
| Summary: | 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 |
|---|