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. © Springer-Verlag Berlin Heidelberg 2004.
CITATION STYLE
Arroyo, G., Ochoa, C., Silva, J., & Vidal, G. (2004). Towards CNC programming using Haskell. In Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) (Vol. 3315, pp. 386–396). Springer Verlag. https://doi.org/10.1007/978-3-540-30498-2_39
Mendeley helps you to discover research relevant for your work.