Sun, 01 Jan 2017 00:00:00 +0100
Inter-procedural Two-Variable Herbrand Equalities.
Stefan Schulze Frielinghaus, Michael Petter, Helmut Seidl:
Inter-procedural Two-Variable Herbrand Equalities. Log. Methods Comput. Sci. 13(2) (2017)
Source
Inter-procedural Two-Variable Herbrand Equalities. Log. Methods Comput. Sci. 13(2) (2017)
Thu, 01 Jan 2015 00:00:00 +0100
Inter-procedural Two-Variable Herbrand Equalities.
Stefan Schulze Frielinghaus, Michael Petter, Helmut Seidl:
Inter-procedural Two-Variable Herbrand Equalities. ESOP 2015: 457-482
Source
Inter-procedural Two-Variable Herbrand Equalities. ESOP 2015: 457-482
Wed, 01 Jan 2014 00:00:00 +0100
Inter-procedural Two-Variable Herbrand Equalities.
Stefan Schulze Frielinghaus, Michael Petter, Helmut Seidl:
Inter-procedural Two-Variable Herbrand Equalities. CoRR abs/1410.4416 (2014)
Source
Inter-procedural Two-Variable Herbrand Equalities. CoRR abs/1410.4416 (2014)
Sat, 01 Jan 2011 00:00:00 +0100
Interprocedural Polynomial Invariants.
Michael Petter:
Interprocedural Polynomial Invariants. Technical University Munich, 2011, ISBN 978-3-86853-810-6, pp. 1-127
Source
Interprocedural Polynomial Invariants. Technical University Munich, 2011, ISBN 978-3-86853-810-6, pp. 1-127
Sat, 01 Jan 2011 00:00:00 +0100
Fast interprocedural linear two-variable equalities.
Andrea Flexeder, Markus Müller-Olm, Michael Petter, Helmut Seidl:
Fast interprocedural linear two-variable equalities. ACM Trans. Program. Lang. Syst. 33(6): 21:1-21:33 (2011)
Source
Fast interprocedural linear two-variable equalities. ACM Trans. Program. Lang. Syst. 33(6): 21:1-21:33 (2011)
Sat, 01 Jan 2011 00:00:00 +0100
Side-Effect Analysis of Assembly Code.
Andrea Flexeder, Michael Petter, Helmut Seidl:
Side-Effect Analysis of Assembly Code. SAS 2011: 77-94
Source
Side-Effect Analysis of Assembly Code. SAS 2011: 77-94
Fri, 01 Jan 2010 00:00:00 +0100
Interprocedural Control Flow Reconstruction.
Andrea Flexeder, Bogdan Mihaila, Michael Petter, Helmut Seidl:
Interprocedural Control Flow Reconstruction. APLAS 2010: 188-203
Source
Interprocedural Control Flow Reconstruction. APLAS 2010: 188-203
Tue, 01 Jan 2008 00:00:00 +0100
Analysing All Polynomial Equations in .
Helmut Seidl, Andrea Flexeder, Michael Petter:
Analysing All Polynomial Equations in . SAS 2008: 299-314
Source
Analysing All Polynomial Equations in . SAS 2008: 299-314
Mon, 01 Jan 2007 00:00:00 +0100
Interprocedurally Analysing Linear Inequality Relations.
Helmut Seidl, Andrea Flexeder, Michael Petter:
Interprocedurally Analysing Linear Inequality Relations. ESOP 2007: 284-299
Source
Interprocedurally Analysing Linear Inequality Relations. ESOP 2007: 284-299
Sun, 01 Jan 2006 00:00:00 +0100
Interprocedurally Analyzing Polynomial Identities.
Markus Müller-Olm, Michael Petter, Helmut Seidl:
Interprocedurally Analyzing Polynomial Identities. STACS 2006: 50-67
Source
Interprocedurally Analyzing Polynomial Identities. STACS 2006: 50-67