15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009)

Event name
15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009)
 
Event type
Event for scientific audience
 
Start date
12-10-2009
End date
14-10-2009
 
Location
Maria Taferl
Maria Taferl
Country
Austria
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-8 of 8 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Kirner, Raimund ; Haas, Walter Automatic Calculation of Coverage Profiles for Coverage-based TestingKonferenzbeitrag Inproceedings2009
2Prantl, Adrian ; Knoop, Jens ; Kirner, Raimund ; Kadlec, Albrecht ; Schordan, Markus From Trusted Annotations to Verified KnowledgeKonferenzbeitrag Inproceedings2009
3Puntigam, Franz How to Specify the Flow of Data Accessibility: An OO Way of Concurrent ProgrammingKonferenzbeitrag Inproceedings2009
4Brunthaler, Stefan Inline Caching meets QuickeningKonferenzbeitrag Inproceedings2009
5Brunthaler, Stefan Inline Caching meets QuickeningKonferenzbeitrag Inproceedings2009
6Brunthaler, Stefan Inline Caching meets QuickeningKonferenzbeitrag Inproceedings2009
7Kirner, Raimund ; Zimmermann, Wolf ; Richter, Dirk On Undecidability Results of Real Programming LanguagesKonferenzbeitrag Inproceedings2009
8Barany, Gergö SATIrE within ALL-TIMES: Improving Timing Technology with Source Code AnalysisKonferenzbeitrag Inproceedings2009