Leonardo Rodríguez

Publication Activity (10 Years)

Years Active: 2004-2017
Publications (10 Years): 2

Top Topics

Functional Language

Denotational Semantics

Logical Properties

Top Venues

ModelEd, TestEd, TrustEd

Publications

Pedro R. D'Argenio, Carlos E. Budde, Matias David Lee, Raúl E. Monti, Leonardo Rodríguez, Nicolás Wolovick
The Road from Stochastic Automata to the Simulation of Rare Events. ModelEd, TestEd, TrustEd (2017)
Daniel Fridlender, Alejandro Gadea, Miguel Pagano, Leonardo Rodríguez
Biorthogonality for a Lazy language. IFL (2017)
Leonardo Rodríguez
An Intrinsic Denotational Semantics for a Lazy Functional Language. SBLP (2015)
Leonardo Rodríguez, Miguel Pagano, Daniel Fridlender
Proving Correctness of a Compiler Using Step-indexed Logical Relations. LSFA (2015)
Leonardo Rodríguez, Daniel Fridlender, Miguel Pagano
A Certified Extension of the Krivine Machine for a Call-by-Name Higher-Order Imperative Language. TYPES (2013)
Leonardo Rodríguez, Éric Tanter, Jacques Noyé
La réflexion comportementale partielle comme infrastructure de programmation par aspects. Etude du cas des coupes dynamiques. Obj. Logiciel Base données Réseaux 11 (3) (2005)
Leonardo Rodríguez, Éric Tanter, Jacques Noyé
Supporting Dynamic Crosscutting with Partial Behavioral Reflection: A Case Study. SCCC (2004)