Index Catalog // ScholarsArchive@OSU

Creator:: Oregon State University. Dept. of Computer Science, Hilzer, Ralph C. Jr., and Crowl, Lawrence Alan, 1959-
Abstract:: This paper surveys sequential and parallel implementation techniques for functional programming languages, as well as optimizations that can improve their performance. Sequential implementations have evolved from simple interpreters to sophisticated super-combinator-based compilers, while most parallel implementations have explored a broad range of techniques. We analyze the purpose and function of...
Resource Type:: Research Paper
Full Text:: Techniques for Functional Programming Languages Ralph C. Hilzer, Jr. Lawrence A. Crowl Department of

Creator:: Oregon State University. Dept. of Computer Science, Takikawa, Masami, and Crowl, Lawrence Alan, 1959-
Abstract:: Augmented term rewriting (ATR) is a simple, uniform, and extensible computational model for constraint programming. Unfortunately, ATR cannot solve combinatorial constraint satisfaction problems (CCSPs). To enable solution of CCSPs, we introduce (don't know) nondeterminism into ATR via the choice expression, which identifies a set of possible values that may satisfy...
Resource Type:: Research Paper
Full Text:: matr.dvi Multiworld Augmented Term Rewriting Masami Takikawa Lawrence A

Creator:: Oregon State University. Dept. of Computer Science, Bohus, Carisa, Aktan, Burçin, Shor, Molly H., and Crowl, Lawrence Alan, 1959-
Abstract:: An important issue in engineering education is the availability of laboratory resources for student use. Using a computer network to link geographically distant students with laboratory teaching resources makes expensive and innovative equipment available to more students. At Oregon State University, we provide a working environment where remotely-located students can...
Resource Type:: Research Paper
Full Text:: Carisa Bohus Bur�cin Aktan� Molly H. Shory Lawrence A. Crowl Department of Computer Science Oregon

ScholarsArchive@OSU