<div class="csl-bib-body">
<div class="csl-entry">Ertl, M. A. (2023). Memory Safety Without Tagging nor Static Type Checking. In <i>https://doi.org/10.34726/5401</i>. 38th EuroForth Conference, Italy. https://doi.org/10.34726/5428</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/193614
-
dc.identifier.uri
https://doi.org/10.34726/5428
-
dc.description.abstract
A significant proportion of vulnerabilities are due to memory accesses (typically in C code) that memory-safe languages like Java prevent. This paper discusses a new approach to modifying Forth for memory-safety: Eliminate addresses from the data stack; instead, put object references on a separate object stack and use value-flavoured words. This approach avoids the complexity of static type checking (used in, e.g., Java and Factor), and also avoids the performance overhead of dynamic type checking for non-memory operations. This paper discusses the consequences of this approach on the language, and on performance.
en
dc.language.iso
en
-
dc.relation.ispartof
https://doi.org/10.34726/5401
-
dc.rights.uri
http://creativecommons.org/licenses/by-sa/4.0/
-
dc.subject
Forth
en
dc.subject
memory safety
en
dc.subject
programming language design
en
dc.title
Memory Safety Without Tagging nor Static Type Checking
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.rights.license
Creative Commons Attribution-ShareAlike 4.0 International
en
dc.rights.license
Creative Commons Namensnennung - Weitergabe unter gleichen Bedingungen 4.0 International
de
dc.identifier.doi
10.34726/5428
-
dc.relation.doi
10.34726/5401
-
dc.rights.holder
Author
-
dc.type.category
Full-Paper Contribution
-
tuw.booktitle
38th EuroForth Conference
-
tuw.researchTopic.id
I4
-
tuw.researchTopic.name
Information Systems Engineering
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E194-05 - Forschungsbereich Compilers and Languages
-
dc.identifier.libraryid
AC17204070
-
dc.description.numberOfPages
11
-
dc.rights.identifier
CC BY-SA 4.0
de
dc.rights.identifier
CC BY-SA 4.0
en
tuw.event.name
38th EuroForth Conference
en
tuw.event.startdate
16-09-2022
-
tuw.event.enddate
18-09-2022
-
tuw.event.online
Online
-
tuw.event.type
Event for scientific audience
-
tuw.event.country
IT
-
tuw.event.presenter
Ertl, M. Anton
-
tuw.presentation.online
Online
-
tuw.event.track
Single Track
-
wb.sciencebranch
Informatik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.value
100
-
item.languageiso639-1
en
-
item.openairetype
conference paper
-
item.grantfulltext
open
-
item.fulltext
with Fulltext
-
item.cerifentitytype
Publications
-
item.mimetype
application/pdf
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
item.openaccessfulltext
Open Access
-
crisitem.author.dept
E194-05 - Forschungsbereich Compilers and Languages
-
crisitem.author.parentorg
E194 - Institut für Information Systems Engineering
