234 search results - page 15 / 47 » Ruler: Programming Type Rules |
113
click to vote
OOPSLA
2004
Springer
15 years 8 months ago
2004
Springer
The main goal of this PhD thesis is to propose and implement a methodology for the construction of programs based on the SCOOP model, and for modular reasoning about their correct...
115
Voted
WCRE
1998
IEEE
15 years 6 months ago
1998
IEEE
Types are a good starting point for various software reengineering tasks. Unfortunately, programs requiring reengineering most desperately are written in languages without an adeq...
126
Voted
TASE
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper builds a bridge between permissions and ownership types. Ownership is a recognized alias control technique. With ownership, each object is assigned an owner and any acc...
130
Voted
LICS
2008
IEEE
15 years 9 months ago
2008
IEEE
Separation logic involves two dual forms of modularity: local reasoning makes part of the store invisible within a static scope, whereas hiding local state makes part of the store...
128
Voted
ICFP
2005
ACM
16 years 2 months ago
2005
ACM
Monads are commonplace programming devices that are used to uniformly structure computations with effects such as state, exceptions, and I/O. This paper further develops the monad...