John Clements - researchr alias

researchr

You are not signed in
Sign in
Sign up

2012

Run your research: on the effectiveness of lightweight mechanizationCasey Klein, John Clements, Christos Dimoulas, Carl Eastlund, Matthias Felleisen, Matthew Flatt, Jay A. McCarthy, Jon Rafkind, Sam Tobin-Hochstadt, Robby Findler. In Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012. 2012: 285-296 [doi]

2011

Supporting introductory test-driven labs with WebIDEThomas Dvornik, David S. Janzen, John Clements, Olga Dekhtyar. csee 2011: 51-60 [doi]

2010

Little language project modulesJohn Clements, Kathi Fisler. JFP, 20(1):3-18, 2010. [doi]

Overcoming Obstacles to Test-Driven Learning on Day OneJohn Clements, David S. Janzen. icst 2010: 448-453 [doi]

2009

Implications of integrating test-driven development into CS1/CS2 curriculaChetan Desai, David S. Janzen, John Clements. sigcse 2009: 148-152 [doi]

2005

Continuations from generalized stack inspectionGreg Pettyjohn, John Clements, Joe Marshall, Shriram Krishnamurthi, Matthias Felleisen. ICFP 2005: 216-227 [doi]

2004

A tail-recursive machine with stack inspectionJohn Clements, Matthias Felleisen. TOPLAS, 26(6):1029-1052, 2004. [doi]

2003

A Tail-Recursive Semantics for Stack InspectionsJohn Clements, Matthias Felleisen. ESOP 2003: 22-37 [doi]

2002

DrScheme: a programming environment for SchemeRobby Findler, John Clements, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Paul Steckler, Matthias Felleisen. JFP, 12(2):159-182, 2002.

2001

Modeling an Algebraic StepperJohn Clements, Matthew Flatt, Matthias Felleisen. ESOP 2001: 320-334 [doi]

Termination in Language-based SystemsAlgis Rudys, John Clements, Dan S. Wallach. ndss 2001: [doi]