AutoBayes/CC — Combining Program Synthesis With Automatic Code Certification — System Description —

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-45620-1_25
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Verified Program Code Execution System Prototype

Proceedings of the Institute for System Programming of the RAS
2017English

Automatic Identification System (AIS) Collection and Reach-Back System: System Description

2014English

The Power of Parallelism for Automatic Program Synthesis

1981English

ASME Code Calculations for the CC Cryostat

1987English

Certification Program for Consulting Meteorologists

Bulletin of the American Meteorological Society
Atmospheric Science
1974English

Certification Program for Consulting Meteorologists

Bulletin of the American Meteorological Society
Atmospheric Science
1982English

General Program Synthesis Using Guided Corpus Generation and Automatic Refactoring

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

ESA's Certification Program Expands in 2018

The Bulletin of the Ecological Society of America
2018English

Combining Transactions and Automatic Repairs

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy