Back to Top
Go Back
Journal Photo for Foundations and Trends in Programming Languages
Peer reviewed only Open Access

Foundations and Trends in Programming Languages (FTPL)

Publisher : Now Publishers Inc
programming language design semantics type systems
Claim Your Journal Get PRC Visit Website
e-ISSN 2325-1131
p-ISSN 2325-1107
Issue Frequency Irregular
Est. Year 2014
Mobile 18886154500
Language English
APC YES
Email mark.dejongh@nowpublishers.com

Journal Descriptions

Foundations and Trends in Programming Languages is a peer-reviewed academic journal that publishes high-quality survey and tutorial-style articles in the field of programming languages and theoretical computer science. Instead of short research papers, the journal focuses on long, in-depth monographs that synthesize existing research and provide a comprehensive understanding of key topics in programming language theory. The journal covers a wide range of subjects including programming language design, semantics, type systems, compilers, formal verification, static analysis, functional programming, and software correctness. It is especially valuable for researchers and graduate students because it consolidates complex research areas into structured, readable surveys that highlight both foundational concepts and recent advances. The journal aims to reduce the information overload in computer science by helping readers identify essential contributions in programming languages research. It is indexed in major databases such as Scopus and Web of Science (ESCI) and is considered a Q1/Q2-level journal depending on the ranking system. Articles are typically authored by leading experts and serve as authoritative references in their respective subfields.

Foundations and Trends in Programming Languages (FTPL) is :-

  • International, Peer-Reviewed, Open Access, Refereed, programming language design, semantics, type systems, compilers, formal verification, static analysis, functional programming, software correctness, into structured, readable surveys that highlight both foundational concepts and recent advances, Abstract Interpretation, Compilation and Interpretation Techniques, Domain Specific Languages, Language Paradigms, Mechanical Proof Checking, Memory Management, Partial Evaluation, Program Logic, Programming Language Implementation, Programming Language Security , Online or Print , Irregular Journal

  • UGC Approved, ISSN Approved: P-ISSN P-ISSN: 2325-1107, E-ISSN: 2325-1131, Established: 2014,
  • Does Not Provide Crossref DOI

  • Not indexed in Scopus, WoS, DOAJ, PubMed, UGC CARE

Indexing