Keywords: گرامرهای مشخص; Incremental evaluation; Attribute grammars; Change propagation; Program transformation;
مقالات ISI گرامرهای مشخص (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: گرامرهای مشخص; Attribute grammars; Functional programming; Functional zippers; Bidirectional transformations;
Keywords: گرامرهای مشخص; Attribute grammars; Reference attributes; Higher-order; Rewriting
Keywords: گرامرهای مشخص; Attribute grammars; Tree transducers; Descriptional composition; Attribute evaluation; Cyclic data structure; Zipper;
Generalising tree traversals and tree transformations to DAGs: Exploiting sharing without the pain
Keywords: گرامرهای مشخص; Attribute grammars; Sharing; Graph traversal; Graph transformation; Directed acyclic graphs;
Syntactic-semantic incrementality for agile verification
Keywords: گرامرهای مشخص; Agile development; Formal verification; Operator-precedence grammars; Attribute grammars; Incremental algorithms
A modular specification of Oberon0 using the Silver attribute grammar system
Keywords: گرامرهای مشخص; Attribute grammars; Extensible languages; Language composition; Oberon
Oberon-0 in Kiama
Keywords: گرامرهای مشخص; Oberon-0; Attribute grammars; Term rewriting; Scala; Mixins
Domain-specific program profiling and its application to attribute grammars and term rewriting
Keywords: گرامرهای مشخص; Program profiling; Attribute grammars; Term rewriting; Kiama; Scala
A platform for the automatic generation of attribute evaluation hardware systems
Keywords: گرامرهای مشخص; Attribute grammars; FPGA; Attribute evaluation; Hardware; Semantic evaluation
Incremental programming language development
Keywords: گرامرهای مشخص; Attribute grammars; Compiler-compilers; Modular; Reusable and extensible language definition;
Attribute grammars for unranked trees as a query language for structured documents
Keywords: گرامرهای مشخص; Attribute grammars; Unranked trees; XML; Monadic second-order logic; Expressiveness; Complexity;
A survey of strategies in rule-based program transformation systems
Keywords: گرامرهای مشخص; Program transformation; Transformation rule; Transformation strategy; Program representation; Term rewriting; Pattern matching; Extensions of term rewriting; Strategy annotations; Tree parsing; Attribute grammars; Strategy combinators; Tree traversal; Con