Editorial Aims and Scope

Editorial Aims

The growth in all aspects of research in the last decade has led to a multitude of new publications and an exponential increase in published research. Finding a way through the excellent existing literature and keeping up to date has become a major time-consuming problem. Electronic publishing has given researchers instant access to more articles than ever before. But which articles are the essential ones that should be read to understand and keep abreast with developments of any topic? To address this problem Foundations and Trends ® in Programming Languages publishes high-quality survey and tutorial monographs of the field.

Each issue of Foundations and Trends ®in Programming Languages comprises a 50-100 page monograph written by research leaders in the field. Monographs that give tutorial coverage of subjects, research retrospectives as well as survey papers that offer state-of-the-art reviews fall within the scope of the journal.

Editorial Scope

Foundations and Trends ® in Programming Languages publishes survey and tutorial articles on the following topics:

  • Abstract Interpretation
  • Compilation and Interpretation Techniques
  • Domain Specific Languages
  • Formal Semantics, including Lambda Calculi, Process Calculi, and Process Algebra
  • Language Paradigms
  • Mechanical Proof Checking
  • Memory Management
  • Partial Evaluation
  • Program Logic
  • Programming Language Implementation
  • Programming Language Security
  • Programming Languages for Concurrency
  • Programming Languages for Parallelism
  • Program Synthesis
  • Program Transformations and Optimizations
  • Program Verification
  • Runtime Techniques for Programming Languages
  • Software Model Checking
  • Static and Dynamic Program Analysis
  • Type Theory and Type Systems