h1

h2

h3

h4

h5
h6
http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png

Implementation of a Predicate-Guided Termination Analysis for Pointer Programs



VerantwortlichkeitsangabeMohamed Khalifa

ImpressumAachen 2020


Bachelorarbeit, RWTH Aachen University, 2020

Veröffentlicht auf dem Publikationsserver der RWTH Aachen University


Genehmigende Fakultät
Fak01

Hauptberichter/Gutachter
; ;

Tag der mündlichen Prüfung/Habilitation
2020-10-16

Online
DOI: 10.18154/RWTH-2020-10469
URL: https://publications.rwth-aachen.de/record/804692/files/804692.pdf

Einrichtungen

  1. Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
  2. Fachgruppe Informatik (120000)

Thematische Einordnung (Klassifikation)
DDC: 004

OpenAccess:
Download fulltext PDF

Dokumenttyp
Bachelor Thesis

Format
online, print

Sprache
English

Interne Identnummern
RWTH-2020-10469
Datensatz-ID: 804692

Beteiligte Länder
Germany

 GO

OpenAccess
QR Code for this record

The record appears in these collections:
Document types > Theses > Bachelor Theses
Faculty of Mathematics, Computer Science and Natural Sciences (Fac.1) > Department of Computer Science
Publication server / Open Access
Public records
Publications database
120000
121310
 Record created 2020-10-26, last modified 2023-08-16
Similar records


OpenAccess:
Download fulltext PDF
Rate this document:

Rate this document:
1
2
3
4
5
 
(Not yet reviewed)