CitedEvidence
User Settings
Article

Bi-X Core: A General-Purpose Bidirectional Transformation Language

Dongxi Liu,Koji Nakano,Yasushi Hayashi,Zhijia Hu,Masato Takeichi,Akimasa Morihata+1 more-2007-01-01
0

TL;DRAbstract

Bi-X Core is a general-purpose bidirectional transformation language, aiming to implement various systems that need synchronization between their input data and output data. In syntax, Bi-X Core is a first-order λ-calculus extended with two structured data types, tuple and variant. For ease of use, some functional languages with more syntactic sugar can be defined based on Bi-X Core. The technical problem we solve in this paper is how to define bidirectional semantics for a general-pupose functional language. Bi-X Core is an ongoing work, and some examples are presented to demonstrate its usefulness.

Chat with Paper

AI Agents for this Paper

Bi-X Core is a general-purpose bidirectional transformation language, aiming to implement various systems that need synchronization between their input data and output data. In syntax, Bi-X Core is a first-order λ-calculus extended with two structured data types, tuple and variant. For ease of use, some functional languages with more syntactic sugar can be defined based on Bi-X Core. The technical problem we solve in this paper is how to define bidirectional semantics for a general-pupose functional language. Bi-X Core is an ongoing work, and some examples are presented to demonstrate its usefulness.

Keywords

Computer scienceProgramming languageCore (optical fiber)SyntaxTransformation (genetics)TupleSemantics (computer science)Synchronization (alternating current)

Chat

Click to start Chat