Work

Method and system for converting an input computer program into an output computer program achieving a target global accuracy

Year: 2024

Type: other

Source: HAL

Authors: Boyer, Benoît, Faissole, Florian, Melquiond, Guillaume

Institutions: Mitsubishi Electric (France), Université Paris-Saclay, TOCCATA: Certified Programs, Certified Tools, Certified Floating-Point Computations

Language: English

Topic: Software Engineering Research

Subfield: Information Systems

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W7206567969

Cites:

Cited by:

Related to: 10