Sciweavers

5415 search results - page 212 / 1083
» The Implementation of Functional Programming Languages
Sort
View
105
Voted
FMOODS
2007
15 years 4 months ago
Distributed Applications Implemented in Maude with Parameterized Skeletons
Abstract. Algorithmic skeletons are a well-known approach for implementing parallel and distributed applications. Declarative versions typically use higher-order functions in funct...
Adrián Riesco, Alberto Verdejo
201
Voted
POPL
2009
ACM
16 years 3 months ago
Copy-on-write in the PHP language
PHP is a popular language for server-side applications. In PHP, assignment to variables copies the assigned values, according to its so-called copy-on-assignment semantics. In con...
Akihiko Tozawa, Michiaki Tatsubori, Tamiya Onodera...
107
Voted
GECCO
2006
Springer
144views Optimization» more  GECCO 2006»
15 years 6 months ago
When lisp is faster than C
This paper compares the performance of the program evaluation phase of genetic programming using C and Common Lisp. A simple experiment is conducted, and the conclusion is that ge...
Børge Svingen
105
Voted
CAV
2010
Springer
214views Hardware» more  CAV 2010»
15 years 6 months ago
Comfusy: A Tool for Complete Functional Synthesis
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. We present Comfusy, a tool that extends the compiler for the gener...
Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, P...
111
Voted
ENTCS
1998
90views more  ENTCS 1998»
15 years 2 months ago
Handling ELAN rewrite programs via an exchange format
Designing a programming environment raises difficult implementation problems since such software is not just one piece of code able to execute programs expressed in a given progra...
Peter Borovanský, Salma Jamoussi, Pierre-Et...