Sciweavers

1932 search results - page 17 / 387
» A Functional Quantum Programming Language
Sort
View
146
Voted
POPL
1997
ACM
15 years 6 months ago
A Unified Computation Model for Functional and Logic Programming
We propose a new computation model which combines the operational principles of functional languages (reduction), logic languages (non-deterministic search for solutions), and int...
Michael Hanus
130
Voted
SFP
2003
15 years 4 months ago
Is it time for real-time functional programming?
Abstract This paper explores the suitability of functional languages for programming real-time systems. We study the requirements of real-time systems in general, outline typical l...
Kevin Hammond
PPDP
1999
Springer
15 years 7 months ago
Functional Plus Logic Programming with Built-In and Symbolic Constraints
Puri Arenas-Sánchez, Francisco Javier L&oac...
85
Voted
IFIP
1994
Springer
15 years 6 months ago
A Model for Mathematical Analysis of Functional Logic Programs and Their Implementations
Egon Börger, Francisco Javier López-Fr...
ENTCS
2006
125views more  ENTCS 2006»
15 years 2 months ago
Estimating the Cost of Native Method Calls for Resource-bounded Functional Programming Languages
We address the problem of applying resource-bounded functional programming languages in practice on object-oriented virtual machines which include calls to native methods coded in...
Stephen T. Gilmore, Olha Shkaravska