2302 search results - page 24 / 461 » The Evolution of Concurrent Programs |
109
click to vote
CEC
2010
IEEE
15 years 3 months ago
2010
IEEE
In this paper we investigate the application of tree-adjunct grammars to grammatical evolution. The standard type of grammar used by grammatical evolution, context-free grammars, p...
132
click to vote
HASE
1998
IEEE
15 years 6 months ago
1998
IEEE
This paper deals with verification of flow control in concurrent programs. We use Ada language model as reference. After translation of Ada programs into Petri nets (named Ada net...
ECOOP
2010
Springer
15 years 7 months ago
2010
Springer
FSTTCS
2007
Springer
15 years 8 months ago
2007
Springer
There are two somewhat contradictory ways of looking at modules in a given programming language. On the one hand, module systems are largely independent of the particulars of progr...