15754 search results - page 784 / 3151 » Programs are Knowledge Bases |
201
click to vote
ICFP
2008
ACM
16 years 7 months ago
2008
ACM
This paper presents AURA, a programming language for access control that treats ordinary programming constructs (e.g., integers and recursive functions) and authorization logic co...
188
click to vote
POPL
2010
ACM
16 years 5 months ago
2010
ACM
Most systems based on separation logic consider only restricted forms of implication or non-separating conjunction, as full support for these connectives requires a non-trivial no...
213
click to vote
PADL
2010
Springer
16 years 4 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...
190
click to vote
IEEEARES
2010
IEEE
16 years 2 months ago
2010
IEEE
—Program obfuscation is often employed by malware in order to avoid detection by anti-virus software, but it has many other legitimate uses, such as copy protection, software lic...
160
click to vote
AGILEDC
2008
IEEE
16 years 2 months ago
2008
IEEE
Utilizing pair programming in the classroom requires specific classroom management techniques. We have created nine guidelines for successfully implementing pair programming in th...