human: Given a hyperedge-centered hypergraph: <hypergraph>, where the center hyperedge groups authors who co-authored the same paper.

Details of the hypergraph:
Center hyperedge (induced by source paper "Type-based race detection for Java"):
  Abstract: This paper presents a static race detection analysis for multithreaded Java programs. Our analysis is based on a formal type system that is capable of capturing many common synchronization patterns. These patterns include classes with internal synchronization, classes thatrequire client-side synchronization, and thread-local classes. Experience checking over 40,000 lines of Java code with the type system demonstrates that it is an effective approach for eliminating races conditions. On large examples, fewer than 20 additional type annotations per 1000 lines of code were required by the type checker, and we found a number of races in the standard Java libraries and other test programs.

Includes members:
  Member "A generic type system for the Pi-calculus":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "Interface input/output automata")
  Member "Featherweight Java: a minimal core calculus for Java and GJ":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "Type-preserving compilation of Featherweight Java")
  Member "Extending JML for modular specification and verification of multi-threaded programs":
    also connected through other hyperedges:
      - Hyperedge HE-3 (induced by source paper "Preliminary design of JML: a behavioral interface specification language for java")
  Member "CheckFence: checking consistency of concurrent data types on relaxed memory models":
    also connected through other hyperedges:
      - Hyperedge HE-4 (induced by source paper "Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude")
  Member "Synthesizing Program-Specific Static Analyses.":
    also connected through other hyperedges:
      (none)

Question: Please tell me which research area the co-authored paper (i.e., the source paper of the center hyperedge) belongs to. The 4 classes are: Computer science, Mathematics, Engineering, Economics, Psychology, Business. Directly output the class name.

gpt: Computer science