Abstract
No abstract available.
Cited By
- Usevich K and Markovsky I Software package for mosaic-Hankel structured low-rank approximation 2019 IEEE 58th Conference on Decision and Control (CDC), (7165-7170)
- Tedre M and Denning P The long quest for computational thinking Proceedings of the 16th Koli Calling International Conference on Computing Education Research, (120-129)
- Ralph P and Tempero E Characteristics of decision-making during coding Proceedings of the 20th International Conference on Evaluation and Assessment in Software Engineering, (1-10)
- Mockus A Engineering big data solutions Future of Software Engineering Proceedings, (85-99)
- Kuhn T and Bergel A (2014). Verifiable source code documentation in controlled natural language, Science of Computer Programming, 96:P1, (121-140), Online publication date: 15-Dec-2014.
- DeNero J and Martinis S Teaching composition quality at scale Proceedings of the 45th ACM technical symposium on Computer science education, (421-426)
- Hansen D (2013). Paperless subjective programming assignment assessment, Journal of Computing Sciences in Colleges, 29:1, (116-122), Online publication date: 1-Oct-2013.
- Smith S, Koothoor N and Nedialkov N Document driven certification of computational science and engineering software Proceedings of the 1st International Workshop on Software Engineering for High Performance Computing in Computational Science and Engineering, (25-32)
- Rahtz S and Burnard L Reviewing the TEI ODD system Proceedings of the 2013 ACM symposium on Document engineering, (193-196)
- Börger E The subject-oriented approach to software design and the abstract state machines method Conceptual Modelling and Its Theoretical Foundations, (52-72)
- Asperti A Proof, message and certificate Proceedings of the 11th international conference on Intelligent Computer Mathematics, (17-31)
- Laput G, Adar E, Dontcheva M and Li W Tutorial-based interfaces for cloud-enabled applications Proceedings of the 25th annual ACM symposium on User interface software and technology, (113-122)
- Oney S and Brandt J Codelets Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, (2697-2706)
- Norman V (2012). Beauty and computer programming, ACM Inroads, 3:1, (46-48), Online publication date: 1-Mar-2012.
- Kahl W The teaching tool CALCCHECK Proceedings of the First international conference on Certified Programs and Proofs, (216-230)
- Watanobe Y, Yoshioka R and Mirenkov N Embedded Clarity in Filmification of Methods Proceedings of the 2010 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the 9th SoMeT_10, (70-82)
- Leavens G The future of library specification Proceedings of the FSE/SDP workshop on Future of software engineering research, (211-216)
- Palmer J Ficticious Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion, (61-68)
- Baniassad E and Myers C An exploration of program as language Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications, (547-556)
- Palmer J and Hillenbrand E Reimagining literate programming Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications, (1007-1014)
- Baniassad E and Myers C (2009). An exploration of program as language, ACM SIGPLAN Notices, 44:10, (547-556), Online publication date: 25-Oct-2009.
- Wingrave C, Laviola J and Bowman D (2009). A natural, tiered and executable UIDL for 3D user interfaces based on Concept-Oriented Design, ACM Transactions on Computer-Human Interaction, 16:4, (1-36), Online publication date: 1-Nov-2009.
- Börger E and Thalheim B A Method for Verifiable and Validatable Business Process Modeling Advances in Software Engineering, (59-115)
- Dorn B Community-Based Scaffolding to Promote End-User Learning Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, (254-255)
- Hashimoto C, Bond F and Flickinger D The Lextype DB Proceedings of the 1st international conference on Intercultural collaboration, (76-90)
- Taylor R and van der Hoek A Software Design and Architecture The once and future focus of software engineering 2007 Future of Software Engineering, (226-243)
- Page W (2007). AXIOM, ACM Communications in Computer Algebra, 41:3, (114-114), Online publication date: 1-Sep-2007.
- Ramage D and Oliner A RA Proceedings of the 2007 workshop on Experimental computer science, (19-es)
- Chua C, Purao S and Storey V (2006). Developing maintainable software, Decision Support Systems, 42:1, (469-491), Online publication date: 1-Oct-2006.
- Kiniry J, Morkan A and Denby B Soundness and completeness warnings in ESC/Java2 Proceedings of the 2006 conference on Specification and verification of component-based systems, (19-24)
- Waite W, Jarrahian A, Jackson M and Diwan A Design and implementation of a modern compiler course Proceedings of the 11th annual SIGCSE conference on Innovation and technology in computer science education, (18-22)
- Waite W, Jarrahian A, Jackson M and Diwan A (2006). Design and implementation of a modern compiler course, ACM SIGCSE Bulletin, 38:3, (18-22), Online publication date: 26-Sep-2006.
- Ducasse S and Gîrba T Using smalltalk as a reflective executable meta-language Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems, (604-618)
- Crowder G, Foster S, Russell D, Slaney M and Yanguas L Analytic worksheets Proceedings of the 2005 IFIP TC13 international conference on Human-Computer Interaction, (950-953)
- Smits B Efficiency issues for ray tracing ACM SIGGRAPH 2005 Courses, (6-es)
- Ohba M and Gondow K Toward mining "concept keywords" from identifiers in large software projects Proceedings of the 2005 international workshop on Mining software repositories, (1-5)
- Ohba M and Gondow K (2005). Toward mining "concept keywords" from identifiers in large software projects, ACM SIGSOFT Software Engineering Notes, 30:4, (1-5), Online publication date: 1-Jul-2005.
- Bond G (2005). Software as art, Communications of the ACM, 48:8, (118-124), Online publication date: 1-Aug-2005.
- Thirunarayan K (2005). On Embedding Machine-Processable Semantics into Documents, IEEE Transactions on Knowledge and Data Engineering, 17:7, (1014-1018), Online publication date: 1-Jul-2005.
- Wilson G (2004). Extensible Programming for the 21st Century, Queue, 2:9, (48-57), Online publication date: 1-Dec-2004.
- Berglund E Writing for adaptable documentation Proceedings of IEEE professional communication society international professional communication conference and Proceedings of the 18th annual ACM international conference on Computer documentation: technology & teamwork, (497-508)
- Deveaux D, Fleurquin R and Frison P (1999). Software engineering teaching, ACM SIGCSE Bulletin, 31:3, (163-166), Online publication date: 1-Sep-1999.
- Priestley M Dynamically assembled documentation Proceedings of the 17th annual international conference on Computer documentation, (53-57)
- Deveaux D, Fleurquin R and Frison P Software engineering teaching Proceedings of the 4th annual SIGCSE/SIGCUE ITiCSE conference on Innovation and technology in computer science education, (163-166)
- White M and Caldwell D CogentHelp Proceedings of the fifth conference on Applied natural language processing, (257-264)
- Caldwell D and White M CogentHelp Proceedings of the 15th annual international conference on Computer documentation, (17-22)
- Pocchiola M and Vegter G (1996). Topologically sweeping visibility complexes via pseudotriangulations, Discrete & Computational Geometry, 16:4, (419-453), Online publication date: 1-Apr-1996.
- Thomas R A practical experiment in teaching software engineering metrics Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
- Ramakrishnan S and Menzies T An Ongoing OO Software Engineering Measurement Experiment Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
- Godfrey R After the C++ Appetizer Comes the COBOL Main Course Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
- Briggs P (1996). Remembering, ACM SIGPLAN Notices, 31:1, (4-5), Online publication date: 1-Jan-1996.
- Kahn K (1996). Drawings on napkins, video-game animation, and other ways to program computers, Communications of the ACM, 39:8, (49-59), Online publication date: 1-Aug-1996.
- Ramsey N (1994). Literate Programming Simplified, IEEE Software, 11:5, (97-105), Online publication date: 1-Sep-1994.
Index Terms
- Literate programming
Recommendations
Reimagining literate programming
OOPSLA '09: Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applicationsIn this paper we describe Ginger, a new language with first class support for literate programming. Literate programming is a philosophy that argues computer programs should be written as literature with human readability and understanding of paramount ...
A case for contemporary literate programming
SAICSIT '04: Proceedings of the 2004 annual research conference of the South African institute of computer scientists and information technologists on IT research in developing countriesIn this paper we discuss the characteristics of Literate Programming and the development of programming environments to support Literate Programming in the past two decades. We argue that recent technological developments allow Literate Programming to be ...