Formal Specification on Static Single Assignment Form
Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
nit_cal
Active In SP
**

Posts: 237
Joined: Oct 2009
#1
30-10-2009, 03:33 PM


Abstract Static single-assignment is a form of program representation which is becoming increasingly popular because of its ease in handling optimizations. Transforming given code into SSA form results in a code for which data analysis is simpler as it is the inherent property of SSA form. Though there exists formal specifications for code on general form, the framework of dependency relations and formal specification specific to code in SSA form are not present in literature. In this thesis we have specified a framework for specifying transformations formally. Using this specification, transformers are automatically generated for code in SSA form. It is shown that it is beneficial for specifying these transformation on SSA form as it gives scope for further study by comparing these transformations for similarities. Comparing these specifications, especially Constant and Copy propagations, it is seen that these two specifications are much similar and lead to the combination of these algorithms. Even Dead Code elimination can be done along with this combination.
.pdf   Formal Specification on Static Single Assignment Form.pdf (Size: 402.17 KB / Downloads: 73)
Use Search at http://topicideas.net/search.php wisely To Get Information About Project Topic and Seminar ideas with report/source code along pdf and ppt presenaion
Reply

Important Note..!

If you are not satisfied with above reply ,..Please

ASK HERE

So that we will collect data for you and will made reply to the request....OR try below "QUICK REPLY" box to add a reply to this page

Quick Reply
Message
Type your reply to this message here.


Image Verification
Please enter the text contained within the image into the text box below it. This process is used to prevent automated spam bots.
Image Verification
(case insensitive)

Possibly Related Threads...
Thread Author Replies Views Last Post
  difference between ecommerce and ebusiness in tabular form jaseelati 0 215 02-12-2014, 04:30 PM
Last Post: jaseelati
  Karnataka ration card online application form 2013 study tips 17 17,248 07-11-2013, 03:45 PM
Last Post: Guest
  Open Core Protocol ( OCP ) An Introduction to Interface Specification seminar projects maker 0 526 24-09-2013, 12:29 PM
Last Post: seminar projects maker
  Wireless Application Protocol Wireless Markup Language Specification Version 1.2 pdf study tips 0 268 19-06-2013, 11:35 AM
Last Post: study tips
  Formal Verification of a System-on-Chip Bus Protocol study tips 0 331 09-05-2013, 03:38 PM
Last Post: study tips
  Cloud Computing Security: From Single to Multi-Clouds Report study tips 3 1,589 29-03-2013, 08:37 AM
Last Post: vaishnavimakam
  Report on Software Requirement Specification (SRS) study tips 0 275 01-03-2013, 11:36 AM
Last Post: study tips
  A single master I2C tutorial pdf study tips 0 381 28-02-2013, 04:44 PM
Last Post: study tips
  Static and Dynamic Characteristics of Instrumentation pdf study tips 0 341 28-02-2013, 09:33 AM
Last Post: study tips
  REPORT ON SOFTWARE REQUIREMENTS SPECIFICATION study tips 0 308 23-02-2013, 11:42 AM
Last Post: study tips