2302 search results - page 62 / 461 » The Evolution of Concurrent Programs |
175
click to vote
BIRTHDAY
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. This case study applies techniques of formal program development by specification refinement and composition to the problem of concurrent garbage collection. The speci...
175
click to vote
GECCO
2009
Springer
15 years 10 months ago
2009
Springer
Self-Modifying Cartesian Genetic Programming (SMCGP) is a form of genetic programming that integrates developmental (self-modifying) features as a genotype-phenotype mapping. This...
161
click to vote
ICTAC
2009
Springer
16 years 15 days ago
2009
Springer
Abstract. We design a deadlock-free semantics for a concurrent, functional and imperative programming language where locks are implicitly and univocally associated with pointers. T...
181
click to vote
ECOOP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Starting from the advantages of using Feature-Oriented Programming (FOP) and program families to support software evolution, this paper discusses the drawbacks of current...
170
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
CLF (Concurrent LF) [CPWW02a] is a logical framework for specifying and implementing deductive and concurrent systems from areas, such as programming language theory, security prot...