期刊全称 | Automated and Algorithmic Debugging | 期刊简称 | First International | 影响因子2023 | Peter A. Fritzson | 视频video | http://file.papertrans.cn/167/166387/166387.mp4 | 学科分类 | Lecture Notes in Computer Science | 图书封面 |  | 影响因子 | Debugging has always been a costly part of softwaredevelopment, and many attempts have been made to provideautomatic computer support for this task.Automateddebugging has seen major develoments over the last decade.Onesuccessful development is algorithmic debugging, whichoriginated in logicprogramming but was later generalized toconcurrent, imperative, and lazy functional languages.Important advances have also been made in knowledge-basedprogram debugging, and in approaches to automated debuggingbased on static and dynamic program slicing based ondataflow and dependence analysis technology. This is thefirst collected volume of papers on automated debugging andpresents latest developments, tutorialpapers, and surveys. | Pindex | Conference proceedings 1993 |
The information of publication is updating
|
|