Browsing Artículos 2014 by Author "Rodríguez, Leonardo Matías"
Now showing items 1-1 of 1
-
A certified extension of the Krivine machine for a call-by-name higher-order imperative language
Rodríguez, Leonardo Matías; Fridlender, Daniel Edgardo; Pagano, Miguel María (2014)In this paper we present a compiler that translates programs from an imperative higher-order language into a sequence of instructions for an abstract machine. We consider an extension of the Krivine machine for the ...