Types and trace effects for object orientation

DOI10.1007/s10990-008-9032-6zbMath1175.68098OpenAlexW1995369968MaRDI QIDQ1029806

Christian Skalka

Publication date: 13 July 2009

Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10990-008-9032-6

zbMATH Keywords

object oriented programmingprogramming language-based securitystatic type analysistemporal program logic

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Enforcing Programming Guidelines with Region Types and Effects

Uses Software

• SPIN
• Bebop
• MOPS
• Featherweight Java

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Region-based memory management
• A retrospective on region-based memory management
• Type and behaviour reconstruction for higher-order concurrent programs
• Enforcing trace properties by program transformation
• A type system for expressive security policies
• Resource usage analysis
• An effective theory of type refinements
• A static type system for JVM access control
• Synthesis of interface specifications for Java classes
• Algebraic Methodology and Software Technology
• Theoretical Computer Science
• Types and trace effects of higher order programs
• Programming Languages and Systems
• Programming Languages and Systems
• Foundations of Software Science and Computational Structures
• Programming Languages and Systems

This page was built for publication: Types and trace effects for object orientation