518 search results - page 77 / 104 » Automating Proofs in Category Theory |
86
Voted
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
Coalition formation is an important capability for automated negotiation among self-interested agents. In order for coalitions to be stable, a key question that must be answered i...
189
click to vote
POPL
2009
ACM
16 years 12 days ago
2009
ACM
This paper describes a compositional shape analysis, where each procedure is analyzed independently of its callers. The analysis uses an abstract domain based on a restricted frag...
188
click to vote
POPL
2004
ACM
16 years 2 days ago
2004
ACM
We present a framework for the certification of compilation and of compiled programs. Our approach uses a symbolic transfer functions-based representation of programs, so as to ch...
STOC
2006
ACM
16 years 2 days ago
2006
ACM
One of the major tasks of evolutionary biology is the reconstruction of phylogenetic trees from molecular data. The evolutionary model is given by a Markov chain on the true evolu...
111
click to vote
POPL
2010
ACM
15 years 9 months ago
2010
ACM
The definition of type equivalence is one of the most important design issues for any typed language. In dependentlytyped languages, because terms appear in types, this definition...