The Brazilian Symposium on Programming Languages (SBLP) is a symposium promoted by the Brazilian Computing Society (SBC) that constitutes a forum for students, researchers, and practitioners to present and discuss ideas and innovations in the design, definition, analysis, implementation, and practical use of programming languages. The Proceedings of SBLP are published annually, bringing the articles selected for each edition of the event.

Topics of Interest

SBLP topics of interest are consisted by:

  • Programming paradigms and styles, scripting and domain-specific languages, and support for real-time, service-oriented, multi-threaded, parallel, and distributed programming
  • Program generation and transformation
  • Formal semantics and theoretical foundations: denotational, operational, algebraic, categorical
  • Program analysis and verification, type systems, static analysis, and abstract interpretation
  • Programming language design and implementation, programming language environments, compilation, and interpretation techniques

Additional information

For more information about SBLP, visit the event's website.