Institute of Computer Languages
Compilers and Languages Group

Talks 2016 - Prof. Dr. Jerzy Nawrocki

Der Arbeitsbereich für Programmiersprachen und Übersetzer am Institut für Computersprachen lädt zu folgendem Vortrag ein:

Prof. Dr. Jerzy Nawrocki

Poznan University of Technology, Poznan, Poland
Datum: Donnerstag, den 7. Juli 2016
Zeit: 11:00 Uhr s.t. *)
Ort: TU Wien, Hörsaal EI5 Hochenegg, Elektrotechnik, Gußhausstraße 25-29 (Altbau), 2. Stock.
*) Tee: 10:30 Uhr in der Bibliothek E185.1, Argentinierstr. 8, 4. Stock (Mitte).


Predicting Worst-Case Behaviour of Programs by Means of Attribute Functions


In some applications, so-called hard-real-time systems, it is very important to predict worst-case behaviour of programs, i.e. worst-case execution time or worst-case memory consumption. In general, there are two approaches to the problem: empirical and analytical. Unfortunately, none of the existing solutions seems strong enough to cope with unbounded iterations, recursion, dynamic storage allocation, and implementation selection for abstract data types. During the presentation a solution to the mentioned problems will be presented which is based on attribute functions. The notion of attribute function will be introduced, and some examples concerning implementation selection for dynamic storage allocation will be presented. It seems that attribute function primitives could be a valuable extension to modern hard-real-time languages.


The main area of interest of Jerzy Nawrocki is Software Engineering, but in the past he was involved in projects concerning compiler construction and real-time systems. Currently he is a dean of the Faculty of Computing, Poznan University of Technology, but he has been also with University of Nijmegen, the Netherlands (1986-87), and Dublin City University (1996). He is a member of IFIP Working Group 2.4 (since 1996), vice-chair of IFIP Technical Committee 2 on Software (since 2011), and member of IFIP Board (since 2013). ( )

Sie möchten auf diesen Vortrag durch Aushang hinweisen? Eine druckfertige Einladung im pdf-Format dafür finden Sie hier.

   About Us
      Talks 2017
      Talks 2016
      Talks 2015
      Talks 2014
      Talks 2013
      Talks 2012
      Talks 2011
      Talks 2010
      Talks 2009
      Talks 2008
      Talks 2007
      Talks 2006
      Talks 2005
      Talks 2004
Fast Access:
Previous Talk
Next Talk
Faculty of Informatics
Vienna University of Technology
top | HTML 4.01 | Datenschutzerklärung | last update: 2018-05-25 (Webmaster)