human: Given a node-centered hypergraph: <hypergraph>, where nodes represent papers and hyperedges represent sets of papers co-cited by a source paper.

Details of the hypergraph:
Center node: "footprints in local reasoning"
  Abstract: Local reasoning about programs exploits the natural local behaviour common in#N#programs by focussing on the footprint - that part of the resource accessed by#N#the program. We address the problem of formally characterising and analysing#N#the footprint notion for abstract local functions introduced by Calcagno, O#N#Hearn and Yang. With our definition, we prove that the footprints are the only#N#essential elements required for a complete specification of a local function.#N#We formalise the notion of small specifications in local reasoning and show#N#that for well-founded resource models, a smallest specification always exists#N#that only includes the footprints, and also present results for the#N#non-well-founded case. Finally, we use this theory of footprints to investigate#N#the conditions under which the footprints correspond to the smallest safe#N#states. We present a new model of RAM in which, unlike the standard model, the#N#footprints of every program correspond to the smallest safe states, and we also#N#identify a general condition on the primitive commands of a programming#N#language which guarantees this property for arbitrary models.

Question: Please tell me which class the center node belongs to. The 40 classes are: cs.NA(Numerical Analysis), cs.MM(Multimedia), cs.LO(Logic in Computer Science), cs.CY(Computers and Society), cs.CR(Cryptography and Security), cs.DC(Distributed, Parallel, and Cluster Computing), cs.HC(Human-Computer Interaction), cs.CE(Computational Engineering, Finance, and Science), cs.NI(Networking and Internet Architecture), cs.CC(Computational Complexity), cs.AI(Artificial Intelligence), cs.MA(Multiagent Systems), cs.GL(General Literature), cs.NE(Neural and Evolutionary Computing), cs.SC(Symbolic Computation), cs.AR(Hardware Architecture), cs.CV(Computer Vision and Pattern Recognition), cs.GR(Graphics), cs.ET(Emerging Technologies), cs.SY(Systems and Control), cs.CG(Computational Geometry), cs.OH(Other Computer Science), cs.PL(Programming Languages), cs.SE(Software Engineering), cs.LG(Machine Learning), cs.SD(Sound), cs.SI(Social and Information Networks), cs.RO(Robotics), cs.IT(Information Theory), cs.PF(Performance), cs.CL(Computation and Language), cs.IR(Information Retrieval), cs.MS(Mathematical Software), cs.FL(Formal Languages and Automata Theory), cs.DS(Data Structures and Algorithms), cs.OS(Operating Systems), cs.GT(Computer Science and Game Theory), cs.DB(Databases), cs.DL(Digital Libraries), cs.DM(Discrete Mathematics). Directly output the class name.

gpt: cs.SE(Software Engineering)