Narcissus: Correct-By-Construction Derivation of Decoders and Encoders From Binary Formats

Proceedings of the ACM on Programming Languages
doi 10.1145/3341686
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

A Correct-By-Construction Model for Asynchronously Communicating Systems

International Journal on Software Tools for Technology Transfer
Information SystemsSoftware
2016English

A Derivation of Probabilities of Correct and Wrongful Conviction in a Criminal Trial

SSRN Electronic Journal
2006English

High-Throughput VLSI Implementations of Iterative Decoders and Related Code Construction Problems

2004English

An Iterative Abstraction Algorithm for Reactive Correct-By-Construction Controller Synthesis

2015English

Ecology of Flowers and Morphology of Pollen Grains of Selected Narcissus Varieties (Narcissus Pseudonarcissus X Narcissus Poëticus)

Acta Agrobotanica
EvolutionEcologyCrop ScienceSystematicsPlant ScienceBehaviorAgronomy
2012English

First Report of Hippeastrum Mosaic Virus, Narcissus Late Season Yellows Virus, Narcissus Latent Virus and Narcissus Mosaic Virus in Daffodils From Hungary

Journal of Plant Pathology
Plant Science
2020English

First Report of Narcissus Mosaic Virus From Australia and From Iris

Australasian Plant Disease Notes
Plant ScienceAgronomyCrop Science
2014English

Regularized Moment Equations for Binary Gas Mixtures: Derivation and Linear Analysis

Physics of Fluids
Mechanics of MaterialsCondensed Matter PhysicsMechanical EngineeringFluid FlowTransfer ProcessesComputational Mechanics
2016English

On the Construction of Correct Mathematical Model of Chemical Kinetics

Vestnik Udmurtskogo Universiteta: Matematika, Mekhanika, Komp'yuternye Nauki
Transfer ProcessesMathematicsFluid FlowComputer Science
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy