1675 search results - page 132 / 335 » Some thoughts on teaching programming and programming langua... |
108
click to vote
PASTE
2005
ACM
15 years 10 months ago
2005
ACM
Information about string values at key points in a program can help program understanding, reverse engineering, and forensics. We present a static-analysis technique for recoverin...
136
Voted
CONCUR
2009
Springer
15 years 11 months ago
2009
Springer
Several programming constructs have recently been proposed with the purpose of enabling the programmer to encode declassifying information flows within a program that complies wi...
139
click to vote
ICLP
2005
Springer
15 years 10 months ago
2005
Springer
Answer set programming (ASP for short) is a declarative problem solving framework that has been recently attracting the attention of researchers for its expressiveness and for its...
149
click to vote
TCS
2010
15 years 3 months ago
2010
Horn⊃ is a logic programming language which extends usual Horn clauses by adding intuitionistic implication in goals and clause bodies. This extension can be seen as a form of s...
141
Voted
XSYM
2005
Springer
15 years 10 months ago
2005
Springer
Among various proposals for primitives for deconstructing XML data two approaches seem to clearly stem from practise: path expressions, widely adopted by the database community, an...