Work

Iterative-free program analysis

Year: 2003

Type: conference-paper

Source: ACM SIGPLAN International Conference on Functional Programming (ICFP)

DOI: 10.1145/944705.944716

Authors: Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano

Institutions: Japan Advanced Institute of Science and Technology, The University of Tokyo

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2104429191

FWCI: 1.014

Cites: 36

Cited by: 11

Related to: 10