Enforcing Programming Guidelines with Region Types and Effects

DOI10.1007/978-3-319-71237-6_5zbMath1503.68030arXiv1801.07647OpenAlexW2769803067MaRDI QIDQ5055996

No author found.

Publication date: 9 December 2022

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1801.07647

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items (1)

Inferring region types via an abstract notion of environment transformation

Uses Software

• Soot
• Featherweight Java

Cites Work

• Featherweight Java
• Types and trace effects for object orientation
• Finite-memory automata
• Verifying pointer and string analyses with region type systems
• Abstract interpretation from Büchi automata
• Precise interprocedural dataflow analysis with applications to constant propagation
• Pick your contexts well
• Types and trace effects of higher order programs
• Programming Languages and Systems
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Enforcing Programming Guidelines with Region Types and Effects