Sciweavers

1932 search results - page 17 / 387
» A Functional Quantum Programming Language
Sort
View
POPL
1997
ACM
15 years 1 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
92
Voted
SFP
2003
14 years 11 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 1 months ago
Functional Plus Logic Programming with Built-In and Symbolic Constraints
Puri Arenas-Sánchez, Francisco Javier L&oac...
ENTCS
2006
125views more  ENTCS 2006»
14 years 9 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