human: Given a hyperedge-centered hypergraph: <hypergraph>, where the center hyperedge is induced by one source paper and its member nodes are the cited papers.

Details of the hypergraph:
Center hyperedge (induced by source paper "interval based resource usage verification by translation into horn clauses and an application to energy consumption"):
  Abstract: Many applications require conformance with specifications that constrain the use of resources, such as execution time, energy, bandwidth, etc. We have presented a configurable framework for static resource usage verification where specifications can include lower and upper bound, data size-dependent resource usage functions. To statically check such specifications, our framework infers the same type of resource usage functions, which safely approximate the actual resource usage of the program, and compares them against the specification. We review how this framework supports several languages and compilation output formats by translating them to an intermediate representation based on Horn clauses and using the configurability of the framework to describe the resource semantics of the input language. We provide a more detailed formalization and extend the framework so that both resource usage specification and analysis/verification output can include preconditions expressing intervals for the input data sizes for which assertions are applicable, proved, or disproved. Most importantly, we also extend the classes of functions that can be checked. We provide results from an implementation within the Ciao/CiaoPP framework, and report on a tool built by instantiating this framework for the verification of energy consumption specifications for imperative/embedded programs. This paper is under consideration for publication in Theory and Practice of Logic Programming (TPLP).

Includes members:
  Member "energy transparency for deeply embedded programs":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "on the limitations of analyzing worst case dynamic energy of processing")
  Member "towards energy consumption verification via static analysis":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "inferring energy bounds via static program analysis and evolutionary modeling of basic blocks")
  Member "inferring parametric energy consumption functions at different software levels isa vs llvm ir":
    also connected through other hyperedges:
      - Hyperedge HE-3 (induced by source paper "resource analysis driven by conditional termination proofs")
  Member "resource usage analysis of logic programs via abstract interpretation using sized types":
    also connected through other hyperedges:
      - Hyperedge HE-4 (induced by source paper "towards a general framework for static cost analysis of parallel logic programs")
  Member "higher order symbolic execution via contracts":
    also connected through other hyperedges:
      - Hyperedge HE-5 (induced by source paper "symbolic execution game semantics")
  Member "more precise yet efficient type inference for logic programs":
    also connected through other hyperedges:
      - Hyperedge HE-6 (induced by source paper "evaluation of the implementation of an abstract interpretation algorithm using tabled clp")

Question: Please tell me which class the source paper 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.PL(Programming Languages)