( en | de | ru )

 

Disambiguation of "Klint, Paul"

Author of the publication

copydeleteadd this publication to your clipboard
Towards Formal Verification of ToolBusScripts.

, , , and . AMAST, volume 5140 of Lecture Notes in Computer Science, page 160-166. Springer, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Walter Klint

Kathrin Klint

Rolf Klintworth

Ralf Klintz

Ursula Rebekka Klintworth

 

Other publications of authors with the same name

DeFacto: Language-Parametric Fact Extraction from Source Code., and . SLE, volume 5452 of Lecture Notes in Computer Science, page 265-284. Springer, (2008)A Meta-Environment for Generating Programming Environments.. ACM Trans. Softw. Eng. Methodol., 2 (2): 176-201 (1993)Evolutionary software engineering: a component-based approach., and . Systems Implementation 2000, volume 117 of IFIP Conference Proceedings, page 1-18. Chapman & Hall, (1998)Core Technologies for System Renovation., , and . SOFSEM, volume 1175 of Lecture Notes in Computer Science, page 235-254. Springer, (1996)An Overview of the Summer Programming Language.. POPL, page 47-55. ACM Press, (1980)ATerms for manipulation and exchange of structured data: It's all about sharing., and . Inf. Softw. Technol., 49 (1): 55-64 (2007)Towards Formal Verification of ToolBusScripts., , , and . AMAST, volume 5140 of Lecture Notes in Computer Science, page 160-166. Springer, (2008)Compiling language definitions: the ASF+SDF compiler., , , and . ACM Trans. Program. Lang. Syst., 24 (4): 334-368 (2002)Collaborative Development of Interactive Language Processing Tools.. LDTA@ETAPS, volume 44 of Electronic Notes in Theoretical Computer Science, page 1-2. Elsevier, (2001)PHP AiR: Analyzing PHP systems with Rascal., and . CSMR-WCRE, page 454-457. IEEE Computer Society, (2014)