1818 search results - page 272 / 364 » Granularity-Adaptive Proof Presentation |
124
click to vote
MKM
2009
Springer
15 years 10 months ago
2009
Springer
Converting mathematical documents from a human-friendly natural language to a form that can be readily processed by computers is often a tedious, manual task. Translating between v...
118
click to vote
APLAS
2009
ACM
15 years 10 months ago
2009
ACM
Separation Algebras serve as models of Separation Logics; Share Accounting allows reasoning about concurrent-read/exclusive-write resources in Separation Logic. In designing a Conc...
132
click to vote
APLAS
2009
ACM
15 years 10 months ago
2009
ACM
Restricting destructive update to values of a distinguished reference type prevents functions from being polymorphic in the mutability of their arguments. This restriction makes it...
138
click to vote
FOAL
2009
ACM
15 years 10 months ago
2009
ACM
We present a programming language model of the ideas behind Functional Adaptive Programming (AP-F) and our Java implementation, DemeterF. Computation in AP-F is encapsulated in se...
127
Voted
FASE
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Abstraction is essential in the formal specification of programs. A common way of writing abstract specifications is to specify implementations in terms of basic mathem...