Work

Staging static analyses for program generation

Year: 2006

Type: conference-paper

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

DOI: 10.1145/1173706.1173708

Authors: Sam Kamin, Baris Aktemur, Michael Katelman

Institution: University of Illinois Urbana-Champaign

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2099479461

FWCI: 0.355

Cites: 18

Cited by: 5

Related to: 10