LAURA, a system to debug student programs

&
Artificial Intelligence 15 (1-2):75-122 (1980)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(80)90023-5

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,139

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

System ST toward a type system for extraction and proofs of programs.Christophe Raffalli - 2003 - Annals of Pure and Applied Logic 122 (1-3):107-130.
Learning Computer Networks Using Intelligent Tutoring System.Mones M. Al-Hanjori, Mohammed Z. Shaath & Samy S. Abu Naser - 2017 - International Journal of Advanced Research and Development 2 (1).
ITS for Learning computer networks.Monnes Hanjory & Mohammed Z. Shath - 2017 - International Journal of Advanced Research and Development 2 (1):74-78.
Accounting for Intrinsic Values in the Federal Student Loan System.Yoaav Isaacs & Jason Iuliano - 2018 - In David Boonin, Katrina L. Sifferd, Tyler K. Fagan, Valerie Gray Hardcastle, Michael Huemer, Daniel Wodak, Derk Pereboom, Stephen J. Morse, Sarah Tyson, Mark Zelcer, Garrett VanPelt, Devin Casey, Philip E. Devine, David K. Chan, Maarten Boudry, Christopher Freiman, Hrishikesh Joshi, Shelley Wilcox, Jason Brennan, Eric Wiland, Ryan Muldoon, Mark Alfano, Philip Robichaud, Kevin Timpe, David Livingstone Smith, Francis J. Beckwith, Dan Hooley, Russell Blackford, John Corvino, Corey McCall, Dan Demetriou, Ajume Wingo, Michael Shermer, Ole Martin Moen, Aksel Braanen Sterri, Teresa Blankmeyer Burke, Jeppe von Platz, John Thrasher, Mary Hawkesworth, William MacAskill, Daniel Halliday, Janine O’Flynn, Yoaav Isaacs, Jason Iuliano, Claire Pickard, Arvin M. Gouw, Tina Rulli, Justin Caouette, Allen Habib, Brian D. Earp, Andrew Vierra, Subrena E. Smith, Danielle M. Wenner, Lisa Diependaele, Sigrid Sterckx, G. Owen Schaefer, Markus K. Labude, Harisan Unais Nasir, Udo Schuklenk, Benjamin Zolf & Woolwine (eds.), The Palgrave Handbook of Philosophy and Public Policy. Springer Verlag. pp. 469-477.
CSS-Tutor: An Intelligent Tutoring System for CSS and HTML.Mariam W. Alawar & Samy S. Abu Naser - 2017 - International Journal of Academic Research and Development 2 (1):94-99.
ITS for CSS and HTML.Mariam Elawar & Bastami Bashhar - 2017 - International Journal of Academic Research and Development 2 (1):94-99.
Research paper help student. Katejuddy - 1989 - Jurisprudencija: Mokslo darbu žurnalas:1-2.
Opportunities and responsibilities.Marvin Croy - manuscript
Intercultural Student Teaching: A Bridge to Global Competence.Kenneth Cushner & Sharon Brennan (eds.) - 2007 - R&L Education.
ITS for Enhancing Training Methodology for Students Majoring in Electricity.Mohammed S. Nassr & Samy S. Abu-Naser - 2019 - International Journal of Academic Pedagogical Research (IJAPR) 3 (3):16-30.
Pages 1- 10.Clark Glymour - unknown
Photoshop (CS6) Intelligent Tutoring System.Mohammed Z. Shaath, Mones Al-Hanjouri, Samy S. Abu Naser & Rami ALdahdooh - 2017 - International Journal of Academic Research and Development 2 (1):81-86.
A Compelling Practice: Empowering Future Leaders in the Medical Humanities. [REVIEW]Aliye Runyan, Katherine Ellington & Andrea Wershof Schwartz - 2013 - Journal of Medical Humanities 34 (4):493-495.
An Intelligent Tutoring System for Developing Education Case Study (Israa University).Hasan Abdulla Abu Hasanein - 2018 - Dissertation, Al-Azhar University, Gaza
Developing Education in Israa University Using Intelligent Tutoring System.Hasan A. Abu Hasanein & Samy S. Abu-Naser - 2018 - International Journal of Academic Pedagogical Research (IJAPR) 2 (5):1-16.

Analytics

Added to PP
2020-12-22

Downloads
8 (#1,215,626)

6 months
4 (#573,918)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Automated program recognition.Linda Mary Wills - 1990 - Artificial Intelligence 45 (1-2):113-171.
Understanding and debugging novice programs.W. Lewis Johnson - 1990 - Artificial Intelligence 42 (1):51-97.

Add more citations

References found in this work

Non-resolution theorem proving.W. W. Bledsoe - 1977 - Artificial Intelligence 9 (1):1-35.
Reasoning about programs.R. J. Waldinger & K. N. Levitt - 1974 - Artificial Intelligence 5 (3):235-316.
Knowledge and reasoning in program synthesis.Zohar Manna & Richard Waldinger - 1975 - Artificial Intelligence 6 (2):175-208.
Doing arithmetic without diagrams.F. Malloy Brown - 1977 - Artificial Intelligence 8 (2):175-200.
Intelligent program analysis.Gregory R. Ruth - 1976 - Artificial Intelligence 7 (1):65-85.

View all 7 references / Add more references