Programming and Computer Software journal


  • Theoretical computer science: formal models and semantics.
  • Program analysis and transformation.
  • Information security.
  • Software engineering, testing and verification.
  • Parallel and distributed software.
  • Operating systems.
  • Computer graphics and visualization.
  • Computer algebra.
  • Programming languages, compilers, and integrated development environment.
  • Data analysis.
  • Information retrieval.
  • Databases, data warehouses.