Gustavo A. Ospina (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

3 Gustavo A. Ospina, Baudouin Le Charlier: Formalisation of C Language Interfaces. Electr. Notes Theor. Comput. Sci. 229(4): 67-84 (2009)

2 Gustavo A. Ospina, Baudouin Le Charlier: Towards precise descriptions for programming language interoperability: a general approach based on operational semantics. IESA 2007: 581-586

1 Gustavo A. Ospina, Baudouin Le Charlier: On the Design of a Tool for Supporting the Construction of Logic Programs. WLPE 2001

Selection of 3 from 3 records - Gustavo A. Ospina has 1 coauthors

Last update 2012-02-16 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

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