Sciweavers

1016 search results - page 84 / 204
» Automatic Analysis of Programming Assignments
Sort
View
118
Voted
IRAL
2000
ACM
15 years 8 months ago
Structural analysis of cooking preparation steps in Japanese
We propose a method to create process flow graphs automatically from textbooks for cooking programs. This is realized by understanding context by narrowing down the domain to cook...
Reiko Hamada, Ichiro Ide, Shuichi Sakai, Hidehiko ...
132
Voted
ICSE
2010
IEEE-ACM
15 years 7 months ago
STORM: static unit checking of concurrent programs
Concurrency is inherent in today’s software. Unexpected interactions between concurrently executing threads often cause subtle bugs in concurrent programs. Such bugs are hard to...
Zvonimir Rakamaric
POPL
2003
ACM
16 years 3 months ago
Static prediction of heap space usage for first-order functional programs
We show how to efficiently obtain linear a priori bounds on the heap space consumption of first-order functional programs. The analysis takes space reuse by explicit deallocation ...
Martin Hofmann, Steffen Jost
132
Voted
GECCO
2007
Springer
177views Optimization» more  GECCO 2007»
15 years 9 months ago
On the behavioral diversity of random programs
Generating a random sampling of program trees with specified function and terminal sets is the initial step of many program evolution systems. I present a theoretical and experim...
Moshe Looks
ICSE
2010
IEEE-ACM
15 years 8 months ago
LSdiff: a program differencing tool to identify systematic structural differences
Program differencing tools such as GNU diff identify individual differences but do not determine how those differences are related to each other. For example, an extract super...
Alex Loh, Miryung Kim