Work

On Certifying Code Generation

Year: 2007

Type: report

Source: Publication Server of Kaiserslautern University of Technology (Kaiserslautern University of Technology)

Author: Jan Olaf Blech

Institution: University of Kaiserslautern

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2626224273

Cites: 20

Cited by: 3

Related to: 10