Generic transformations of predicate encodings: constructions and applications
type: Item
instance of: scholarly article
title: Generic transformations of predicate encodings: constructions and applications
zbMATH Open document ID: 1407.94069
DOI: 10.1007/978-3-319-63688-7_2
author: Miguel Ambrona
author: Gilles Barthe
author: Benedikt Schmidt
publication date: 2017-11-03T00:00:00Z
Mathematics Subject Classification ID: 94A60
zbMATH DE Number: 6802608
zbMATH Keywords: predicate encodings
zbMATH Keywords: privacy
zbMATH Keywords: Boolean formulae
zbMATH Keywords: arithmetic span programs
zbMATH Keywords: generic optimizations
zbMATH Keywords: pair encodings
MaRDI profile type: Publication
full work available at URL: 978-3-319-63688-7 2
OpenAlex ID: W2753879715
Recommended article: An algebraic construction of predicate transformers
Recommended article: Q4281666
Recommended article: Towards a calculus of predicate transformers
Recommended article: Predicate transformers and higher-order programs
Recommended article: Predicate-transformer semantics of general recursion
Recommended article: Predicate transformers in the context of symbolic modeling of transition systems
Recommended article: Predicate transformations in a k-valued logic
Recommended article: Q3217642
Recommended article: Q4202114
Recommended article: Predicate Transformer Semantics
description: scientific article; zbMATH DE number 6802608