Deciding kCFA is complete for EXPTIME

Conference proceeding

Deciding kCFA is complete for EXPTIME

David VAN HORN and Harry G Mairson

ACM SIGPLAN notices, Vol.43(9), pp.275-282

ICFP'08: Proceedings of the 2008 SIGPLAN, International Conference on Functional Programming

2008

DOI: https://doi.org/10.1145/1411203.1411243

Abstract

Applied sciences

Computer science; control theory; systems

Exact sciences and technology

Programming languages

Software

Metrics

12 Record Views

Details

Title: Deciding kCFA is complete for EXPTIME
Creators: David VAN HORN - Brandeis University
Harry G Mairson - Brandeis University
Publication Details: ACM SIGPLAN notices, Vol.43(9), pp.275-282
Conference: ICFP'08: Proceedings of the 2008 SIGPLAN, International Conference on Functional Programming
Publisher: Association for Computing Machinery
Identifiers: 9924086389301921
Academic Unit: Michtom School of Computer Science; Benjamin and Mae Volen National Center for Complex Systems
Language: English
Resource Type: Conference proceeding