Software visualization of natural semantics of imperative languages - a teaching tool

Steingartner, William; Haratim, Martin; Dostál, Jiřı́

doi:10.1109/informatics47936.2019.9119290

Cited by 6 publications

(2 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Further was implemented the categorical model of NBL with visualisation tool [37], [38]. Following this, we provided similar tools for visualization of the structural operational semantics [39], natural operational semantics [40], an implementation of operational semantics [41], denotational semantics [42] and visualization of our model of BDI logic [43]- [45].…”

Section: Related Work and Literature Reviewmentioning

confidence: 99%

Untitled

2023

IPSI TIR

View full text Add to dashboard Cite

Ensuring data integrity stored in a database requires change encapsulation in a transaction. Transaction maintains consistency by shifting the database from one consistent state to another, protected by atomicity, isolation, and durability. This paper focuses on the isolation and parallelism allowing distributed access to the data tuple across multiple transactions. Access to the data tuple is marked by the locks applied on the row level. Locks can be shared expressing data retrieval process or exclusive intended to change the values of the columns. The general locking rule takes the lock before the operation and releases it just after the operation or at the end of the transaction.Oracle database, however, does not release the lock physically, whereas the data block access would be necessary to be reloaded during the transaction approval. Therefore, this paper aims in optimizing the process of unlocking data before the data retrieval process using multiple strategies.

show abstract

Section: Related Work and Literature Reviewmentioning

confidence: 99%

Untitled

2023

IPSI TIR

View full text Add to dashboard Cite

show abstract

“…An example of using the program is also shown. More technical details about the implementation of the presented module can be found in [15]. The paper ends with a Conclusion section.…”

Section: Introductionmentioning

confidence: 99%

On some innovations in teaching the formal semantics using software tools

Steingartner

2020

Open Computer Science

Self Cite

View full text Add to dashboard Cite

In this work we discuss the motivation for innovations and need of a teaching tool for the visualization of the natural semantics method of imperative programming languages. We present the rôle of the teaching software, its design, development and use in the teaching process. Our software module is able to visualize the natural semantics evaluation of programs. It serves as a compiler with environment that can visually interpret simple programming language Jane statements and to depict them into a derivation tree that represents the semantic method of natural semantics. A formal definition of programming language Jane used in the teaching of formal semantics and production rules in natural semantics for that language are shown as well. We present, how the presented teaching tool can provide particular visual steps in the process of finding the meaning of well-structured input program and to depict complete natural-semantic representation of an input program.

show abstract

Another Tool for Structural Operational Semantics Visualization of Simple Imperative Language

Perháč

Bilanova

2020

2020 18th International Conference on Emerging eLearning Technologies and Applications (ICETA)

View full text Add to dashboard Cite

Software visualization of natural semantics of imperative languages - a teaching tool

Cited by 6 publications

References 6 publications

Untitled

Untitled

On some innovations in teaching the formal semantics using software tools

Another Tool for Structural Operational Semantics Visualization of Simple Imperative Language

Contact Info

Product

Resources

About