4959 search results - page 10 / 992 » Imperative Functional Programming |
70
Voted
PARCO
2003
15 years 1 months ago
2003
105
click to vote
VMCAI
2012
Springer
13 years 8 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
16 years 11 days 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...
195
Voted
MICRO
2012
IEEE
13 years 2 months 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...
191
Voted
POPL
2009
ACM
16 years 1 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...