Sciweavers

5415 search results - page 213 / 1083
» The Implementation of Functional Programming Languages
Sort
View
PADL
2010
Springer
15 years 3 months ago
A Simple and Efficient Implementation of Concurrent Local Tabling
Newer Prolog implementations commonly offer support for multi-threading, and have also begun to offer support for tabling. However, most implementations do not yet integrate tablin...
Rui Marques, Terrance Swift, José C. Cunha
JAVA
2001
Springer
15 years 5 months ago
Implementation of a portable software DSM in Java
Rapid commoditization of advanced hardware and progress of networking technology is now making wide area high-performance computing a.k.a. the ‘Grid’ Computing a reality. Sinc...
Yukihiko Sohda, Hidemoto Nakada, Satoshi Matsuoka
ESOP
2003
Springer
15 years 6 months ago
On the Secure Implementation of Security Protocols
We consider the problem of implementing a security protocol in such a manner that secrecy of sensitive data is not jeopardized. Implementation is assumed to take place in the cont...
Pablo Giambiagi, Mads Dam
HOPL
2007
15 years 5 months ago
A history of Haskell: being lazy with class
This paper describes the history of Haskell, including its genesis and principles, technical contributions, implementations and tools, and applications and impact.
Paul Hudak, John Hughes, Simon L. Peyton Jones, Ph...
ERLANG
2008
ACM
15 years 3 months ago
Refactoring with wrangler, updated: data and process refactorings, and integration with eclipse
Wrangler is a refactoring tool for Erlang, implemented in Erlang. This paper reports the latest developments in Wran
Huiqing Li, Simon J. Thompson, George Orösz, ...