9626 search results - page 337 / 1926 » Invariant Based Programming |
200
click to vote
ASWEC
2005
IEEE
16 years 8 days ago
2005
IEEE
Program slicing is a well-known program analysis technique that extracts the elements of a program related to a particular computation. Based on modular monadic semantics of a pro...
208
click to vote
ASP
2005
Springer
16 years 6 days ago
2005
Springer
This paper studies compositional semantics of nonmonotonic logic programs. We suppose the answer set semantics of extended disjunctive programs and consider the following problem. ...
171
click to vote
PADL
2005
Springer
16 years 4 days ago
2005
Springer
The need for direct memory manipulation through pointers is essential in many applications. However, it is also commonly understood that the use (or probably misuse) of pointers is...
195
click to vote
GECCO
2004
Springer
16 years 1 days ago
2004
Springer
This paper discusses the performance of a hybrid system which consists of EDP and GP. EDP, Estimation of Distribution Programming, is the program evolution method based on the prob...
173
click to vote
VL
2003
IEEE
15 years 12 months ago
2003
IEEE
Models of programming and debugging suggest many causes of errors, and many classifications of error types exist. Yet, there has been no attempt to link causes of errors to these ...