10871 search results - page 148 / 2175 » A stable programming language |
96
Voted
ICFP
2008
ACM
16 years 2 months ago
2008
ACM
90
Voted
ICFP
2006
ACM
16 years 2 months ago
2006
ACM
ESOP
2010
Springer
15 years 12 months ago
2010
Springer
134
Voted
INFSOF
2002
15 years 2 months ago
2002
Identifying code duplication in large multi-platform software systems is a challenging problem. This is due to a variety of reasons including the presence of high-level programmin...
102
click to vote
CONCUR
2006
Springer
15 years 6 months ago
2006
Springer
Traditionally, the various semantics of the process algebra Csp are formulated in denotational style. For many Csp models, e.g., the traces model, equivalent semantics have been gi...