824 search results - page 65 / 165 » Constructing Functional Programs for Grammar Analysis Proble... |
TLCA
2005
Springer
15 years 5 months ago
2005
Springer
In a series of articles, we developed a method to translate general recursive functions written in a functional programming style into constructive type theory. Three problems rema...
CEC
2009
IEEE
15 years 6 months ago
2009
IEEE
— Genetic algorithms (GAs) have been argued to constitute a flexible search thereby enabling to solve difficult problems which classical optimization methodologies may find ha...
CSMR
2006
IEEE
15 years 1 months ago
2006
IEEE
The high cost of software maintenance could potentially be greatly reduced by the automatic refactoring of object-oriented programs to increase their understandability, adaptabili...
183
click to vote
POPL
2006
ACM
16 years 5 days ago
2006
ACM
We define a new fixpoint modal logic, the visibly pushdown ?-calculus (VP-?), as an extension of the modal ?-calculus. The models of this logic are execution trees of structured p...
122
click to vote
IWPC
2006
IEEE
15 years 5 months ago
2006
IEEE
Software system analysis for extracting system functionality remains as a major problem in the reverse engineering literature and the early approaches mainly rely on static proper...