Annual Report 2010 - Fachgruppe Informatik an der RWTH Aachen ...
30.01.2014 • Views
Share Embed Flag

Annual Report 2010 - Fachgruppe Informatik an der RWTH Aachen ...

Annual Report 2010 - Fachgruppe Informatik an der RWTH Aachen ...

Annual Report 2010 - Fachgruppe Informatik an der RWTH Aachen ...

SHOW MORE
SHOW LESS
ePAPER READ
DOWNLOAD ePAPER
informatik.rwth.aachen.de

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

START NOW

J. Giesl, M. Raffelsieper, P. Schnei<strong>der</strong>-Kamp, S. Swi<strong>der</strong>ski, <strong>an</strong>d R. Thiem<strong>an</strong>n. Automated<br />

Termination Proofs for Haskell by Term Rewriting. ACM Tr<strong>an</strong>sactions on Programming<br />

L<strong>an</strong>guages <strong>an</strong>d Systems. To appear.<br />

Workshops<br />

S. Swi<strong>der</strong>ski, M. Parting, J. Giesl, C. Fuhs, <strong>an</strong>d P. Schnei<strong>der</strong>-Kamp. Inductive Theorem<br />

Proving meets Dependency Pairs. In Proceedings of the Dagstuhl Seminar on “Interaction<br />

versus Automation: The two Faces of Deduction”, Dagstuhl, Germ<strong>an</strong>y, 2009.<br />

C. Fuhs, J. Giesl, M. Plücker, P. Schnei<strong>der</strong>-Kamp, <strong>an</strong>d S. Falke. Termination of Integer Term<br />

Rewriting. In Proceedings of the Dagstuhl Seminar on “Interaction versus Automation: The<br />

two Faces of Deduction”, Dagstuhl, Germ<strong>an</strong>y, 2009.<br />

T. Strö<strong>der</strong>, P. Schnei<strong>der</strong>-Kamp, <strong>an</strong>d J. Giesl: Termination Analysis of Logic Programs with<br />

Cut using Dependency Triples. In Proceedings of the 11th International Workshop on<br />

Termination (WST '10), Edinburgh, UK, <strong>2010</strong>.<br />

M. Codish, C. Fuhs, J. Giesl, <strong>an</strong>d P. Schnei<strong>der</strong>-Kamp. Lazy Abstraction for Size-Ch<strong>an</strong>ge<br />

Termination. In Proceedings of the 11th International Workshop on Termination (WST '10),<br />

Edinburgh, UK, <strong>2010</strong>.<br />

C. Fuhs <strong>an</strong>d P. Schnei<strong>der</strong>-Kamp. Optimizing the AES S-Box using SAT. In Proceedings of<br />

the 8th International Workshop on the Implementation of Logics (IWIL '10), Yogyakarta,<br />

Indonesia, <strong>2010</strong>.<br />

Technical <strong>Report</strong>s<br />

M. T. Nguyen, D. De Schreye, J. Giesl, <strong>an</strong>d P. Schnei<strong>der</strong>-Kamp. Polytool: Polynomial Interpretations<br />

as a Basis for Termination Analysis of Logic Programs. CoRR abs/0912.4360,<br />

2009.<br />

C. Otto, M. Brockschmidt, C. von Essen, <strong>an</strong>d J. Giesl. Automated Termination Analysis of<br />

Java Bytecode by Term Rewriting. Technical <strong>Report</strong> AIB-<strong>2010</strong>-08, <strong>RWTH</strong> <strong>Aachen</strong>,<br />

Germ<strong>an</strong>y, <strong>2010</strong>.<br />

P. Schnei<strong>der</strong>-Kamp, J. Giesl, T. Strö<strong>der</strong>, A. Serebrenik, <strong>an</strong>d R. Thiem<strong>an</strong>n. Automated Termination<br />

Analysis for Logic Programs with Cut. Technical <strong>Report</strong> AIB-<strong>2010</strong>-10, <strong>RWTH</strong><br />

<strong>Aachen</strong>, Germ<strong>an</strong>y, <strong>2010</strong>.<br />

T. Strö<strong>der</strong>, P. Schnei<strong>der</strong>-Kamp, <strong>an</strong>d J. Giesl. Dependency Triples for Improving Termination<br />

Analysis of Logic Programs with Cut. Technical <strong>Report</strong> AIB-<strong>2010</strong>-12, <strong>RWTH</strong> <strong>Aachen</strong>, Germ<strong>an</strong>y,<br />

<strong>2010</strong>.<br />

M. Codish, C. Fuhs, J. Giesl, <strong>an</strong>d P. Schnei<strong>der</strong>-Kamp. Lazy Abstraction for Size-Ch<strong>an</strong>ge Termination.<br />

Technical <strong>Report</strong> AIB-<strong>2010</strong>-14, <strong>RWTH</strong> <strong>Aachen</strong>, Germ<strong>an</strong>y, <strong>2010</strong>.<br />

M. Brockschmidt, C. Otto, C. von Essen, <strong>an</strong>d J. Giesl. Termination Graphs for Java Bytecode.<br />

Technical <strong>Report</strong> AIB-<strong>2010</strong>-15, <strong>RWTH</strong> <strong>Aachen</strong>, Germ<strong>an</strong>y, <strong>2010</strong>.<br />

M. Codish, Y. Fekete, C. Fuhs, <strong>an</strong>d P. Schnei<strong>der</strong>-Kamp. Optimal Base Encodings for Pseudo-<br />

Boole<strong>an</strong> Constraints. CoRR abs/1007.4935, <strong>2010</strong>.<br />

Theses<br />

A. Kelle-Emden. Parallelizing Automated Termination Analysis. Diploma Thesis, LuFG<br />

<strong>Informatik</strong> 2, <strong>RWTH</strong> <strong>Aachen</strong>, <strong>2010</strong>.<br />

T. Strö<strong>der</strong>. Towards Termination Analysis of Real Prolog Programs. Diploma Thesis, LuFG<br />

<strong>Informatik</strong> 2, <strong>RWTH</strong> <strong>Aachen</strong>, <strong>2010</strong>.<br />

116

logo

products

Resources

Company

Terms of service
Privacy policy
Cookie policy
Cookie settings
Imprint
Change language
Made with love in Switzerland
© 2024 Yumpu.com all rights reserved

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!