Papers

List all papers by author, by research topic, by publication date, or by tags.


Benjamin Goldberg

  1. Tyng-Ruey Chuang and Benjamin Goldberg. A syntactic method for finding least fixed points of higher-order functions over finite domains. In Journal of Functional Programming, Volume 7, Part 4, pages 357-394. July 1997.
  2. Tyng-Ruey Chuang and Benjamin Goldberg. Real-time deques, multihead Turing machines, and purely functional programming. In Conference on Functional Programming Languages and Computer Architecture (FPCA), pages 289-298. Copenhagen, Denmark. June 1993.
  3. Tyng-Ruey Chuang and Benjamin Goldberg. Backward Analysis for Higher-Order Functions Using Inverse Images. Technical Report TR1992-620, Department of Computer Science, New York University. November 1992.
  4. Tyng-Ruey Chuang and Benjamin Goldberg. A syntactic approach to fixed point computation on finite domains. In Proceedings of the 1992 ACM Conference on Lisp and Functional Programming (L&FP), pages 109-118. San Francisco, California, USA. June 1992.
 
en:papers:home Last modified: 2007/10/24 00:56