71
Voted
CONCUR
2010
Springer
15 years 1 days ago
2010
Springer
Abstract. An impure language is one that combines functional and imperative constructs. We propose a method for ensuring termination of impure concurrent languages that makes it po...