Abstract
A modular framework for the development of medical applications that promotes deterministic, robust and correct code is presented. The system is based on the portable Gambit Scheme programming language and provides a flexible cross-platform environment for developing graphical applications on mobile devices as well as medical instrumentation interfaces running on embedded platforms. Real world applications of this framework for mobile diagnostics, telemonitoring and automated drug infusions are reported. The source code for the core framework is open source and available at: https://github.com/part-cw/lambdanative.
- Gambit Scheme programming language, http://gambitscheme.orgGoogle Scholar
- Feeley M, Miller JS, Guillermo JR, Wilson JA. Compiling higher-order languages into fully tail-recursive portable C. Technical Report 1078, de 'partement d'informatique et r.o., Universite de Montre al (1997)Google Scholar
- IEEE Standard for the Scheme Programming Language, IEEE 1178-1990, ISBN: 1559371250Google Scholar
- The Revised6 Report on the Algorithmic Language Scheme, http://www.r6rs.orgGoogle Scholar
- Kilgard MJ, Akeley K. Modern OpenGL: its design and evolution. SIGGRAPH Asia '08, p. 13 (2008) Google Scholar
Digital Library
- Johnson S. Lint, a C program checker. Computer Science Technical Report 65, Bell Laboratories, December 1977Google Scholar
- Neuman MI, Monuteaux MC, Scully KJ, Bachur RG. Prediction of Pneumonia in a Pediatric Emergency Department. Pediatrics, 2011; 128:2 p. 246--53Google Scholar
Cross Ref
- Karlen W, Hudson J, Lim J, Petersen C, Anand R, Dumont GA, Ansermino JM. The Phone Oximeter. IEEE Engineering in Medicine and Biology Society Unconference, Boston, USA, August 30, 2011Google Scholar
- Dunsmuir D, Petersen C, Karlen W, Lim J, Dumont GA, Ansermino JM. The Phone Oximeter for Mobile Spot-Check. Society for Technology in Anesthesia 2012 Annual Meeting, Palm Beach, FL, USA, January 18-21, 2012Google Scholar
- Harris PA, Taylor R, Thielke R, Payne J, Gonzalez N, Conde JG. Research electronic data capture (REDCap) - A metadata-driven methodology and workflow process for providing translational research informatics support. J Biomed Inform. 2009, 42(2), p. 377--81 Google Scholar
Digital Library
- von Dadelszen P, Payne B, Li J, Ansermino JM, Broughton-Pipkin F, Cote AM, Douglas JM, Gruslin A, Hutcheon JA, Joseph KS, Kyle PM, Lee T, Loughna P, Menzies JM, Merialdi M, Millman AL, Moore MP, Moutquin JM, Ouellet AB, Smith GN, Walker JJ, Walley KR, Walters BN, Widmer M, Lee SK, Russell JA, Magee LA. Predicting adverse maternal outcomes in pre-eclampsia: the fullPIERS (Pre-eclampsia Integrated Estimate of RiSk) model - development and validation. Lancet, 2011, 377 (9761), p. 219--227Google Scholar
Cross Ref
- Gorges M, Petersen C, Ansermino JM, Capturing vital signs for research in a multi-bed monitoring environment. Anesth Analg, 2011, 113 (2S Suppl), p. 42Google Scholar
- McCanne S, Jacobson V. The BSD Packet Filter: A New Architecture for User-level Packet Capture. Proc. of the USENIX Winter 1993 Conference p. 2 Google Scholar
Digital Library
- Görges M, Ansermino JM. Development of a Mobile Monitoring and Communications Solution for Anesthesia Team Members. Anesth Analg, 2011, 112 (5S Suppl), p. S207Google Scholar
- Dumont G, Liu N, Petersen C, Chazot T, Fischler M. Closed- Loop Administration of Propofol Guided by the NeuroSense: Clinical Evaluation Using Robust Proportional-Integral-Derivative Design. American Society of Anesthesiologists (ASA) Annual Meeting 2011Google Scholar
- van Heusden K, Dumont GA, Soltesz K, Petersen C, West N, Ansermino JM. Clinical evaluation of closed-loop controlled propofol infusion in children. World Congress of Anesthesiologists, Buenos Aries, Argentina, March 25-30, 2012Google Scholar
- West N, Dumont GA, van Heusden K, Khosravi S, Petersen C, Ansermino JM. The administration of closed-loop control of anesthesia for gastrointestinal endoscopic investigations in children. Society for Pediatric Anesthesia AAP Pediatric Anesthesiology Annual Meeting, Tampa, FL, USA, February 23-26, 2012Google Scholar
Index Terms
Experience report: functional programming of mHealth applications
Recommendations
Experience report: functional programming of mHealth applications
ICFP '13: Proceedings of the 18th ACM SIGPLAN international conference on Functional programmingA modular framework for the development of medical applications that promotes deterministic, robust and correct code is presented. The system is based on the portable Gambit Scheme programming language and provides a flexible cross-platform environment ...
A Scheme-Based Closed-Loop Anesthesia System
ILC '14: Proceedings of ILC 2014 on 8th International Lisp ConferenceMany aspects of modern medicine, including the administration of anesthetic agents during general surgery, remain unautomated and reliant on the vigilance of the attending clinicians. In other fields where failures can have catastrophic consequences, ...
Experience report: building an eclipse-based IDE for Haskell
Proceedings of the ICFP '07 conferenceThis paper summarizes experiences from an open source project that builds a free Haskell IDE based on Eclipse (an open source IDE platform). Eclipse is extensible and has proved to be a good basis for IDEs for several programming languages. Difficulties ...







Comments