2501 search results - page 234 / 501 » Obligations and Their Interaction with Programs |
126
click to vote
JGS
2000
15 years 5 months ago
2000
Abstract. Geographical Information Science is essentially computational geography and has its own research program, namely all aspects of formal models for spatial natural processe...
148
click to vote
TCS
2002
15 years 5 months ago
2002
In this paper we present two non-standard-type inference systems for conjunctive strictness and totality analyses of higher-order-typed functional programs and prove completeness ...
167
click to vote
AOSD
2007
ACM
15 years 10 months ago
2007
ACM
This paper proposes an approach called SCoPE, which supports user-defined analysis-based pointcuts in aspect-oriented programming (AOP) languages. The advantage of our approach is...
174
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
We provide an overall description of the Ciao multiparadigm programming system emphasizing some of the novel aspects and motivations behind its design and implementation. An impor...
169
click to vote
TACAS
2000
Springer
15 years 9 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...