14
Publications
1.2K
Citations
14
H-Index
2005
Active since
J. Nathan Foster is an author at University of Pennsylvania specializing in computer science, engineering, and formal methods.
Top concepts
EngineeringComputer ScienceFormal MethodsSemanticsData ScienceFormal VerificationProgram AnalysisAutomated ReasoningLanguageLinguistics
Publications per year
2005–2009
14
14
Aaron Bohannon, J. Nathan Foster, Benjamin C. Pierce et al. · 2008 · 179 citations
Combinators for bi-directional tree transformations
J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore et al. · 2005 · 172 citations
J. Nathan Foster, Todd J. Green, Val Tannen · 2008 · 111 citations
J. Nathan Foster, Alexandre Pilkiewicz, Benjamin C. Pierce · ACM SIGPLAN Notices · 2008 · 71 citations
Data Structure, Syntax, Engineering +15
Rows per page
1–5 of 14