Publications tagged "ffi"

Journal, Conference, and Workshop Papers

2008

Checking Type Safety of Foreign Function Calls
Michael Furr and Jeffrey S. Foster
ACM Transactions on Programming Languages and Systems (TOPLAS), 30(4):1–63, July 2008.
tags: analysis, ffi, types
[ bibtex | doi ]

2006

Polymorphic Type Inference for the JNI
Michael Furr and Jeffrey S. Foster
In European Symposium on Programming (ESOP), volume 3924 of Lecture Notes in Computer Science, pages 309–324, Vienna, Austria, March 2006. Springer.
tags: analysis, ffi, types
[ bibtex | doi ]

2005

Checking Type Safety of Foreign Function Calls
Michael Furr and Jeffrey S. Foster
In Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 62–72, Chicago, Illinois, USA, June 2005.
tags: analysis, ffi, types
[ bibtex | doi ]

Technical Reports

Polymorphic Type Inference for the JNI
Michael Furr and Jeff Foster
Technical Report CS-TR-4759, Computer Science Department, University of Maryland, College Park, November 2005.
tags: analysis, ffi, types
[ bibtex | doi ]

Checking Type Safety of Foreign Function Calls
Michael Furr and Jeffrey S. Foster
Technical Report CS-TR-4627, Computer Science Department, University of Maryland, College Park, November 2004.
tags: analysis, ffi, types
[ bibtex | doi ]