Work

Checking system rules using system-specific, programmer-written compiler extensions

Year: 2000

Type: article

DOI: 10.5555/1251229.1251230

Authors: Dawson Engler, Benjamin Chelf, Andy Chou, Seth Hallem

Institution: Stanford University

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2066859698

FWCI: 55.99

Cites: 22

Cited by: 531

Related to: 10