Work

FlowSpec: declarative dataflow analysis specification

Year: 2017

Type: conference-paper

Source: ACM SIGPLAN International Conference on Software Language Engineering (SLE)

DOI: 10.1145/3136014.3136029

Authors: Jeff Smits, Eelco Visser

Institution: Delft University of Technology

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: Nederlandse Organisatie voor Wetenschappelijk Onderzoek

Award: The Language Designer's Workbench: Automating Verification of Language Definitions

OpenAlex ID: W2765376419

FWCI: 1.091

Cites: 32

Cited by: 11

Related to: 10