Dániel Horpácsi

From MaRDI portal
Person:2898830

Available identifiers

zbMath Open horpacsi.danielMaRDI QIDQ2898830

List of research outcomes





PublicationDate of PublicationType
A comparison of big-step semantics definition styles2024-12-18Paper
Interactive matching logic proofs in Coq2024-09-13Paper
A formalisation of Core Erlang, a concurrent actor language2024-09-11Paper
Towards a Generic Framework for Trustworthy Program Refactoring2023-03-30Paper
Adaptation of a Refactoring DSL for the Object-Oriented Paradigm2023-03-30Paper
Improving quality of software analyser and transformer tools using specification based testing2012-07-12Paper

Research outcomes over time

This page was built for person: Dániel Horpácsi

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2898830&oldid=7837395"
Powered by MediaWiki