Gustavo A. Ospina

Publication Activity (10 Years)

Years Active: 2001-2009
Publications (10 Years): 0

Publications

Gustavo A. Ospina, Baudouin Le Charlier
Formalisation of C Language Interfaces. Electron. Notes Theor. Comput. Sci. 229 (4) (2009)
Gustavo A. Ospina, Baudouin Le Charlier
Towards precise descriptions for programming language interoperability: a general approach based on operational semantics. IESA (2007)
Gustavo A. Ospina, Baudouin Le Charlier
On the Design of a Tool for Supporting the Construction of Logic Programs. WLPE (2001)