Buscar
Mostrando ítems 1-10 de 889
A generic version of scanf programmed in C5
(UR. FI – INCO., 2004)
In this paper we present a generic version of \{\\tt scanf\} the standard library function of the C language programmed in C5. C5 is a superset of the C programming language. The main difference between C and C5 is that ...
Programação genérica usando o sistema CT
(Universidade Federal de Minas GeraisUFMG, 2007-12-18)
The last decade has seen a number of approaches to datatype-generic programming: PolyP, Scrap Your Boilerplate, Derivable Type-Classes, Generic Haskell, Generics for the Masses, etc. The approaches vary in sophistication ...
Hfusion : a fusion tool based on acid rain plus extensions
(UR. FI-INCO,, 2009)
When constructing programs, it is a usual practice to compose algorithms that solve simpler problems to solve a more complex one. This principle adapts so well to software development because it provides a structure to ...
Using Difference Reduction for Generic Proof Search
(Computación y Sistemas, 2009)
The C5 Programming Language
(UR. FI – INCO., 2004)
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 ...