Skip to main content

Szoftvertechnológiai Fórum

Sok szeretettel várunk mindenkit 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 megrendezésre kerülő idei Szoftvertechnológiai fórumra.
 
Időpont: 2020. október 15., 15:00 óra

Esemény helyszíne: Az eseményt online, a MS Teams alkalmazásban rendezzük meg.

A rendezvény regisztrációköteles, a meghívó linkjét az alábbi felületen regisztráltaknak a rendezvény napján küldjük ki:

https://www.inf.elte.hu/content/szoftvertechnologiai-forum-2020-oktober-15.t.2752?m=486

 

A fórumon két előadónk lesz:

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.

 

Üdvözlettel:

A Szervező Bizottság