6960 search results - page 94 / 1392 » Continuity Analysis of Programs |
172
Voted
ECOOP
2012
Springer
13 years 5 months ago
2012
Springer
R is a dynamic language for statistical computing that combines lazy functional features and object-oriented programming. This rather unlikely linguistic cocktail would probably ne...
125
click to vote
QSIC
2006
IEEE
15 years 9 months ago
2006
IEEE
Aspect-oriented programming (AOP) has been proposed as a technique for improving the separation of concerns in software design and implementation. The field of AOP has, so far, f...
215
click to vote
POPL
1999
ACM
15 years 7 months ago
1999
ACM
hought of as abstract interpretation for the heap How we talk about the heap Program var X points to U that has an N field pointing to V We use first order predicate logic ¡...
IFIP
1994
Springer
15 years 7 months ago
1994
Springer
133
click to vote
FMOODS
2008
15 years 4 months ago
2008
Abstract. Termination analysis has received considerable attention, traditionally in the context of declarative programming, and recently also for imperative languages. In existing...