Книга: Tamar Christina «Type systems with first class polymorphisms using Attribute Grammars»
|
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. ISBN:9783847338727
ISBN: 9783847338727 |
См. также в других словарях:
Tamar.com — Infobox Company company name = Tamar.com Ltd company company type = Limited company slogan = The Search Conversion Agency foundation = 1995 location = flagicon|GBR London, England, UK num employees = 80 (2007) industry = Internet Marketing… … Wikipedia
Tamar Lalo — Infobox Musical artist Name = Tamar Lalo Img capt = Tamar Lalo Img size = Landscape = yes Background = Birth name = Tamar Lalo Alias = Born = Tel Aviv, Israel (1984) Died = Origin = Instrument = Recorder Genre = Baroque Occupation = Years active … Wikipedia
Tamar Lalo — es una flautista israelí. Tras los éxitos conseguidos en Israel, tocando con numerosas orquestas como la Orquesta Filarmónica de Israel bajo la batuta del Maestro Zubin Mehta, Tamar Lalo reside en Europa donde desarrolla su carrera como… … Wikipedia Español
Contenu:Australie — Projet:Australie/Liste des articles Liste mise à jour régulièrement par MyBot (d · c · b) à partir des articles liés au bandeau {{Portail Australie}} Modifications récentes des articles ayant le bandeau de ce portail… … Wikipédia en Français
MTV Video Music Award — MTV Video Music Awards 2011 MTV Video Music Awards Awarded for Best in Music videos and pop culture Presented by MTV … Wikipedia
literature — /lit euhr euh cheuhr, choor , li treuh /, n. 1. writings in which expression and form, in connection with ideas of permanent and universal interest, are characteristic or essential features, as poetry, novels, history, biography, and essays. 2.… … Universalium
