5863 search results - page 419 / 1173 » Calculating Functional Programs |
336
click to vote
ICFP
2009
ACM
16 years 7 months ago
2009
ACM
GADTs have proven to be an invaluable language extension, a.o. for ensuring data invariants and program correctness. Unfortunately, they pose a tough problem for type inference: w...
184
click to vote
PPDP
2009
Springer
16 years 1 months ago
2009
Springer
Traversal strategies are at the heart of transformational programming with rewriting-based frameworks such as Stratego/XT or Tom and specific approaches for generic functional pr...
173
click to vote
IEEEIAS
2007
IEEE
16 years 1 months ago
2007
IEEE
An obfuscation aims to transform a program, without affecting its functionality, so that some secret data within the program can be hidden for as long as possible from an adversar...
228
click to vote
GECCO
2005
Springer
16 years 11 days ago
2005
Springer
We present a Genetic Programming approach to evolve cooperative controllers for teams of UAVs. Our focus is a collaborative search mission in an uncertain and/or hostile environme...
164
click to vote
ICCS
2004
Springer
16 years 6 days ago
2004
Springer
We describe and compare the programming languages C, MATLAB and Python as teaching languages for engineering students. We distinguish between two distinct phases in the process of ...