Sciweavers

5415 search results - page 96 / 1083
» The Implementation of Functional Programming Languages
Sort
View
169
Voted

Publication
232views
17 years 20 days ago
Multi-stage Programming:  Its Theory and Applications
MetaML is a statically typed functional programming language with special support for program generation. In addition to providing the standard features of contemporary programming...
Walid Taha
139
Voted
PPDP
2005
Springer
15 years 8 months ago
ReactiveML: a reactive extension to ML
We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems...
Louis Mandel, Marc Pouzet
KES
2008
Springer
15 years 2 months ago
Functional genetic programming and exhaustive program search with combinator expressions
Using a strongly typed functional programming language for genetic programming has many advantages, but evolving functional programs with variables requires complex genetic operat...
Forrest Briggs, Melissa O'Neill
152
Voted
COMPSAC
2008
IEEE
15 years 9 months ago
Security Policy Enforcement in the OSGi Framework Using Aspect-Oriented Programming
The lifecycle mismatch between vehicles and their IT system poses a problem for the automotive industry. Such systems need to be open and extensible to provide customised function...
Phu H. Phung, David Sands
116
Voted
PPDP
2001
Springer
15 years 7 months ago
Constructor-Based Conditional Narrowing
We define a transformation from a left-linear constructor-based conditional rewrite system into an overlapping inductively sequential rewrite system. This transformation is sound...
Sergio Antoy