Thomas Ball
Skip Abstract Section
Abstract
Industry is ready and waiting for more graduates educated in the principles of programming languages.
- Clarke, E.M., Grumberg, O., and Peled, D. Model Checking. MIT Press, 2001, I--XIV, 1--314.Google Scholar
Cross Ref
- Codd, E.F. A relational model of data for large shared data banks. Commun. ACM 13, 6 (June 1970), 377--387. Google ScholarDigital Library
- Dean, J. and Ghemawat, S. MapReduce: A flexible data processing tool. Commun. ACM 53, 1 (Jan. 2010), 72--77. Google ScholarDigital Library
- Desai, A. et al. P: Safe asynchronous event-driven programming. In Proceedings of the 2013 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013. Google ScholarDigital Library
- Dijkstra, E.W. Letters to the editor: Go To statement considered harmful. Commun. ACM 11, 13 (Mar. 1968), 147--148. Google ScholarDigital Library
- Hoare, C.A.R. An axiomatic basis for computer programming. Commun. ACM 12, vol. 10 (Oct. 1969), 576--580. Google ScholarDigital Library
- Jackson, D. Software Abstractions: Logic, Language, and Analysis. MIT Press, Cambridge, MA, 2012. Google ScholarDigital Library
- Jones, R. The Garbage Collection Handbook: The Art of Automatic Memory Management. Chapman and Hall, 2012. Google ScholarDigital Library
- Lamport, L. Why we should build software like we build houses. Wired 25 (Jan. 2013).Google Scholar
- OpenSSL Project. OpenSSL Security Advisory {07 Apr 2014}. (Apr. 7, 2014); http://www.openssl.org/news/secadv_20140407.txt.Google Scholar
- Pfenning, F. Specification and verification in introductory computer science. Carnegie Mellon University; http://c0.typesafety.net/.Google Scholar
- Pierce, B.C. Types and Programming Languages. MIT Press, 2002, I--XXI, 1--623. Google ScholarDigital Library
- Torlak, E., Vaziri, M. and Dolby, J. MemSAT: Checking axiomatic specifications of memory models. In Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010. Google ScholarDigital Library
- Zave, P. Using lightweight modeling to understand Chord. SIGCOMM Comput. Commun. Rev. 42 (Mar. 2012), 49--57. Google ScholarDigital Library
Index Terms
Teach foundational language principles
Recommendations
UTeach CS Principles: Broadening Participation Through K-12 Computer Science Education and Teacher Professional Learning and Support (Abstract Only)
SIGCSE '17: Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science EducationUTeach Computer Science Principles (CSP) is a classroom-ready curriculum designed in alignment with the CSP framework and endorsed by the College Board for Advanced Placement (AP) Computer Science Principles implementation. Piloted in dual enrollment ...
The Principles of the Flix Programming Language
Onward! 2022: Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and SoftwareWe present the design values and design principles of the Flix programming language, a functional-first, imperative, and logic programming language. We explain how these values and principles came into being and how they have influenced the design of ...
Comments