On-demand refinement of dependent types

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4989 LNCS, Issue , 2008, Pages 81-96

  Unno, Hiroshi ^a   Kobayashi, Naoki ^b  

^a UNIVERSITY OF TOKYO   (Japan)

^b TOHOKU UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRAIC DATA TYPES; INFERENCE SYSTEMS;

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; PATTERN MATCHING; SPECIFICATIONS; STATIC ANALYSIS;

MODEL CHECKING;

EID: 43149110188     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-78969-7_8     Document Type: Conference Paper

References (31)