|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 14 occurrences of 12 keywords
|
|
|
|
|
Results
Found 11 publication records. Showing 11 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Shan Shan Huang, David Zook, Yannis Smaragdakis |
Statically safe program generation with SafeGen.  |
Sci. Comput. Program.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | William R. Marczak, David Zook, Wenchao Zhou, Molham Aref, Boon Thau Loo |
Declarative Reconfigurable Trust Management |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | David Zook, Emir Pasalic, Beata Sarna-Starosta |
Typed Datalog. |
PADL |
2009 |
DBLP DOI BibTeX RDF |
Meta-compilation, Type System, Datalog, Deductive Databases |
| 1 | William R. Marczak, David Zook, Wenchao Zhou, Molham Aref, Boon Thau Loo |
Declarative Reconfigurable Trust Management. |
CIDR |
2009 |
DBLP BibTeX RDF |
|
| 1 | R. E. Kurt Stirewalt, Spencer Rugaber, Hwa-You Hsu, David Zook |
Experience report: Using tools and domain expertise to remediate architectural violations in the LogicBlox software base. |
ICSE Companion |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Shan Shan Huang, David Zook, Yannis Smaragdakis |
Domain-specific languages and program generation with meta-AspectJ. |
ACM Trans. Softw. Eng. Methodol. |
2008 |
DBLP DOI BibTeX RDF |
program transformation, program verification, domain-specific languages, program synthesis, language extensions, Metaprogramming |
| 1 | Shan Shan Huang, David Zook, Yannis Smaragdakis |
cJ: enhancing java with safe type conditions. |
AOSD |
2007 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, meta-programming, language extensions |
| 1 | Shan Shan Huang, David Zook, Yannis Smaragdakis |
Morphing: Safely Shaping a Class in the Image of Others. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Shan Shan Huang, David Zook, Yannis Smaragdakis |
Statically Safe Program Generation with SafeGen. |
GPCE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yannis Smaragdakis, Shan Shan Huang, David Zook |
Program generators and the tools to make them. |
PEPM |
2004 |
DBLP DOI BibTeX RDF |
safety guarantees, meta-programming, program generators |
| 1 | David Zook, Shan Shan Huang, Yannis Smaragdakis |
Generating AspectJ Programs with Meta-AspectJ. |
GPCE |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #11 of 11 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")