10899 search results - page 344 / 2180 » The GP Programming System |
177
click to vote
PPDP
2009
Springer
16 years 1 months ago
2009
Springer
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Reļ...
179
click to vote
HASE
1998
IEEE
15 years 11 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...
201
click to vote
KI
1990
Springer
15 years 10 months ago
1990
Springer
ue to a lack of abstraction in the formalization of deductive mechanisms involved in programming reasoning tools for the development of program synthesizers are not yet available. ...
334
Voted
Book
"Standard ML is a type-safe programming language that embodies many innovative ideas in programming language design. It is a statically typed language, with an extensible type...
182
click to vote
GECCO
2007
Springer
16 years 27 days ago
2007
Springer
Generating a random sampling of program trees with speciļ¬ed function and terminal sets is the initial step of many program evolution systems. I present a theoretical and experim...