Work

Generating customized verifiers for automatically generated code

Year: 2008

Type: conference-paper

Source: International Conference on Generative Programming and Component Engineering (GPCE)

DOI: 10.1145/1449913.1449926

Authors: Ewen Denney, Bernd Fischer

Institutions: Ames Research Center, University of Southampton

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funders: National Aeronautics and Space Administration, Engineering and Physical Sciences Research Council

Award: Customization and Adaptation of Automatically Generated Code

OpenAlex ID: W2135776763

FWCI: 0.71

Cites: 23

Cited by: 11

Related to: 9