Refinement Through Restraint: Bringing Down the Cost of Verification

ACM SIGPLAN Notices - United States
doi 10.1145/3022670.2951940
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

Bringing Down the Cost of Cancer Treatment

Nature
Multidisciplinary
2018English

Real Exchange Rate Overshooting and the Output Cost of Bringing Down Inflation

European Economic Review
EconomicsEconometricsFinance
1982English

Bringing Down Leviathan

Frontiers in Ecology and the Environment
EvolutionEcologySystematicsBehavior
2016English

Bringing a Superhero Down to Earth

Physics Teacher
EducationPhysicsAstronomy
2019English

Summary Refinement Through Denoising

2019English

Bringing Satellite-Based Air Quality Estimates Down to Earth

2019English

SCInfer: Refinement-Based Verification of Software Countermeasures Against Side-Channel Attacks

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Resynthesizing Behavior Through Phylogenetic Refinement

Attention, Perception & Psychophysics
LinguisticsSensory SystemsLanguageExperimentalCognitive Psychology
2019English

Psychiatric Patient Sues for Cost of Bringing Up Child

BMJ
2002English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy