Zoltán Csörnyei

From MaRDI portal
Person:3077268

Available identifiers

zbMath Open csornyei.zoltanMaRDI QIDQ3077268

List of research outcomes





PublicationDate of PublicationType
Orthogonal subclasses and multiple inheritance of system predicate classes2011-02-22Paper
Separation logic style reasoning in a refinement based language2010-01-25Paper
A general method of low-level exception reporting and handling using system predicate classes2010-01-25Paper
Comparative analysis of refactoring and code optimization2010-01-25Paper
Subject-oriented operating system developement based on system predicate classes2009-12-29Paper
Use Cases for Refactoring in Erlang2009-02-03Paper
An Introduction to the Lambda Calculus2009-02-03Paper
Purely functional programming and the object-oriented inheritance and ploymorphism2007-10-09Paper
https://portal.mardi4nfdi.de/entity/Q44320842003-10-14Paper
https://portal.mardi4nfdi.de/entity/Q42586491999-09-14Paper
https://portal.mardi4nfdi.de/entity/Q43405461997-10-13Paper
https://portal.mardi4nfdi.de/entity/Q48801761996-06-02Paper

Research outcomes over time

This page was built for person: Zoltán Csörnyei

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