Natural Semantics for Domain-Specific Language

Steingartner, William; Novitzká, Valerie

doi:10.1007/978-3-030-85082-1_17

Cited by 6 publications

(4 citation statements)

References 19 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The application has room for further development, from the point of view of language processing and the expansion of visualization options. In the work [46], we showed the basic version of the language, which is processed by the presented software, and also the extended version of the language (with a modified state extended by the angle of the direction of movement). This expansion of the language would be an appropriate milestone shortly.…”

Section: Discussionmentioning

confidence: 99%

“…The main idea comes from standard languages used in tuition of programming: mostly LOGO, Karel (or Karel the Robot) and similar languages. The full definition of the language and its natural semantics was presented in [46].…”

Section: Language For Robot and The Definition Of Its Syntax And Sema...mentioning

confidence: 99%

“…Therefore the transition relation will specify the relationship between the initial state and the final state for each statement [13]. The definition of the transition relation → is given by the rules that have been defined in [46].…”

Section: B Semantics Of the Robot Languagementioning

confidence: 99%

See 2 more Smart Citations

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: Discussionmentioning

confidence: 99%

Section: Language For Robot and The Definition Of Its Syntax And Sema...mentioning

confidence: 99%

See 1 more Smart Citation

Untitled

2023

IPSI TIR

View full text Add to dashboard Cite

show abstract

“…Furthermore, examining the inherent semantics of Robot provides a more intuitive understanding of a kind of operational semantics. The denotational approach to this language was defined in [6]; we extended the pool of semantic methods by defining the natural semantics in [7].…”

Section: Introductionmentioning

confidence: 99%