10871 search results - page 148 / 2175 » A stable programming language |
ICFP
2008
ACM
14 years 10 months ago
2008
ACM
ICFP
2006
ACM
14 years 10 months ago
2006
ACM
ESOP
2010
Springer
14 years 7 months ago
2010
Springer
INFSOF
2002
13 years 10 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...
CONCUR
2006
Springer
14 years 2 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...