Statistics
Publications
3
Citations
62
H-Index
3
Active since
2004
Affiliations
Northeastern University(Current)
Dale Vaillancourt is an author at Northeastern University specializing in formal methods, automated reasoning, and engineering.
Publications per year
2004–2006
3
3
Relating models of backtracking
Mitchell Wand, Dale Vaillancourt · ACM SIGPLAN Notices · 2004 · 24 citations
Computational Logic, Logical Relations, Infinite Computations +15
Dale Vaillancourt, Rex Page, Matthias Felleisen · 2006 · 20 citations
Relating models of backtracking
Mitchell Wand, Dale Vaillancourt · 2004 · 18 citations
Computational Logic, Logical Relations, Infinite Computations +15
1–3 of 3