4722 search results - page 281 / 945 » Representation-independent program analysis |
180
click to vote
PADL
2010
Springer
16 years 3 months ago
2010
Springer
A well-known bad code smell in refactoring and software maintenance is duplicated code, that is the existence of code clones, which are code fragments that are identical or similar...
154
click to vote
KBSE
2007
IEEE
16 years 25 days ago
2007
IEEE
Concurrent programs are difficult to debug and verify because of the nondeterministic nature of concurrent executions. A particular concurrency-related bug may only show up under ...
189
click to vote
ILC
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. We aim at checking safety and temporal properties over models representing the behavior of programs manipulating dynamic singly-linked lists. The properties we consider n...
216
click to vote
ECSQARU
2005
Springer
16 years 2 days ago
2005
Springer
Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating as well t...
160
click to vote
EMSOFT
2004
Springer
15 years 12 months ago
2004
Springer
We present a type system for E code, which is an assembly language that manages the release, interaction, and termination of real-time tasks. E code specifies a deadline for each...