1911 search results - page 278 / 383 » Program analysis for code duplication in logic programs |
170
Voted
USS
2010
15 years 10 days ago
2010
Web applications are the most common way to make services and data available on the Internet. Unfortunately, with the increase in the number and complexity of these applications, ...
136
click to vote
CSL
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Probably the most significant result concerning cut-free sequent calculus proofs in linear logic is the completeness of focused proofs. This completeness theorem has a n...
137
click to vote
JFP
2007
15 years 2 months ago
2007
The LF logical framework codifies a methodology for representing deductive systems, such as programming languages and logics, within a dependently typed λ-calculus. In this meth...
109
click to vote
PERCOM
2009
ACM
15 years 9 months ago
2009
ACM
—We present a middleware platform for assembling pervasive applications that demand fault-tolerance and adaptivity in distributed, dynamic environments. Unlike typical adaptive m...
114
Voted
EUROSSC
2007
Springer
15 years 8 months ago
2007
Springer
Context-aware applications require context information to adapt their behaviour to the current situation. When developing context-aware applications, application developers need to...