Matches in SemOpenAlex for { <https://semopenalex.org/work/W2129335813> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2129335813 endingPage "396" @default.
- W2129335813 startingPage "386" @default.
- W2129335813 abstract "AbstractRecent 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.KeywordsComputer Numerical ControlFunctional ProgrammingFormal ToolRobot HandComputerize Numeric ControlThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W2129335813 created "2016-06-24" @default.
- W2129335813 creator A5003503212 @default.
- W2129335813 creator A5039281466 @default.
- W2129335813 creator A5040746440 @default.
- W2129335813 creator A5069363042 @default.
- W2129335813 date "2004-01-01" @default.
- W2129335813 modified "2023-09-27" @default.
- W2129335813 title "Towards CNC Programming Using Haskell" @default.
- W2129335813 cites W1755481569 @default.
- W2129335813 cites W1995955735 @default.
- W2129335813 cites W2068350994 @default.
- W2129335813 cites W2089241138 @default.
- W2129335813 cites W4230064041 @default.
- W2129335813 doi "https://doi.org/10.1007/978-3-540-30498-2_39" @default.
- W2129335813 hasPublicationYear "2004" @default.
- W2129335813 type Work @default.
- W2129335813 sameAs 2129335813 @default.
- W2129335813 citedByCount "1" @default.
- W2129335813 countsByYear W21293358132020 @default.
- W2129335813 crossrefType "book-chapter" @default.
- W2129335813 hasAuthorship W2129335813A5003503212 @default.
- W2129335813 hasAuthorship W2129335813A5039281466 @default.
- W2129335813 hasAuthorship W2129335813A5040746440 @default.
- W2129335813 hasAuthorship W2129335813A5069363042 @default.
- W2129335813 hasConcept C111472728 @default.
- W2129335813 hasConcept C115903868 @default.
- W2129335813 hasConcept C124304363 @default.
- W2129335813 hasConcept C138885662 @default.
- W2129335813 hasConcept C146206909 @default.
- W2129335813 hasConcept C199360897 @default.
- W2129335813 hasConcept C2780624054 @default.
- W2129335813 hasConcept C2781249610 @default.
- W2129335813 hasConcept C34165917 @default.
- W2129335813 hasConcept C41008148 @default.
- W2129335813 hasConcept C42383842 @default.
- W2129335813 hasConcept C50033165 @default.
- W2129335813 hasConcept C55439883 @default.
- W2129335813 hasConcept C7051814 @default.
- W2129335813 hasConcept C77781355 @default.
- W2129335813 hasConcept C98045186 @default.
- W2129335813 hasConceptScore W2129335813C111472728 @default.
- W2129335813 hasConceptScore W2129335813C115903868 @default.
- W2129335813 hasConceptScore W2129335813C124304363 @default.
- W2129335813 hasConceptScore W2129335813C138885662 @default.
- W2129335813 hasConceptScore W2129335813C146206909 @default.
- W2129335813 hasConceptScore W2129335813C199360897 @default.
- W2129335813 hasConceptScore W2129335813C2780624054 @default.
- W2129335813 hasConceptScore W2129335813C2781249610 @default.
- W2129335813 hasConceptScore W2129335813C34165917 @default.
- W2129335813 hasConceptScore W2129335813C41008148 @default.
- W2129335813 hasConceptScore W2129335813C42383842 @default.
- W2129335813 hasConceptScore W2129335813C50033165 @default.
- W2129335813 hasConceptScore W2129335813C55439883 @default.
- W2129335813 hasConceptScore W2129335813C7051814 @default.
- W2129335813 hasConceptScore W2129335813C77781355 @default.
- W2129335813 hasConceptScore W2129335813C98045186 @default.
- W2129335813 hasLocation W21293358131 @default.
- W2129335813 hasOpenAccess W2129335813 @default.
- W2129335813 hasPrimaryLocation W21293358131 @default.
- W2129335813 hasRelatedWork W1498739950 @default.
- W2129335813 hasRelatedWork W1502384207 @default.
- W2129335813 hasRelatedWork W1974616093 @default.
- W2129335813 hasRelatedWork W2110317952 @default.
- W2129335813 hasRelatedWork W2129335813 @default.
- W2129335813 hasRelatedWork W2146937878 @default.
- W2129335813 hasRelatedWork W2886887129 @default.
- W2129335813 hasRelatedWork W2971609332 @default.
- W2129335813 hasRelatedWork W4226340035 @default.
- W2129335813 hasRelatedWork W4238823939 @default.
- W2129335813 isParatext "false" @default.
- W2129335813 isRetracted "false" @default.
- W2129335813 magId "2129335813" @default.
- W2129335813 workType "book-chapter" @default.