6533b7dafe1ef96bd126d96d

RESEARCH PRODUCT

Towards CNC Programming Using Haskell

Claudio OchoaJosep SilvaGermán VidalGustavo Arroyo

subject

Functional programmingCorrectnessProgramming languageSemantics (computer science)Computer sciencecomputer.software_genreFormal methodsProgram analysisHigh-level programming languageProgramming abstractionHaskellcomputerAutoLISPcomputer.programming_language

description

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 proposed 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.

yearjournalcountryeditionlanguage
2004-01-01
https://doi.org/10.1007/978-3-540-30498-2_39