Sciweavers

3440 search results - page 35 / 688
» Logics For Context-Free Languages
Sort
View
PPDP
2000
Springer
15 years 1 months ago
Continuations for parallel logic programming
Eneia Todoran, Nikolaos Papaspyrou
POPL
2008
ACM
15 years 10 months ago
Separation logic, abstraction and inheritance
Matthew J. Parkinson, Gavin M. Bierman