Type systems with first class polymorphisms using Attribute Grammars Год выпуска: 2012Автор: Tamar ChristinaИздательство: Страниц: 100ISBN: 9783847338727Описание Type systems are one of the fundamental building blocks of any compiler. They are there to prevent certain kinds of semantic errors from occurring. Unfortunately with bigger and more complex languages the type system also becomes large and complex. Often resulting in implementations which are hard to understand and maintain even by their creators. Attribute Grammars allow for automatic computation and traversals over abstract syntax trees. Traditionally these computations can only be done over one tree at a time. This thesis investigates the possibility of using a new attribute grammar system called ruler-core to implement a type system in an effort to have more maintainable code.
Похожие книги
Robin Cooper, Robert S. Kaplan. Design of Cost Management Systems (2nd Edition). – М.: Prentice Hall, 1998. – 552 с. Richard W. Conway, William L. Maxwell, Louis W. Miller. Theory of Scheduling. – М.: Dover Publications, 2003. – 304 с. Michael Vince. First Certificate: Language Practice: English Grammar and Vocabulary (+ CD-ROM). – М.: Macmillan Education, 2009. – 352 с. Betty S. Azar, Stacy A. Hagen. Understanding and Using: English Grammar (+ CD). – М.: Longman, 2009. – 496 с. Kristen Connors, Dan Quinn. First Class Cats: Their First Takeoff. – М.: , 2010. – 28 с. Tim Wilmshurst. Designing Embedded Systems with PIC Microcontrollers. – М.: , 2010. – 0 с. Simha R. Magal. Essentials of Business Processes and Information Systems with WileyPlus Set. – М.: , 2009. – 0 с. Betty S. Azar, Stacy A. Hagen. Understanding and Using English Grammar: Student's Book with Answer Key (+ 2 CD). – М.: Pearson Longman, 2012. – 530 с. Nurgul Gokgoz. Development of Tools for Modeling Hybrid Systems with Memory. – М.: LAP Lambert Academic Publishing, 2010. – 116 с. Adel A. Elbaset and H. H. El-Tamaly. Interconnecting Issues of PV/Wind Hybrid System with Electric Utility. – М.: LAP Lambert Academic Publishing, 2011. – 264 с. Arturs Aboltins. Parametric Multicarrier Systems with Rotation Based Modulation. – М.: LAP Lambert Academic Publishing, 2013. – 156 с. Diego Palano. Management of a high mix production system with interdependent demands. – М.: LAP Lambert Academic Publishing, 2011. – 108 с. Jerrin Yomas. SSL based implementation of RFC2289 with dual factor token using GSM. – М.: LAP Lambert Academic Publishing, 2012. – 76 с. Shshank Chaube and Deepa Joshi. Reliability Analysis of a System with Time Varying Failure Rates. – М.: LAP Lambert Academic Publishing, 2013. – 88 с. Partha Pakray. Multilingual restricted domain QA System with dialogue management. – М.: LAP Lambert Academic Publishing, 2011. – 96 с. Nickson Suryono. Connecting Learning Management System with Social Networking. – М.: LAP Lambert Academic Publishing, 2011. – 132 с. Tamar Christina. Type systems with first class polymorphisms using Attribute Grammars. – М.: , 2012. – 100 с. Образцы работ
Задайте свой вопрос по вашей теме
Контакты
Поделиться
Мы в социальных сетях
Реклама
Отзывы
Наталья Я защитилась на 4. Спасибо!
