6740 search results - page 121 / 1348 » Using Classification as a Programming Language |
95
Voted
ICFP
2010
ACM
15 years 2 months ago
2010
ACM
We present a type and effect system for flow analysis that makes essential use of higher-ranked polymorphism. We show that, for higher-order functions, the expressiveness of highe...
121
Voted
ICFP
2006
ACM
16 years 1 months ago
2006
ACM
Type-directed programming is an important idiom for software design. In type-directed programming the behavior of programs is guided by the type structure of data. It makes it pos...
149
click to vote
APSEC
2001
IEEE
15 years 5 months ago
2001
IEEE
Program slicing has been used for efficient program debugging activities. Program slice is computed by analyzing dependence relations between program statements. We can divide dep...
117
click to vote
SEW
2006
IEEE
15 years 7 months ago
2006
IEEE
It is widely held that programming language extensions that support separation of concerns and that are also integrative benefit development, maintenance and reuse of software de...
94
Voted
ICFP
2007
ACM
15 years 5 months ago
2007
ACM
Reactis is a commercially successful testing and validation tool which is implemented almost entirely in Standard ML. Our experience using a functional language to develop a comme...