Program Specialization is popular PDF and ePub book, written by Renaud Marlet in 2013-01-24, it is a fantastic choice for those who relish reading online the Technology & Engineering genre. Let's immerse ourselves in this engaging Technology & Engineering book by exploring the summary and details provided below. Remember, Program Specialization can be Read Online from any device for your convenience.

Program Specialization Book PDF Summary

This book presents the principles and techniques of program specialization — a general method to make programs faster (and possibly smaller) when some inputs can be known in advance. As an illustration, it describes the architecture of Tempo, an offline program specializer for C that can also specialize code at runtime, and provides figures for concrete applications in various domains. Technical details address issues related to program analysis precision, value reification, incomplete program specialization, strategies to exploit specialized program, incremental specialization, and data specialization. The book, that targets both researchers and software engineers, also opens scientific and industrial perspectives.

Detail Book of Program Specialization PDF

Program Specialization
  • Author : Renaud Marlet
  • Release : 24 January 2013
  • Publisher : John Wiley & Sons
  • ISBN : 9781118576861
  • Genre : Technology & Engineering
  • Total Page : 631 pages
  • Language : English
  • PDF File Size : 19,5 Mb

If you're still pondering over how to secure a PDF or EPUB version of the book Program Specialization by Renaud Marlet, don't worry! All you have to do is click the 'Get Book' buttons below to kick off your Download or Read Online journey. Just a friendly reminder: we don't upload or host the files ourselves.

Get Book

Program Specialization

Program Specialization Author : Renaud Marlet
Publisher : John Wiley & Sons
File Size : 9,5 Mb
Get Book
This book presents the principles and techniques of program specialization — a general method to m...

Deductive Software Verification The KeY Book

Deductive Software Verification     The KeY Book Author : Wolfgang Ahrendt,Bernhard Beckert,Richard Bubel,Reiner Hähnle,Peter H. Schmitt,Mattias Ulbrich
Publisher : Springer
File Size : 39,5 Mb
Get Book
Static analysis of software with deductive methods is a highly dynamic field of research on the verg...

Programs as Data Objects

Programs as Data Objects Author : Olivier Danvy,Andrzej Filinski
Publisher : Springer
File Size : 45,7 Mb
Get Book
This book constitutes the refereed proceedings of the Second Symposium on Programs as Data Objects, ...

Information and Software Technologies

Information and Software Technologies Author : Giedre Dregvaite,Robertas Damasevicius
Publisher : Springer
File Size : 9,8 Mb
Get Book
This book constitutes the refereed proceedings of the 20th International Conference on Information a...