LAURA, a system to debug student programs

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


This article has no associated abstract. (fix it)



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

External links

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

Through your library

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.
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.
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.
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.


Added to PP

9 (#1,219,856)

6 months
5 (#652,053)

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.
Doing arithmetic without diagrams.F. Malloy Brown - 1977 - Artificial Intelligence 8 (2):175-200.
Knowledge and reasoning in program synthesis.Zohar Manna & Richard Waldinger - 1975 - Artificial Intelligence 6 (2):175-208.
Intelligent program analysis.Gregory R. Ruth - 1976 - Artificial Intelligence 7 (1):65-85.

View all 7 references / Add more references