Back to Results
First PageMeta Content
Computer science / Applied mathematics / Deterministic finite automaton / Nondeterministic finite automaton / DFA Records / Finite-state machine / Algorithm / Counterexample / Regular expression / Automata theory / Models of computation / Theoretical computer science


A How Can Automatic Feedback Help Students Construct Automata? LORIS D’ANTONI, University of Pennsylvania DILEEP KINI, University of Illinois at Urbana-Champaign RAJEEV ALUR, University of Pennsylvania
Add to Reading List

Document Date: 2015-03-11 17:28:03

Open Document

File Size: 1,28 MB

Share Result on Facebook

City

New York / /

Company

ABC / ACM Inc. / Patterson / Microsoft / /

Country

Jordan / United States / /

Currency

USD / /

/

Facility

Penn Plaza / University of Washington / University of Pennsylvania DILEEP KINI / University of Illinois / University of Pennsylvania SUMIT GULWANI / /

/

IndustryTerm

incorrect solutions / student solution / art tools / potential applications / automata teaching tools / formal methods algorithms / main other existing tools / learning tool / large online courses / online experiments / online tool / given solution / representative solution / software interfaces / possible solutions / attempt solution / correct solution / learning tools / produced using formal methods algorithms / /

Organization

University of Washington / University of Illinois / National Science Foundation / University of Pennsylvania / UC Berkeley / University of Pennsylvania DILEEP KINI / Stanford / /

Person

SUMIT GULWANI / RAJEEV ALUR / MAHESH VISWANATHAN / Greer / BJORN HARTMANN / Mark / Urbana-Champaign / /

/

Position

teacher / general / but requires annotations / representative / General / /

ProgrammingLanguage

SQL / D / Python / /

ProvinceOrState

Alberta / Illinois / New York / /

Technology

formal methods algorithms / grading algorithms / machine learning / /

URL

http /

SocialTag