Sciweavers

1830 search results - page 112 / 366
» Functional Programs as Linked Data
Sort
View
POPL
2011
ACM
14 years 6 months ago
Precise reasoning for programs using containers
Containers are general-purpose data structures that provide functionality for inserting, reading, removing, and iterating over elements. Since many applications written in modern ...
Isil Dillig, Thomas Dillig, Alex Aiken
IWPC
2003
IEEE
15 years 8 months ago
Facilitating Program Comprehension by Mining Association Rules from Source Code
Program comprehension is an important part of software maintenance, especially when program structure is complex and documentation is unavailable or outdated. Data mining can prod...
Christos Tjortjis, Loukas Sinos, Paul J. Layzell
249
Voted
POPL
2004
ACM
16 years 3 months ago
Polymorphic typed defunctionalization
Defunctionalization is a program transformation that aims to turn a higher-order functional program into a first-order one, that is, to eliminate the use of functions as first-cla...
François Pottier, Nadji Gauthier
APAQS
2001
IEEE
15 years 7 months ago
Object-Oriented Program Behavior Analysis Based on Control Patterns
Code-patterns are statically recurring structure specific to a programming language. It can be parallel to aid in designing software systems for solving particular problems. Contr...
C.-C. Hwang, S.-K. Huang, D.-J. Chen, D. Chen
ESWA
2008
141views more  ESWA 2008»
15 years 2 months ago
Classifier design with feature selection and feature extraction using layered genetic programming
This paper proposes a novel method called FLGP to construct a classifier device of capability in feature selection and feature extraction. FLGP is developed with layered genetic p...
Jung-Yi Lin, Hao-Ren Ke, Been-Chian Chien, Wei-Pan...