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

View Statistics Email Alert RSS Feed

Description

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

Publications Publikationen

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

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