Towards CNC Programming Using Haskell

Recent advances in Computerized Numeric Control (CNC) have allowed the manufacturing of products with high quality standards. Since CNC programs consist of a series of assembler-like instructions, several high-level languages (e.g., AutoLISP, APL, OMAC) have been to raise the programming abstraction level. Unfortunately, the lack of a clean semantics prevents the development of formal tools for the analysis and manipulation of programs. In this work, we propose the use of Haskell for CNC programming. The declarative nature of Haskell provides an excellent basis to develop program analysis and manipulation tools and, most importantly, to formally prove their correctness.

• Type: Conference
• Year: 2004
• Where: IBERAMIA
• Authors: Gustavo Arroyo, Claudio Ochoa, Josep Silva, Germán Vidal
• Keywords: Artificial Intelligence, CNC Programs, Computerized Numeric Control, IBERAMIA 2004, Programming Abstraction Level