Sciweavers

10935 search results - page 1920 / 2187
» Neural Programming Language
Sort
View
JFP
2002
96views more  JFP 2002»
15 years 1 months ago
Secrets of the Glasgow Haskell Compiler inliner
Higher-order languages, such as Haskell, encourage the proto build abstractions by composing functions. A good compiler must inline many of these calls to recover an e ciently exe...
Simon L. Peyton Jones, Simon Marlow
PRESENCE
2002
113views more  PRESENCE 2002»
15 years 1 months ago
"It/I": A Theater Play Featuring an Autonomous Computer Character
"It / I" is a two-character theater play where the human character I (played by a real actor) is taunted and played with by an autonomous computer character It on a comp...
Claudio S. Pinhanez, Aaron F. Bobick
TSMC
1998
62views more  TSMC 1998»
15 years 1 months ago
Performance based design of high-level language-directed computer architectures
— This paper is concerned with the analytical modeling of computer architectures to aid in the design of high-level language-directed computer architectures. High-level language-...
Rajendra S. Katti, Mark L. Manwaring
TPLP
2002
69views more  TPLP 2002»
15 years 1 months ago
Soundness, idempotence and commutativity of set-sharing
It is important that practical data-flow analyzers are backed by reliably proven theoretical Abstract interpretation provides a sound mathematical framework and necessary properti...
Patricia M. Hill, Roberto Bagnara, Enea Zaffanella
FGCS
2010
129views more  FGCS 2010»
15 years 15 days ago
Bulk synchronous parallel ML with exceptions
Bulk Synchronous Parallel ML is a high-level language for programming parallel algorithms. Built upon OCaml and using the BSP model, it provides a safe setting for their implementa...
Louis Gesbert, Frédéric Gava, Fr&eac...
« Prev « First page 1920 / 2187 Last » Next »