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: "towards automatic resource bound analysis for ocaml"
  Abstract: This article presents a resource analysis system for OCaml programs. This system automatically derives worst-case resource bounds for higher-order polymorphic programs with user-defined inductive types. The technique is parametric in the resource and can derive bounds for time, memory allocations and energy usage. The derived bounds are multivariate resource polynomials which are functions of different size parameters that depend on the standard OCaml types. Bound inference is fully automatic and reduced to a linear optimization problem that is passed to an off-the-shelf LP solver. Technically, the analysis system is based on a novel multivariate automatic amortized resource analysis (AARA). It builds on existing work on linear AARA for higher-order programs with user-defined inductive types and on multivariate AARA for first-order programs with built-in lists and binary trees. For the first time, it is possible to automatically derive polynomial bounds for higher-order functions and polynomial bounds that depend on user-defined inductive types. Moreover, the analysis handles programs with side effects and even outperforms the linear bound inference of previous systems. At the same time, it preserves the expressivity and efficiency of existing AARA techniques. The practicality of the analysis system is demonstrated with an implementation and integration with Inria's OCaml compiler. The implementation is used to automatically derive resource bounds for 411 functions and 6018 lines of code derived from OCaml libraries, the CompCert compiler, and implementations of textbook algorithms. In a case study, the system infers bounds on the number of queries that are sent by OCaml programs to DynamoDB, a commercial NoSQL cloud database service.

Connected through hyperedge HE-1 (induced by source paper "session types with arithmetic refinements and their application to work analysis"):
  with members:
    - "resource guided program synthesis"
    - "resource aware session types for digital contracts"
    - "a message passing interpretation of adjoint logic"
    - "circular proofs as session typed processes a local validity condition"
    - "label dependent session types"
    - "relational cost analysis for functional imperative programs"
    - "parallel complexity analysis with temporal session types"
    - "dependent session types"

Connected through hyperedge HE-2 (induced by source paper "exponential automatic amortized resource analysis"):
  with members:
    - "analysis of logarithmic amortised complexity"
    - "verifying and synthesizing constant resource implementations with types"
    - "bounded expectations resource analysis for probabilistic programs"
    - "work analysis with resource aware session types"
    - "non polynomial worst case analysis of recursive programs"
    - "weakest precondition reasoning for expected run times of probabilistic programs"
    - "denotational cost semantics for functional languages with inductive types"
    - "a combination framework for complexity"

Connected through hyperedge HE-3 (induced by source paper "denotational semantics as a foundation for cost recurrence extraction for functional languages"):
  with members:
    - "recurrence extraction for functional programs through call by push value"
    - "denotational cost semantics for functional languages with inductive types"
    - "a static cost analysis for a higher order language"
    - "improvements for free"
    - "adventures in time and space"

Connected through hyperedge HE-4 (induced by source paper "recurrence extraction for functional programs through call by push value"):
  with members:
    - "denotational cost semantics for functional languages with inductive types"
    - "a static cost analysis for a higher order language"
    - "adventures in time and space"

Connected through hyperedge HE-5 (induced by source paper "resource guided program synthesis"):
  with members:
    - "verifying and synthesizing constant resource implementations with types"
    - "program synthesis using abstraction refinement"
    - "program synthesis using conflict driven learning"
    - "component based synthesis of table consolidation and transformation tasks from examples"
    - "synthesis of recursive adt transformations from reusable templates"
    - "program synthesis from polymorphic refinement types"
    - "denotational cost semantics for functional languages with inductive types"
    - "from non preemptive to preemptive scheduling using synchronization synthesis"

Connected through hyperedge HE-6 (induced by source paper "inferring lower runtime bounds for integer programs"):
  with members:
    - "computing expected runtimes for constant probability programs"
    - "termination of triangular integer loops is decidable"
    - "proving non termination via loop acceleration"
    - "aiming low is harder inductive proof rules for lower bounds on weakest preexpectations in probabilistic program verification"
    - "abstract acceleration of general linear loops"
    - "ranking functions for linear constraint loops"
    - "abstracting path conditions"
    - "purrs towards computer algebra support for fully automatic worst case complexity analysis"

Connected through hyperedge HE-7 (induced by source paper "resource aware session types for digital contracts"):
  with members:
    - "scilla a smart contract intermediate level language"
    - "linear types can change the blockchain"
    - "linear dependent types and relative completeness"

Connected through hyperedge HE-8 (induced by source paper "parallel complexity analysis with temporal session types"):
  with members:
    - "work analysis with resource aware session types"
    - "non blocking concurrent imperative programming with session types"
    - "the complexity of interaction"
    - "denotational cost semantics for functional languages with inductive types"
    - "timed runtime monitoring for multiparty conversations"
    - "linear dependent types and relative completeness"

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.PL(Programming Languages)