Work

Certifiable Program Generation

Year: 2005

Type: conference-paper

Source: Lecture notes in computer science

Parent work: Generative Programming and Component Engineering: 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005. Proceedings

DOI: 10.1007/11561347_3

Authors: Ewen Denney, Bernd Fischer

Institutions: Ames Research Center, Research Institute for Advanced Computer Science

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1988633486

FWCI: 2.716

Cites: 25

Cited by: 22

Related to: 8