4959 search results - page 27 / 992 » Imperative Functional Programming |
DOCENG
2009
ACM
14 years 8 months ago
2009
ACM
This paper focuses on the support provided by NCL (Nested Context Language) to relate objects with imperative code content and declarative hypermedia-objects (objects with declara...
PPPJ
2003
ACM
15 years 4 months ago
2003
ACM
Compared to imperative programming languages like Pascal or Basic, or functional programming languages like ML or Haskell learning Java is hampered by the fact that to get even th...
JMLR
2012
13 years 1 months ago
2012
POPL
1998
ACM
15 years 3 months ago
1998
ACM
Memory expansions are classical means to extract parallelism from imperative programs. However, for dynamic control programs with general memory accesses, such transformations eit...
CAV
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In this paper we present InvGen, an automatic linear arithmetic invariant generator for imperative programs. InvGen's unique feature is in its use of dynamic analysi...