Sciweavers

8766 search results - page 413 / 1754
» Functional logic programming
Sort
View
110
Voted
LCPC
2005
Springer
15 years 9 months ago
Testing Speculative Work in a Lazy/Eager Parallel Functional Language
Eden is a parallel extension of the functional language Haskell. Eden inherits from Haskell its laziness, which allows it to avoid unnecessary computations. However, in order to en...
Alberto de la Encina, Ismael Rodríguez, Fer...
146
Voted
JFP
2006
91views more  JFP 2006»
15 years 3 months ago
A reflective functional language for hardware design and theorem proving
This paper introduces reFLect, a functional programming language with reflection features intended for applications in hardware design and verification. The reFLect language is st...
Jim Grundy, Thomas F. Melham, John W. O'Leary
227
Voted
POPL
2007
ACM
16 years 4 months ago
Semantics of static pointcuts in aspectJ
In aspect-oriented programming, one can intercept events by writing patterns called pointcuts. The pointcut language of the most popular aspect-oriented programming language, Aspe...
Pavel Avgustinov, Elnar Hajiyev, Neil Ongkingco, O...
104
Voted
JLP
2008
81views more  JLP 2008»
15 years 3 months ago
Soft Linear Set Theory
A formulation of na
Richard McKinley
147
Voted
LPNMR
2004
Springer
15 years 9 months ago
Using Criticalities as a Heuristic for Answer Set Programming
Abstract. Answer Set Programming is a new paradigm based on logic programming. The main component of answer set programming is a system that finds the answer sets of logic program...
Orkunt Sabuncu, Ferda Nur Alpaslan, Varol Akman