Journal of Applied Mathematics and Computational Mechanics (Jun 2024)

Proof of equivalence of semantic methods for a selected domain-specific language

William Steingartner,
Valerie Novitzká,
Wolfgang Schreiner

Affiliations

William Steingartner
Valerie Novitzká
Wolfgang Schreiner

DOI: https://doi.org/10.17512/jamcm.2024.2.07
Journal volume & issue: Vol. 23, no. 2
pp. 79 – 92

Abstract

No abstracts available.

Published in Journal of Applied Mathematics and Computational Mechanics

ISSN: 2299-9965 (Print); 2353-0588 (Online)
Publisher: The Publishing Office of Czestochowa University of Technology
Country of publisher: Poland
LCC subjects: Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
Website: https://amcm.pcz.pl

About the journal