Forschungsbereich Compilers and Languages

View Statistics Email Alert RSS Feed

Details

Organization Name (de) Name der Organisation (de)
E194-05 - Forschungsbereich Compilers and Languages
 
Code Kennzahl
E194-05
 
Type of Organization Organisationstyp
Research Division
Parent OrgUnit Übergeordnete Organisation
 
Active Aktiv
 

OrgUnit's Publications


Results 1-20 of 597 (Search time: 0.003 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Himmelbauer-2024-The Vienna Architecture Description Language-smur.pdf.jpgHimmelbauer, Simon ; Hochrainer, Christoph ; Huber, Benedikt Lukas ; Mischkulnig, Niklas ; Paulweber, Philipp ; Schwarzinger, Tobias ; Krall, Andreas The Vienna Architecture Description LanguagePreprint Preprint 14-Feb-2024
2Hochrainer-2023-A pred-LL parsable typed higher-order macro system for ar...-vor.pdf.jpgHochrainer, Christoph ; Krall, Andreas A pred-LL(*) parsable typed higher-order macro system for architecture description languagesInproceedings Konferenzbeitrag Oct-2023
3Ertl-2023-Fix Spectre in hardware! Why and how-am.pdf.jpgErtl, M. Anton Fix Spectre in hardware! Why and howInproceedings Konferenzbeitrag Sep-2023
4Ertl, M. Anton Das magische Sechseck, Constraints, und AusführungshäufigkeitenPresentation Vortrag6-May-2023
5Ertl-2023-See-code und Codeerzeugung in Gforth 1.0-ao.pdf.jpgErtl, M. Anton See-code und Codeerzeugung in Gforth 1.0Presentation Vortrag May-2023
6Ertl-2023-38th EuroForth Conference-vor.pdf.jpgErtl, M. Anton ; Hofmann, Ulrich ; Koch, Matthias ; Pöial, Jaanus ; Rodriguez, Bradford ; Stoddart, Bill ; Reuben, Thomas 38th EuroForth ConferenceProceedings Tagungsband Feb-2023
7Ertl-2023-Memory Safety Without Tagging nor Static Type Checking-vor.pdf.jpgErtl, M. Anton Memory Safety Without Tagging nor Static Type CheckingInproceedings Konferenzbeitrag Feb-2023
8Ertl-2023-Are locals inevitably slow-vor.pdf.jpgErtl, M. Anton Are locals inevitably slow?Inproceedings Konferenzbeitrag Feb-2023
9Kühn, Eva The Peer-Model tool-chainArticle Artikel 1-Nov-2022
10Ertl-2022-Kernspaltung -- Zurueck in die Zukunft-ao.pdf.jpgErtl, M. Anton Kernspaltung : Zurück in die Zukunft?Presentation Vortrag 6-May-2022
11Ertl, M. Anton Managed ForthPresentation VortragMay-2022
12Ertl-2022-Kernfusion -- Zurueck in die Zukunft II-ao.pdf.jpgErtl, Martin Kernfusion - Zurück in die Zukunft II?Presentation Vortrag May-2022
13Kühn, Eva ; Šešum-Čavić, Vesna A Framework-Based Approach for Flexible Evaluation of Swarm-Intelligent AlgorithmsBook Contribution Buchbeitrag2022
14Ebner, Dietmar ; Krall, Andreas ; Scholz, Bernhard Instruction Code SelectionBook Contribution Buchbeitrag2022
15Hajdu-2021-Induction with Recursive Definitions in Superposition-vor.pdf.jpgHajdu, Marton ; Hozzova, Petra ; Kovacs, Laura ; Voronkov, Andrei Induction with Recursive Definitions in SuperpositionBeitrag in Tagungsband Inproceedings Oct-2021
16Ertl-2021-Copying Bytes-vor.pdf.jpgErtl, Martin Copying BytesPresentation Vortrag Sep-2021
17Ertl-2021-Practical Considerations in a Static Stack Checker-am.pdf.jpgErtl, Martin Anton Practical Considerations in a Static Stack CheckerInproceedings Konferenzbeitrag Sep-2021
18Ertl, Martin Anton The Essence of Closures---A language design perspectiveKonferenzbeitrag Inproceedings2021
19Moosbrugger, Marcel ; Bartocci, Ezio ; Katoen, Joost-Pieter ; Kovács, Laura Automated Termination Analysis of Polynomial Probabilistic ProgramsKonferenzbeitrag Inproceedings2021
20Ertl, Martin Anton Warum ergibt 1 chars den Wert 1?Spezialbeitrag Special Contribution2021