12272 search results - page 458 / 2455 » Experimental program analysis |
145
click to vote
SLS
2007
Springer
16 years 1 months ago
2007
Springer
We consider a possible scenario of experimental analysis on heuristics for optimization: identifying the contribution of local search components when algorithms are evaluated on th...
195
click to vote
COLING
1990
15 years 8 months ago
1990
An experimental system for dialogue structure analysis based on a new type plan recognition model for spoken dialogues has been implemented. This model is realized by using four t...
180
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�...
194
click to vote
ATAL
2005
Springer
16 years 13 days ago
2005
Springer
This paper addresses the notion of declarative goals as used in agent programming. Declarative goals describe desirable states, and semantics of these goals in an agent programmin...
187
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...