Title | ||
---|---|---|
Abstraction of Link Structures by Regular Expressions and Abstract Model Checking of Concurrent Garbage Collection |
Year | Venue | Keywords |
---|---|---|
2000 | APLAS | model checking,regular expression |
Field | DocType | Citations |
Regular expression,Abstraction,Programming language,Model checking,Computer science,Theoretical computer science,Garbage collection | Conference | 3 |
PageRank | References | Authors |
0.43 | 0 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Koichi Takahashi | 1 | 38 | 6.30 |
Masami Hagiya | 2 | 649 | 102.85 |