13 search results - page 3 / 3 » A Modal Lambda Calculus with Iteration and Case Constructs |
67
Voted
CONCUR
2010
Springer
14 years 10 months 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...
86
Voted
FM
2006
Springer
15 years 1 months ago
2006
Springer
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners adopt techniques that support partial behaviour...
ICFP
2007
ACM
15 years 9 months ago
2007
ACM
We analyze the computational complexity of kCFA, a hierarchy of control flow analyses that determine which functions may be applied at a given call-site. This hierarchy specifies ...