Szoftvertechnológiai Fórum 2020.10.15.
A Szoftvertechnológiai Fórum az Eötvös Loránd Tudományegyetem, a Szegedi Tudományegyetem és a Budapesti Műszaki Egyetem szervezésében, a Neumann János Számítógép-tudományi Társaság támogatásával kerül megrendezésre, abból az alkalomból, hogy Simon Thompsont, a University of Kent professzorát október 16-án az ELTE díszdoktorává avatják.
A rendezvényen a részvétel ingyenes, de előzetes regisztrációhoz kötött: Regisztráció
Időpont: 2020. október 15. 15:00 óra
Helyszín: MS Teams (a meghívó linkjét az alábbi felületen regisztráltaknak a rendezvény napján küldjük ki)
| PROGRAM |
|---|
- Prof. Simon Thompson, a University of Kent professzora. Az előadás Prof. Simon Thompson díszdoktori előadása.
Előadásának címe: Building a blockchain language: Marlowe
ABSTRACT
Marlowe is a high-level, domain-specific language (DSL) for writing financial contracts on blockchain. Marlowe is defined by an executable reference semantics in Haskell, and is implemented on the EUTxO-based Cardano blockchain. We will introduce Marlowe and describe its semantics and implementation and give examples, including some from the ACTUS standard for financial contracts.
We will reflect on the development of Marlowe, the design rationale underlying it, and the tools that we have built to support Marlowe users and developers. In some ways these are similar to tools for other DSLs, but others reflect the particular blockchain context.
-
Dr. Horpácsi Dániel, egyetemi adjunktus, Eötvös Loránd Tudományegyetem – Informatikai Kar
Előadásának címe: Trustworthy Refactoring in Erlang
Abstract
Programming problems have several correct algorithmic solutions, where each solution can be expressed in a number of different ways. After having developed a correct solution, refactoring helps improve its quality without affecting its correctness. Preserving the meaning of software while carrying out extensive reworking is hard, we need clever and trustworthy tools to analyse and rewrite program code. In this talk, we will overview methods that contribute to the trustworthiness of refactoring steps written for Erlang, ranging from property-based testing of existing implementations to formal verification of high-level refactoring descriptions.
