dc.contributor.author | Kirner, Raimund | |
dc.contributor.author | Zimmermann, W. | |
dc.contributor.author | Richter, D. | |
dc.date.accessioned | 2011-08-22T09:01:27Z | |
dc.date.available | 2011-08-22T09:01:27Z | |
dc.date.issued | 2009 | |
dc.identifier.citation | Kirner , R , Zimmermann , W & Richter , D 2009 , On undecidability results of real programming languages . in In: Procs of Kolloquium Programmiersprachen und Grundlagen der Programmierung . Kolloquium Programmiersprachen und Grundlagen der Programmierung , Vienna , United Kingdom , 1/08/09 . | |
dc.identifier.citation | conference | |
dc.identifier.uri | http://hdl.handle.net/2299/6335 | |
dc.description | Original article can be found at : http://www.vmars.tuwien.ac.at/ Copyright Institut fur Technische Informatik | |
dc.description.abstract | Often, it is argued that some problems in data-flow analysis such as e.g. worst case execution time analysis are undecidable (because the halting problem is) and therefore only a conservative approximation of the desired information is possible. In this paper, we show that the semantics for some important real programming languages – in particular those used for programming embedded devices – can be modeled as finite state systems or pushdown machines. This implies that the halting problem becomes decidable and therefore invalidates popular arguments for using conservative analysis. | en |
dc.format.extent | 14 | |
dc.format.extent | 270453 | |
dc.language.iso | eng | |
dc.relation.ispartof | In: Procs of Kolloquium Programmiersprachen und Grundlagen der Programmierung | |
dc.title | On undecidability results of real programming languages | en |
dc.contributor.institution | Centre for Computer Science and Informatics Research | |
dc.contributor.institution | Department of Computer Science | |
dc.contributor.institution | School of Physics, Engineering & Computer Science | |
dc.contributor.institution | Centre for Future Societies Research | |
rioxxterms.type | Other | |
herts.preservation.rarelyaccessed | true | |