[POPL'22] Principles of Programming Language Translators

preview_player
Показать описание
Abstractions and algorithms are the two pillars of computational thinking. This paper describes how abstractions and algorithms have transformed the field of compiler design for programming languages from an art to a science.
  1. ACM SIGPLAN
  2. Algorithms
  3. Compilers
  4. POPL
  5. Parser Generaters
  6. Parsers
Рекомендации по теме
[POPL'22] Principles of 0:58:48

[POPL'22] Principles of Programming Language Translators

[POPL'22] Better Learning 1:00:04

[POPL'22] Better Learning through Programming Languages

[POPL'22] Type-Level Programming 0:23:08

[POPL'22] Type-Level Programming with Match Types

[POPL'22] A Relational 0:24:36

[POPL'22] A Relational Theory of Effects and Coeffects

[POPL'22] Dependently-Typed Data 0:21:41

[POPL'22] Dependently-Typed Data Plane Programming

[POPL'23] Principles of 1:03:21

[POPL'23] Principles of Persistent Programming

[SRC POPL'22] Kris 0:03:05

[SRC POPL'22] Kris Satya -- A Succinct Logic Representation for Linear Conjunctive Languages

[SRC POPL'22] Michael 0:03:04

[SRC POPL'22] Michael Fitzgibbons -- CapableWasm: Bringing Better Interop Down to WebAssembly

[SRC POPL'22] Eleftherios 0:02:59

[SRC POPL'22] Eleftherios Ioannidis -- Normalization-by-evaluation and Metaprogramming with PHO...

[POPL'22] Tutorial: Data-driven 0:59:21

[POPL'22] Tutorial: Data-driven program analysis

[SRC POPL'22] Jonathan 0:02:49

[SRC POPL'22] Jonathan Chan -- Towards a Syntactic Model of Sized Dependent Types

[POPL'22] Moebius: Metaprogramming 0:22:29

[POPL'22] Moebius: Metaprogramming using Contextual Types

[POPL'22] Logarithm and 0:23:15

[POPL'22] Logarithm and Program Testing

[POPL'22] On Type-Cases, 0:24:02

[POPL'22] On Type-Cases, Union Elimination, and Occurrence Typing

[POPL'22] Gradualizing the 0:23:32

[POPL'22] Gradualizing the Calculus of Inductive Constructions

[POPL'22] Effectful Program 0:26:08

[POPL'22] Effectful Program Distancing

[POPL'22] Safe, Modular 0:28:07

[POPL'22] Safe, Modular Packet Pipeline Programming

[POPL'22] Panel 1: 1:00:48

[POPL'22] Panel 1: Proof Assistants for PL and Math

[POPL'22] A Cost-Aware 0:22:52

[POPL'22] A Cost-Aware Logical Framework

[SRC POPL'22] Noah 0:02:59

[SRC POPL'22] Noah Lev Bartell-Mangel -- Filling a Niche

[POPL'22] Simuliris: A 0:24:13

[POPL'22] Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimiz

[SRC POPL'22] Paulette 0:03:00

[SRC POPL'22] Paulette Koronkevich -- Dependent-Type-Preserving Memory Allocation

[POPL'25] Peek A 9:31:12

[POPL'25] Peek A Boo - POPL I (22nd Jan)

[POPL 2021] Keynote: 1:11:04

[POPL 2021] Keynote: 'A Programmable Cloud: CALM Foundations and Open Challenges' by Joe H...

visit shbcf.ru