Mоlimо vаs kоristitе оvај idеntifikаtоr zа citirаnjе ili оvај link dо оvе stаvkе:
https://open.uns.ac.rs/handle/123456789/1714
Nаziv: | Software support for course in semantics of programming languages | Аutоri: | Steingartner W. Eldojali M. Radaković, Davorka Dostal J. |
Dаtum izdаvаnjа: | 27-мар-2018 | Čаsоpis: | 2017 IEEE 14th International Scientific Conference on Informatics, INFORMATICS 2017 - Proceedings | Sažetak: | © 2017 IEEE. Nowadays, computer science increasingly uses formal methods to enhance understanding of complex software systems and to reason about their behavior with respect to a formal specification. To let future generations of software developers and engineers profit from these exciting developments, however, it is necessary to adequately educate and train them in the basics of formal logic and formal language semantics. However, preciously few software tools do exist that substantially aid this educational process. Because the semantics is an integral part of a formal definition of a programming language, we have prepared a package of modules, that help us and to students to understand the most popular semantic method - structural operational semantics. The first module translates a program written in a programming language to abstract machine code, the second module makes reverse translation from code to program source text and the third one emulates stepwise execution of abstract machine code. Our package can be easily extended for other semantic methods. | URI: | https://open.uns.ac.rs/handle/123456789/1714 | ISBN: | 9781538608890 | DOI: | 10.1109/INFORMATICS.2017.8327275 |
Nаlаzi sе u kоlеkciјаmа: | PMF Publikacije/Publications |
Prikаzаti cеlоkupаn zаpis stаvki
SCOPUSTM
Nаvоđеnjа
10
prоvеrеnо 10.05.2024.
Prеglеd/i stаnicа
22
Prоtеklа nеdеljа
9
9
Prоtеkli mеsеc
0
0
prоvеrеnо 10.05.2024.
Google ScholarTM
Prоvеritе
Аlt mеtrikа
Stаvkе nа DSpace-u su zаštićеnе аutоrskim prаvimа, sа svim prаvimа zаdržаnim, оsim аkо nije drugačije naznačeno.