Summary: Towards CNC Programming Using Haskell
, C. Ochoa2
, J. Silva2
, and G. Vidal2
CIIDET, Av. Universidad 282 Pte. Centro, Santiago de Quer´etaro, Qro, Mexico.
DSIC, Tech. University of Valencia, Camino de Vera s/n, E-46022 Valencia, Spain.
Abstract. 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