Search results for "AutoLISP"
showing 4 items of 4 documents
Towards CNC Programming Using Haskell
2004
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.
Informatics in Descriptive Geometry. Didactic Experience
2009
This study is centred in the environment of the research into solutions of the problems of graphic representation, expressing theoretical considerations which allow the carrying out of geometric-descriptive procedures decoded in informatics language, for implementing CAD commands.
From the descriptive geometry to the informatics language - Case study
2010
This study is centred in the environment of the research into solutions of the problems of graphic representation, expressing theoretical considerations which allow the carrying out of geometric-descriptive procedures decoded in informatics language, for implementing CAD commands. The solution of these problems requires a reliable command of stereometry and descriptive geometry and it can extend remarkably the level of external geometric competences. The implementation of the means of ICT has brought a higher effectiveness of graphing mapping processes. In the informatics field, the advent of software dedicated to computerized representation has increased the possibilities of investigation …
FROM THE DESCRIPTIVE GEOMETRY TO THE INFORMATICS LANGUAGE.
2010
This study is centred in the environment of the research into solutions of the problems of graphic representation, expressing theoretical considerations which allow the carrying out of geometric-descriptive procedures decoded in informatics language, for implementing CAD commands. The solution of these problems requires a reliable command of stereometry and descriptive geometry and it can extend remarkably the level of external geometric competences. The implementation of the means of ICT has brought a higher effectiveness of graphing mapping processes. In the informatics field, the advent of software dedicated to computerized representation has increased the possibilities of investigation …