Szoftvertechnológiai Fórum

Szoftvertechnológiai Fórum 2020. október 15.

Cím
Adatvédelmi tájékoztató
Privacy notice

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

Simon Thompson

Building a blockchain language: Marlowe

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.

Horpácsi Dániel

Trustworthy Refactoring in Erlang

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.

 

2020.10.05.