Zobrazeno 1 - 4
of 4
pro vyhledávání: '"James Bielman"'
Publikováno v:
ICFP
We report on our experiences in synthesizing a fully-featured autopilot from embedded domain-specific languages (EDSLs) hosted in Haskell. The autopilot is approximately 50k lines of C code generated from 10k lines of EDSL code and includes control l
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::17d0fa3b8c288254f7d2760b8e561517
https://doi.org/10.1145/2692915.2628146
https://doi.org/10.1145/2692915.2628146
Autor:
Trevor Elliott, Lee Pike, Jamey Sharp, Pat Hickey, Eric L. Seidel, Simon Winwood, James Bielman, John Launchbury
Publikováno v:
Haskell
Ivory is a language that enforces memory safety and avoids most undefined behaviors while providing low-level control of memory- manipulation. Ivory is embedded in a modern variant of Haskell, as implemented by the GHC compiler. The main contribution
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7f4e9d767f6641a21a34faad6778b1db
https://doi.org/10.1145/2804302.2804318
https://doi.org/10.1145/2804302.2804318
Publikováno v:
IEEE Software. :1-1
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d27e174c7539fb65d61fbac065280bd1
https://doi.org/10.1109/ms.2017.265100836
https://doi.org/10.1109/ms.2017.265100836
Autor:
Trevor Elliott, Lee Pike, Thomas DuBuisson, Patrick C. Hickey, James Bielman, John Launchbury
Publikováno v:
PLPV
We briefly describe the use of embedded domain-specific languages to improve programmer productivity and increase software assurance in the context of building a fully-featured autopilot for unpiloted aircraft.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4c42d7644f2b43410b12d81ca63cc921
https://doi.org/10.1145/2541568.2541570
https://doi.org/10.1145/2541568.2541570