263 search results - page 11 / 53 » An Extensible Type System for Component-Based Design |
138
Voted
PADL
2004
Springer
15 years 8 months ago
2004
Springer
The wide practice of objected oriented programming (OOP) in current software practice is evident. Despite extensive studies on typing programming objects, it is still undeniably a ...
129
Voted
ADT
2005
15 years 2 months ago
2005
Component based design is a new paradigm to build distributed systems and applications. The problem of compositional verification of such systems is however still open. We investig...
161
Voted
PLDI
2011
ACM
14 years 5 months ago
2011
ACM
Energy is increasingly a first-order concern in computer systems. Exploiting energy-accuracy trade-offs is an attractive choice in applications that can tolerate inaccuracies. Re...
140
Voted
HASKELL
2006
ACM
15 years 8 months ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...
127
Voted
HASKELL
2006
ACM
15 years 8 months ago
2006
ACM
Modern functional languages offer several attractive features to support development of reliable and secure software. However, in our efforts to use Haskell for systems programmin...