One down, 699 to go: or, synthesising compositional desugarings

Programming or scripting languages used in real-world systems are seldom designed with a formal semantics in mind from the outset. Therefore, developing well-founded analysis tools for these systems requires reverse-engineering a formal semantics as a first step. This can take months or years of eff...

Celý popis

Podrobná bibliografie

Vydáno v:	Proceedings of ACM on programming languages Ročník 5; číslo OOPSLA; s. 1 - 29
Hlavní autoři:	Bartha, Sándor, Cheney, James, Belle, Vaishak
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	01.10.2021
ISSN:	2475-1421, 2475-1421
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!