4959 search results - page 10 / 992 » Imperative Functional Programming |
PARCO
2003
14 years 11 months ago
2003
VMCAI
2012
Springer
13 years 6 months ago
2012
Springer
We describe a course on the semantics of a simple imperative programming language and on applications to compilers, type systems, static analyses and Hoare logic. The course is ent...
ICFP
2008
ACM
15 years 10 months ago
2008
ACM
Existing package and system configuration management tools suffer from an imperative model, where system administration actions such as upgrading packages or changes to system con...
168
click to vote
MICRO
2012
IEEE
13 years 26 days ago
2012
IEEE
This article presents a general algorithm for transforming sequential imperative programs into parallel data-flow programs. Our algorithm operates on a program dependence graph i...
172
Voted
POPL
2009
ACM
15 years 11 months ago
2009
ACM
We develop a model of concurrent imperative programming with threads. We focus on a small imperative language with cooperative threads which execute without interruption until the...