Browsing Department of Informatics by Author "Barash, Mikhail"
Now showing items 1-5 of 5
-
Algebraic Reasoning About Timeliness
Haeri, Seyed Hossein; Thompson, Peter W; Van Roy, Peter; Haveraaen, Magne; Davies, Neil J; Barash, Mikhail; Hammond, Kevin; Chapman, James (Journal article; Peer reviewed, 2023)Designing distributed systems to have predictable performance under high load is difficult because of resource exhaustion, non-linearity, and stochastic behaviour. Timeliness, i.e., delivering results within defined time ... -
A domain-specific language for structure manipulation in constraint system-based GUIs
Stokke, Knut Anders; Barash, Mikhail; Järvi, Jaakko Timo Henrik (Journal article, 2023)A common frustration with programming Graphical User Interfaces (GUIs) is that features for manipulating structures, such as lists and trees, are limited, inconsistent, buggy, or even missing. Implementing complete and ... -
Towards a Spreadsheet-Based Language Workbench
Barash, Mikhail (Chapter, 2021)Spreadsheets are widely used across industries for various purposes, including for storing and manipulating data in a structured form. Such structured forms—expressed using tabular notation—have found their way in language ... -
Towards Reusable GUI Structures
Stokke, Knut Anders; Barash, Mikhail; Järvi, Jaakko (Chapter, 2023)Graphical user interfaces present data as structures (lists, trees, grids). Convenient features to manipulate these structures are tedious to implement. We are working towards a GUI programming approach, where concise ... -
The Ultimate GUI Framework: Are We There Yet?
Stokke, Knut Anders; Barash, Mikhail; Järvi, Jaakko Timo Henrik (Journal article; Peer reviewed, 2023)The programming community seems to be forever searching for the ultimate user interface programming approach and the accompanying framework. We describe the landscape of recent efforts in this quest through describing ...