Buscar
Mostrando ítems 1-10 de 15376
An algebraic approach to the design of compilers for object-oriented languages
(2010)
In this paper we describe an algebraic approach to construct provably correct compilers for objectoriented
languages; this is illustrated for programs written in a language similar to a sequential subset of Java. It includes ...
A retargetable VLIW compiler framework for DSPs with instruction-level parallelism
(Ieee-inst Electrical Electronics Engineers IncPiscatawayEUA, 2001)
Proving compiler correctness using step-indexed logical relations
(2016)
In this paper we prove the correctness of a compiler for a call-by-name language using step-indexed logical relations and biorthogonality. The source language is an extension of the simply typed lambda-calculus with ...
Juan Luis Martínez: compiler, commentator, authorJuan Luis Martínez: compilador, comentarista, autor1
(Taylor and Francis, 2023)
© 2023 Universidad Austral de Chile. All rights reserved.In this article I will try to explore the remote origins of the author model to which Juan Luis Martínez attributes: the figure of the medieval copyist, commentator ...
Improving Transactional Code Generation via Variable Annotation and Barrier Elision
(2020-05-01)
With chip manufacturers such as Intel, IBM and ARM offering native support for transactional memory in their instruction set architectures, memory transactions are on the verge of being considered a genuine application ...
Brazilian Network of Food Data Systems and LATINFOODS Regional Technical Compilation Committee: Food composition activities (2006-2009)
(ACADEMIC PRESS INC ELSEVIER SCIENCE, 2011)
The Brazilian Network of Food Data Systems (BRASILFOODS) has been keeping the Brazilian Food Composition Database-USP (TBCA-USP) (http://www.fcf.usp.br/tabela) since 1998. Besides the constant compilation, analysis and ...
Compiler
(Forest Resources System Institute, 2018)