|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 11 occurrences of 10 keywords
|
|
|
|
|
Results
Found 13 publication records. Showing 13 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Casey Klein, John Clements, Christos Dimoulas, Carl Eastlund, Matthias Felleisen, Matthew Flatt, Jay A. McCarthy, Jon Rafkind, Sam Tobin-Hochstadt, Robert Bruce Findler |
Run your research: on the effectiveness of lightweight mechanization.  |
POPL  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Haungs, Christopher Clark, John Clements, David S. Janzen |
Improving first-year success and retention through interest-based CS0 courses. |
SIGCSE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Chang, John Clements, Eli Barzilay, Matthias Felleisen |
Stepping Lazy Programs |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Thomas Dvornik, David S. Janzen, John Clements, Olga Dekhtyar |
Supporting introductory test-driven labs with WebIDE. |
CSEE&T |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | John Clements, Kathi Fisler |
"Little language" project modules. |
J. Funct. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | John Clements, David S. Janzen |
Overcoming Obstacles to Test-Driven Learning on Day One. |
ICST Workshops |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Chetan Desai, David S. Janzen, John Clements |
Implications of integrating test-driven development into CS1/CS2 curricula. |
SIGCSE |
2009 |
DBLP DOI BibTeX RDF |
test-driven learning, cs1, test-driven development, cs2 |
| 1 | Greg Pettyjohn, John Clements, Joe Marshall, Shriram Krishnamurthi, Matthias Felleisen |
Continuations from generalized stack inspection. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
A-normal form, scheme, continuations, web programming, continuation-passing style, stack inspection, defunctionalization |
| 1 | John Clements, Matthias Felleisen |
A tail-recursive machine with stack inspection. |
ACM Trans. Program. Lang. Syst. |
2004 |
DBLP DOI BibTeX RDF |
tail call optimization, Stack inspection, tail recursion |
| 1 | John Clements, Matthias Felleisen |
A Tail-Recursive Semantics for Stack Inspections. |
ESOP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Bruce Findler, John Clements, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Paul Steckler, Matthias Felleisen |
DrScheme: a programming environment for Scheme. |
J. Funct. Program. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | John Clements, Matthew Flatt, Matthias Felleisen |
Modeling an Algebraic Stepper. |
ESOP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Algis Rudys, John Clements, Dan S. Wallach |
Termination in Language-based Systems. |
NDSS |
2001 |
DBLP BibTeX RDF |
|
Displaying result #1 - #13 of 13 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")