APLAS 2000Proving Syntactic Properties of Exceptions in an Ordered Logical FrameworkJeff Polakow, Kwangkeun YidblpCopy BibTeX
APLAS 2000A Declarative Approach to Concurrency in JavaRafael Ramírez, Andrew E. SantosadblpCopy BibTeX
APLAS 2000A Note on Model Checkers Reuse and ValidationNikolay V. Shilov, Kwangkeun YidblpCopy BibTeX
APLAS 2000Abstraction of Link Structures by Regular Expressions and Abstract Model Checking of Concurrent Garbage CollectionKoichi Takahashi, Masami HagiyadblpCopy BibTeX
APLAS 2000An Efficient Algorithm for Scheduling Instructions with Deadline Constraints on ILP MachinesHui Wu, Joxan JaffardblpCopy BibTeX
