Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Flexible Invariants Through Semantic Collaboration   Modular reasoning about class invariants is challenging in the presence of
dependencies among collaborating objects that need to maintain global
consistency. This paper presents semantic collaboration: a novel methodology to
specify and reason about class invariants of sequential object-oriented
programs, which models dependencies between collaborating objects by semantic
means. Combined with a simple ownership mechanism and useful default schemes,
semantic collaboration achieves the flexibility necessary to reason about
complicated inter-object dependencies but requires limited annotation burden
when applied to standard specification patterns. The methodology is implemented
in AutoProof, our program verifier for the Eiffel programming language (but it
is applicable to any language supporting some form of representation
invariants). An evaluation on several challenge problems proposed in the
literature demonstrates that it can handle a variety of idiomatic collaboration
patterns, and is more widely applicable than the existing invariant
methodologies.

12
The categories of this paper are: nucl-th
18
The categories of this paper are: econ
17
The categories of this paper are: q-fin
14
The categories of this paper are: math-ph
23
The categories of this paper are: solv-int
34
The categories of this paper are: chem-ph
9
The categories of this paper are: nlin
31
The categories of this paper are: ao-sci
2
The categories of this paper are: math
36
The categories of this paper are: cmp-lg
5
The categories of this paper are: gr-qc
20
The categories of this paper are: acc-phys
25
The categories of this paper are: patt-sol
8
The categories of this paper are: hep-ex
28
The categories of this paper are: alg-geom
4
The categories of this paper are: cond-mat