Art

J-GLOBAL ID：200902219840947533   Reference number：09A0289510

A Foundation for Flow-Based Program Matching: Using Temporal Logic and Model Checking

フロー準拠プログラムマッチングの基礎 時相論理とモデル検査の使用

Author (5)： BRUNE Julien (Univ. Copenhagen, DNK) ,  DOLIAEZ Damien (INRIA, FRA) ,  HANSEN Rene Rydhof (Aalborg Univ., DNK) ,  LAWALL Julia L. (Univ. Copenhagen, DNK) ,  MULLER Gilles (Ecole des Mines de Nante, FRA)
Material： ACM SIGPLAN Notices (Association for Computing Machinery. Special Interest Group on Programming Languages)  (SIGPLAN Notices)
Volume： 44  Issue： 1  Page： 114-126  Publication year： Jan. 2009 
JST Material Number： D0915A  ISSN： 0362-1340  Document type： Article
Article type： 原著論文  Country of issue： United States (USA)  Language： ENGLISH (EN)

Thesaurus term： computer program ,  matching (graph) ,  *temporal logic ,  model checking ,  program analysis ,  program transformation ,  specification description ,  compiler ,  Linux ,  *semantics ,  application oriented language ,  formal method ,  debugging ,  computer algorithm ,  soundness ,  performance evaluation ,  symbolic logic ,  variable ,  control flow analysis

JST classification (2)： Computer system development  (JD02010R) ,  Applied programming languages  (JD03052Y)

Terms in the title (5)： フロー ,  マッチング ,  基礎 ,  時相論理 ,  モデル検査