أعرض تسجيلة المادة بشكل مبسط

dc.contributor Erwig, Martin
dc.contributor Burnett, Margaret
dc.contributor Quinn, Michael
dc.contributor Tadepalli, Prasad
dc.contributor Holman, Robert
dc.date 2006-09-25T15:46:59Z
dc.date 2006-09-25T15:46:59Z
dc.date 2006-08-28
dc.date 2006-09-25T15:46:59Z
dc.date.accessioned 2013-10-16T07:40:29Z
dc.date.available 2013-10-16T07:40:29Z
dc.date.issued 2013-10-16
dc.identifier http://hdl.handle.net/1957/3084
dc.identifier.uri http://koha.mediu.edu.my:8181/xmlui/handle/1957/3084
dc.description Graduation date: 2007
dc.description Software maintenance accounts for a large portion of the software development cost, particularly the process of updating programs either to adapt for requirement change or to enhance design or efficiency. Currently, program updates are generally performed manually by programmers using text editors. This is an unreliable method because syntax and type errors are easily introduced, not to mention logic and semantic errors. The problem with this method is viewing programs on a low level, namely, as streams of characters. Rather than the textual representation, we propose to view the programs as abstract data types and to update programs through programming updates in update languages. In this dissertation, we first study a specific program update problem, monadification, which is the process of automatic introduction of monads into functional programs. Later we investigate a more general problem of program updates and present an update language. We design a core calculus for the update language as well as its semantics and type system. Moreover, we study the problem of generic traversals, which itself is a means of reducing the effort for software maintenance, but also serves as a basis for implementing program updates and other metaprogramming tasks.
dc.language en_US
dc.subject Programming languages
dc.subject Update programming
dc.title Update programming -- a safe approach to software maintenance
dc.type Thesis


الملفات في هذه المادة

الملفات الحجم الصيغة عرض

لا توجد أي ملفات مرتبطة بهذه المادة.

هذه المادة تبدو في المجموعات التالية:

أعرض تسجيلة المادة بشكل مبسط