Using symbolic computation for teaching data structures and algorithm analysis
Abstract
Index Terms
- Using symbolic computation for teaching data structures and algorithm analysis
Recommendations
Implications of symbolic computation for the teaching of mathematics
The experience gained in teaching an experimental computer calculus course using the symbolic manipulation system MACSYMA is described. Interesting course material is presented to show how symbolic computation on computer can facilitate the teaching and ...
Scaling symbolic execution using ranged analysis
OOPSLA '12This paper introduces a novel approach to scale symbolic execution --- a program analysis technique for systematic exploration of bounded execution paths---for test input generation. While the foundations of symbolic execution were developed over three ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0