Crossover: Towards Compiler-enabled COBOL-C Interoperability
Interoperability across software languages is an important practical topic — especially in the context of software migration, where foreign function interfaces can help to replace legacy code fragments with calls to existing alternatives. In this paper, we take a deep dive into investigating and tackling the challenges involved with achieving interoperability between C and BabyCobol. The latter is a little domain-specific language, condensing challenges found in compiling legacy languages — borrowing directly from COBOL’s data philosophy — into one quickly implementable language. In this paper, we introduce Crossover, a compiler designed specifically to showcase the interoperability and the details of connecting a COBOL-like language with PICTURE clauses and re-entrant procedures, to C with primitive types and struct composites. Crossover features a C library for bridging the gap in overcoming the differences between the data representations native to the respective languages. We illustrate the design process of Crossover and demonstrate its usage to provide a strategy to achieve interoperability between legacy and modern languages. From a practical perspective, this directly enables C programmers to contribute to the maintenance of (as well as migration away from) legacy systems. The described process is aimed to be a blueprint for how interoperability can be achieved between full-fledged COBOL and modern (C-like) programming languages, enabling developers versed in either language to contribute to the maintenance of legacy systems.
Mon 23 OctDisplayed time zone: Lisbon change
14:00 - 15:30 | |||
14:00 30mTalk | Crossover: Towards Compiler-enabled COBOL-C Interoperability GPCE Mart van Assen University of Twente, Manzi Aimé Ntagengerwa University of Twente, Ömer Faruk Sayilir University of Twente, Vadim Zaytsev University of Twente, Netherlands | ||
14:30 30mTalk | Partial Evaluation of Automatic Differentiation for Differential-Algebraic Equations Solvers GPCE Oscar Eriksson KTH Royal Institute of Technology, Viktor Palmkvist KTH Royal Institute of Technology, David Broman KTH Royal Institute of Technology | ||
15:00 30mTalk | Generating Constraint Programs for Variability Model Reasoning: A DSL and Solver-Agnostic Approach GPCE Camilo Correa Restrepo University of Paris 1 Pantheon-Sorbonne, Paris, France, Jacques Robin ESIEA, Paris, France, Raúl Mazo ENSTA Bretagne |