Helmut Emmelmann - Veröffentlichungen allgemein

(1 - 5 von 6

)

Dagstuhl-Seminar-Report Yumpu

www.yumpu.com

— Helmut Emmelmann, Germany. 11:20 Solving Systems of Set Constraints Using Tree Automata. Remi Gilleron. Session 7, 15:00 – 18:00. › view

Code Selection by Regularly Controlled Term Rewriting | SpringerLink

link.springer.com

Regularly controlled term rewriting allows the efficient implementation of a class of non—deterministic term rewriting systems by using regular tree automata...

Discussion: Code Generator Specification Techniques | SpringerLink

link.springer.com

The discussion started with some more questions on Chris Fraser’s talk: Robert Giegerich suggested specifying code selection using a description (in the spirit...

Code Generation — Concepts, Tools, Techniques | SpringerLink

link.springer.com

Code Generation - Concepts, Tools, Techniques is based upon the proceedings of the Dagstuhl workshop on code generation which took place from May

Testing completeness of code selector specifications | SpringerLink

link.springer.com

The tree pattern matching approach for code selection has proven very successful. This paper presents an algorithm to test the completeness of a code selector...

Verwandte Suchanfragen zu Helmut Emmelmann

Robert Giegerich
Josef Grosch
Sylvie Dumont

Jochen Griesbach
Andreas Grüner
Georg Gerleigner

Personen
Vorname "Helmut" (36353)
Name "Emmelmann" (106)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Veröffentlichungen allgemein Helmut Emmelmann

Dagstuhl-Seminar-Report Yumpu

Code Selection by Regularly Controlled Term Rewriting | SpringerLink

Discussion: Code Generator Specification Techniques | SpringerLink

Code Generation — Concepts, Tools, Techniques | SpringerLink

Testing completeness of code selector specifications | SpringerLink