Gustavo A. Ospina

	2009
3		Gustavo A. Ospina, Baudouin Le Charlier: Formalisation of C Language Interfaces. Electr. Notes Theor. Comput. Sci. 229(4): 67-84 (2009)
	2007
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
	2001
1		Gustavo A. Ospina, Baudouin Le Charlier: On the Design of a Tool for Supporting the Construction of Logic Programs. WLPE 2001

Coauthor Index

1

Baudouin Le Charlier

[1] [2] [3]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page