1205 search results - page 46 / 241 » Program Extraction from Large Proof Developments |
ACE
2004
14 years 12 days ago
2004
ExamGen is a software application developed at Queensland University of Technology to assist instructors with assessment in large classes (250+). The ExamGen program was developed...
ICFP
2007
ACM
14 years 11 months 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...
IWPC
2002
IEEE
14 years 3 months ago
2002
IEEE
When we try to debug or to comprehend a large program, it is important to separate suspicious program portions from the overall source program. Program slicing is a promising tech...
PPSN
2004
Springer
14 years 4 months ago
2004
Springer
Evolving large phenotypes remains nowadays a problem due to the combinatorial explosion of the search space. Seeking better scalability and inspired by the development of biologica...
GRID
2003
Springer
14 years 4 months ago
2003
Springer
There is a rapidly growing set of applications, referred to as data driven applications, in which analysis of large amounts of data drives the next steps taken by the scientist, e...