1911 search results - page 104 / 383 » Program analysis for code duplication in logic programs |
121
Voted
ENTCS
2008
15 years 5 months ago
2008
Traditional programming languages are algorithmic: they are best suited to writing programs that acquire all their inputs before executing and only produce a result on termination...
133
Voted
PEPM
2009
ACM
16 years 1 months ago
2009
ACM
This article introduces a new program transformation in order to enhance the numerical accuracy of floating-point computations. We consider that a program would return an exact r...
125
click to vote
IROS
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— This paper presents Meld, a programming language for modular robots, i.e., for independently executing robots where inter-robot communication is limited to immediate ne...
134
Voted
PPDP
2009
Springer
15 years 11 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ï...
149
click to vote
ATAL
2005
Springer
15 years 10 months 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...