11909 search results - page 417 / 2382 » The Scheme Programming Language |
172
click to vote
FCA
2005
Springer
16 years 12 days ago
2005
Springer
Formal Concept Analysis (FCA) has typically been applied in the field of software engineering to support software maintenance and object-oriented class identification tasks. This...
212
click to vote
VL
1996
IEEE
15 years 11 months ago
1996
IEEE
Although visual programming techniques have been used to lower the threshold of programming for end users, they are not sufficient for creating end user programming environments t...
306
click to vote
ICFP
2009
ACM
16 years 7 months ago
2009
ACM
Functional logic programming and probabilistic programming have demonstrated the broad benefits of combining laziness (non-strict evaluation with sharing of the results) with non-...
213
click to vote
PPDP
2007
Springer
16 years 1 months ago
2007
Springer
We give a novel transformation for proving termination of higher-order rewrite systems in the format of Inductive Data Type Systems (IDTSs) by Blanqui, Jouannaud and Okada. The tr...
162
click to vote
TOOLS
1998
IEEE
15 years 11 months ago
1998
IEEE
Program information extracted from source codes is valuable for research in many software engineering fields. Many program analysis tools in these fields usually share some common...