stg-tud/ainf-compiling-with-arrays

Richter, David; Böhler, Timon; Weisenburger, Pascal; Mezini, Mira

doi:10.4230/artifacts.22453

Artifact

stg-tud/ainf-compiling-with-arrays Software

Authors David Richter , Timon Böhler , Pascal Weisenburger , Mira Mezini

Part of: Collection: Supplementary Materials
License: Apache License 2.0
Publication Date: 2024-11-28

Document Identifiers

DOI: 10.4230/artifacts.22453
URN: urn:nbn:de:0030-drops-224531

Author Details

David Richter

Technische Universität Darmstadt, Germany

Timon Böhler

Technische Universität Darmstadt, Germany

Pascal Weisenburger

University of St. Gallen, Switzerland

Mira Mezini

Technische Universität Darmstadt, Germany
The Hessian Center for Artificial Intelligence (hessian.AI), Darmstadt, Germany

Content

Version/Status

Content created at: 2024-07-09

Cite As Get BibTex

David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini. stg-tud/ainf-compiling-with-arrays (Software). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024) https://doi.org/10.4230/artifacts.22453

Subject Classification

Programming Languages

Lean

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata Views

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail