Sciweavers

9444 search results - page 3 / 1889
» The Language Model LMNtal
Sort
View
70
Voted
PPDP
2010
Springer
14 years 9 months ago
Declarative modeling of finite mathematics
Paul Tarau
82
Voted
PLDI
2011
ACM
14 years 2 months ago
Partial-coherence abstractions for relaxed memory models
Michael Kuperstein, Martin T. Vechev, Eran Yahav