Zobrazeno 1 - 10
of 79
pro vyhledávání: '"John Launchbury"'
Publikováno v:
Philosophical transactions. Series A, Mathematical, physical, and engineering sciences
For decades, formal methods have offered the promise of verified software that does not have exploitable bugs. Until recently, however, it has not been possible to verify software of sufficient complexity to be useful. Recently, that situation has ch
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5b5aaf53c04cca83f0332e935202865c
https://pubmed.ncbi.nlm.nih.gov/28871050
https://pubmed.ncbi.nlm.nih.gov/28871050
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
Publikováno v:
Scopus-Elsevier
Lecture Notes in Computer Science ISBN: 9783540418641
FoSSaCS
Lecture Notes in Computer Science ISBN: 9783540418641
FoSSaCS
Simulations between processes can be understood in terms of coalgebra homomorphisms, with homomorphisms to the final coalgebra exactly identifying bisimilar processes. The elements of the final coalgebra are thus natural representatives of bisimilari
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b6cb668c1b7aa8be2cc532036f3a0905
https://ora.ox.ac.uk/objects/uuid:aff9f310-035d-4dd1-9628-f0eeb1ab6df7
https://ora.ox.ac.uk/objects/uuid:aff9f310-035d-4dd1-9628-f0eeb1ab6df7
Autor:
John Launchbury, Trevor Elliott
Publikováno v:
Haskell
We present a concurrent scripting language embedded in Haskell, emulating the functionality of the Orc orchestration language by providing many-valued (real) non-determinism in the context of concurrent effects. We provide many examples of its use, a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3dfb125448e2a3d37db0ee7698870a98
https://doi.org/10.1145/2088456.1863534
https://doi.org/10.1145/2088456.1863534
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:
RAIRO - Theoretical Informatics and Applications. 36:155-180
Monads have been employed in programming languages for modeling various language features, most importantly those that involve side effects. In particular, Haskell's IO monad provides access to I/O operations and mutable variables, without compromisi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::87e516477734aaee9eb22aab15f65566
https://doi.org/10.1051/ita:2002008
https://doi.org/10.1051/ita:2002008
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
Publikováno v:
Programming Languages and Systems ISBN: 9783642548321
ESOP
ESOP
Secure multiparty computation MPC permits a collection of parties to compute a collaborative result without any of the parties or compute servers gaining any knowledge about the inputs provided by other parties, except what can be determined from the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4211c0ffabfdeb8a15d35c66f84f890f
https://doi.org/10.1007/978-3-642-54833-8_2
https://doi.org/10.1007/978-3-642-54833-8_2
Publikováno v:
ICFP
Based on our experience with modelling and verifying microarchitectural designs within Haskell, this paper examines our use of Haskell as host for an embedded language. In particular, we highlight our use of Haskell's lazy lists, type classes, lazy s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7b47d159c347b1b09bac9646310989f2
https://doi.org/10.1145/317765.317784
https://doi.org/10.1145/317765.317784
Autor:
John Launchbury, Patrick Sansom
The Glasgow Functional Programming Group is widely recognised for its research in lazy functional languages. Once again this year, for the fifth time, we retreated to a Scottish seaside town to discuss our latest work, this time spending three days i