3053 search results - page 295 / 611 » A Logic of Abstract Argumentation |
278
click to vote
ICFP
2009
ACM
16 years 7 months ago
2009
ACM
Type abstraction and intensional type analysis are features seemingly at odds--type abstraction is intended to guarantee parametricity and representation independence, while type ...
129
click to vote
APSEC
2006
IEEE
16 years 26 days ago
2006
IEEE
It is widely accepted that strong coupling such as common coupling should be used with caution among modules. Linux kernel is analyzed in terms of these common coupling instances ...
198
Voted
COORDINATION
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. The decoupling between behavior and communication fostered by coordination becomes of paramount importance in mobile computing. In this scenario, however, coordination te...
164
click to vote
ICFP
1998
ACM
15 years 11 months ago
1998
ACM
Intensional polymorphism, the ability to dispatch to different routines based on types at run time, enables a variety of advanced implementation techniques for polymorphic languag...
202
click to vote
IFL
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. In this report a new backward strictness analysis for functional languages is presented. It is called higher order demand propagation and is applicable to a realistic non...