Enforcing trace properties by program transformation

DOI10.1145/325694.325703zbMath1323.68355OpenAlexW2105033638MaRDI QIDQ5178842

Thomas Colcombet, Pascal Fradet

Publication date: 17 March 2015

Published in: Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/inria-00000937/file/POPL00.pdf

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (5)

Aspects of availability. Enforcing timed properties to prevent denial of service ⋮ Aspects preserving properties ⋮ Efficient safety enforcement for Maude programs via program specialization in the \textsf{ÁTAME} system ⋮ Types and trace effects for object orientation ⋮ Language-Based Program Verification via Expressive Types

This page was built for publication: Enforcing trace properties by program transformation