Gustavo A. Ospina

According to our database, Gustavo A. Ospina authored at least 3 papers between 2001 and 2008.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2008

Formalisation of C Language Interfaces.

Gustavo A. Ospina, Baudouin Le Charlier

Proceedings of the Fifth Workshop on Structural Operational Semantics, 2008

2007

Towards precise descriptions for programming language interoperability: a general approach based on operational semantics.

Gustavo A. Ospina, Baudouin Le Charlier

Proceedings of the Enterprise Interoperability II, 2007

2001

On the Design of a Tool for Supporting the Construction of Logic Programs.

Gustavo A. Ospina, Baudouin Le Charlier

Proceedings of the Eleventh Workshop on Logic Programming Environments (WLPE'01), 2001