13461 search results - page 2439 / 2693 » Generalization with Taxonomic Information |
116
click to vote
ICSE
2005
IEEE-ACM
16 years 1 months ago
2005
IEEE-ACM
Existing spreadsheet systems allow users to change cells arbitrarily, which is a major source of spreadsheet errors. We propose a system that prevents errors in spreadsheets by re...
ICSE
2008
IEEE-ACM
16 years 1 months ago
2008
IEEE-ACM
Software Testing can take up to half of the resources of the development of new software. Although there has been a lot of work on automating the testing phase, fixing a bug after...
115
click to vote
ICFP
2008
ACM
16 years 27 days ago
2008
ACM
ML modules provide hierarchical namespace management, as well as fine-grained control over the propagation of type information, but they do not allow modules to be broken up into ...
122
click to vote
ICFP
2007
ACM
16 years 27 days ago
2007
ACM
There has been much work in recent years on extending ML with recursive modules. One of the most difficult problems in the development of such an extension is the double vision pr...
103
click to vote
ICFP
2007
ACM
16 years 27 days ago
2007
ACM
It is rare to give a semantic definition of a full-scale programming language, despite the many potential benefits. Partly this is because the available metalanguages for expressi...