Advanced search

Browse by subject

Browse by provider

Browse by language

Content Details
Normal View
CIP View

Modularity, Code Specialization, and Zer...

Ho, Son...

Free

Share this content

Modularity, Code Specialization, and Zero-Cost Abstractions for Program Verification by Ho, Son ( Author )

Content Provider	Lemonjar Open Access
Publisher	Australian National University
Publication Date	01-08-2023
Summary
ISBN	-
Item Type	Article
File Type	pdf
File Size	29.34 KB
Language	English
Subjects	-
Unlimited	MYR 0.01
Total read	-
URL	http://arxiv.org/abs/2102.01644

Citation

Review the full bibliography data and make any necessary corrections before using. Always consult your library resources for the exact formatting and punctuation guidelines.

AMA 11th EditionReferences

Ho, Son. Modularity, Code Specialization, and Zero-Cost Abstractions for Program Verification. Australian National University. August 01, 2023. Accessed November 01, 2024. https://online.provdatabase.com/cite/1016

APA 7th EditionReferences

Ho, Son. (2023). Modularity, Code Specialization, and Zero-Cost Abstractions for Program Verification. Australian National University. https://online.provdatabase.com/cite/1016

Chicago 17th EditionReferences

Ho, Son. Modularity, Code Specialization, and Zero-Cost Abstractions for Program Verification. Australian National University. 2023. https://online.provdatabase.com/cite/1016

HarvardReferences

Ho, Son. (2023). Modularity, Code Specialization, and Zero-Cost Abstractions for Program Verification. [Online]. Australian National University. Available from: https://online.provdatabase.com/cite/1016. (Accessed 01 November 2024).

Harvard AustraliaReferences

Ho, Son, 2023, Modularity, Code Specialization, and Zero-Cost Abstractions for Program Verification, Australian National University, viewed 01 November 2024, <https://online.provdatabase.com/cite/1016>

MLA 9th EditionWorks Cited

Ho, Son. Modularity, Code Specialization, and Zero-Cost Abstractions for Program Verification. Australian National University, 2023. PROV Database, https://online.provdatabase.com/cite/1016.

Share this eBook