Book Chapter10.1007/978-3-540-30498-2_39
Towards CNC Programming Using Haskell
Gustavo Arroyo,Claudio Ochoa,Josep Silva,Germán Vidal +3 more
- 22 Nov 2004
- pp 386-396
TL;DR: This work proposes the use of Haskell for CNC programming, arguing that the declarative nature of Haskell provides an excellent basis to develop program analysis and manipulation tools and, most importantly, to formally prove their correctness.
read more
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 tools and, most importantly, to formally prove their correctness.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
•Journal Article
EGCL: An Extended G-Code Language with Flow Control, Functions and Mnemonic Variables
TL;DR: In this article, a compiler implementation for EGCL (Extended G-code Language), a new, enriched CNC programming language which allows the use of descriptive variable names, geometrical functions and flow-control statements (if-then-else, while) is presented.
7
Evaluación Parcial Offline Dirigida por Narrowing: Técnicas de Optimización y Aplicaciones
Gustavo Arroyo Delgado
- 31 Oct 2012
TL;DR: The evaluación parcial (EP) as discussed by the authors is a formal technique for optimización of programas based on a set of datos of entrada (data estaticos).
EGCL: an Extended G-Code Language with Flow Control, Functions and Mnemonic Variables
Oscar Ruiz-Salguero,Santiago Arroyave-Tobón,Juan Francisco Cardona +2 more
TL;DR: This study presents EGCL, a new CNC programming language with flow control, functions, and mnemonic variables, enhancing parametric programming, portability, and flexibility, and producing low-level Gcode for flexibility in CNC machine choice and portability.
Design of a 4 DOF parallel robot arm and the firmware implementation on embedded system to transplant pot seedlings
K Rahul,Hifjur Raheman,Vikas Paradkar +2 more
- 01 Jan 2020
TL;DR: The developed firmware was implemented and tested on a 4 DOF parallel manipulator using embedded microcontrollers for continuous pickup and place of the paper pot seedlings for automating the metering ofPot seedlings with a success rate of 93.3%.
References
•Book
Haskell 98 language and libraries : the revised report
Peyton Jones,L Simon +1 more
- 01 Jan 2003
TL;DR: The Haskell 98 Language: Lexical structure, Declarations and bindings, Predefined types and classes, and Libraries.
1.4K
The essence of functional programming
Philip Wadler
- 01 Feb 1992
TL;DR: This paper explores the use monads to structure functional programs and describes the relation between monads and the continuation-passing style in a compiler for Haskell that is written in Haskell.
Why functional programming matters
TL;DR: In this article, the authors show that higher-order functions and lazy evaluation of functional languages can contribute significantly to modularity and that modularity is the key to successful software development.
•Book
Introduction to Functional Programming using Haskell
Richard Bird
- 21 Apr 1998
TL;DR: In this article, the authors introduce the concepts of fundamental concepts, simple datatypes, simple numbers, and efficient trees for abstract datatype analysis, including Monads and Interaction.
455
•Posted Content
The Foundation of a Generic Theorem Prover
TL;DR: Isabelle as mentioned in this paper is an interactive theorem prover that supports a variety of logics, including higher-order logic, which is a meta-logic based approach to formalize logics and proofs.
223
Related Papers (5)
Lodewijk Bergmans,Cristina V. Lopes +1 more
- 14 Jun 1999
Éric Tanter,Jacques Noyé +1 more
- 29 Sep 2005