4959 search results - page 56 / 992 » Imperative Functional Programming |
ECOOP
2000
Springer
15 years 4 months ago
2000
Springer
This paper studies specific language level abstractions for component-based programming. We propose a simple model which captures some basic ingredients — like explicit context ...
119
Voted
FORTE
2010
15 years 2 months ago
2010
Abstract. Separation logic is a popular specification language for imperative programs where the heap can only be mentioned through pointsto assertions. However, separation logic&#...
111
Voted
ENTCS
2007
15 years 16 days ago
2007
We describe a modular programming style that harnesses modern type systems to verify safety conditions in practical systems. This style has three ingredients: (i) A compact kernel...
133
Voted
LPAR
2012
Springer
13 years 8 months ago
2012
Springer
traction with Interpolants for Arrays Francesco Alberti1 , Roberto Bruttomesso2 , Silvio Ghilardi2 , Silvio Ranise3 , Natasha Sharygina1 1 Universit`a della Svizzera Italiana, Luga...
98
Voted
APPINF
2003
15 years 2 months ago
2003
The significance of functional programming is revealed as that the feasible approach to language extensibility which it enables is further applicable to programming in general and...