Vissza az oldal tetejére
Az osztott rendszerek alkalmazása az informatikai kutatások egyik legfontosabb területe napjainkban.
A Java programozási nyelv, a CORBA szabvány és más szoftvereszközök megjelenésével az objektum-elvű
szoftvertechnológia az elosztott alkalmazások készítéséhez is rendelkezésre áll, az osztott rendszerek
tervezése és megvalósítása napi gyakorlattá vált. Ezen alkalmazások párhuzamosan futó és együttműködő
komponensei nemcsak szinkronizálnak egymással és adatokat küldenek egymásnak, hanem mobil kódrészleteket
is továbbítanak. Funkcionális nyelven írt programok helyessége könnyebben bizonyítható, mint a jelenleg
általánosan elterjedt imperatív nyelveken írt programoké. Tisztán funkcionális nyelvekben érvényes az ún.
hivatkozási átlátszóság, így számos programtulajdonság matematikai indukcióval bizonyítható. A modern
funkcionális nyelvek (Haskell, Clean, stb.) a hivatkozási átlátszóság megsértése nélkül le tudják írni
bonyolult elosztott rendszerek viselkedését, állapotváltozásait. Ezért ezen rendszerek biztonságossági
tulajdonságainak, invariánsainak bizonyítása és ellenőrzése könnyebben elvégezhető. A kutatás célja,
hogy elosztott/mobil funkcionális programok helyességének bizonyítására alkalmas modellt dolgozzunk ki,
illetve egy helyességbizonyító eszköz prototípusát létrehozzuk.
Vissza az oldal tetejére
Vissza az oldal tetejére
-
Csizmazia B.:
Clean IIOP 0.3
szoftver
-
Horváth Z. - Zsók V. - Serrarens, P. - Plasmeijer, R.:
Parallel Functional Skeletons in Concurrent Clean.
In Abstracts of the Third Joint Conference on Mathematics and Computer Science, Jun. 6-12, 1999, Visegrád. Hungary, p.37.
összefoglaló (angol)
PS,
PDF
-
Harmat K. - Tandi P. - Horváth Z. - Wierich, M. - Plasmeijer, R.:
Web Computing in Clean.
In Proceedings of the 4th International Conference on Applied Informatics, Eger-Noszvaj, Hungary, Sept. 1999, 87-93.
összefoglaló (angol)
PS,
PDF
(a PDF változat gyenge minőségű)
szoftver
-
Horváth Z. - Achten, P. - Kozsik T. - Plasmeijer, R.:
Verification of the Temporal Properties of Dynamic Clean Processes.
Proceedings of Implementation of Functional Languages'99, Lochem, The Netherlands, Sept. 7-10, 1999. pp. 203-218.
teljes cikk (angol)
PS,
PDF
(a PDF változat gyenge minőségű)
-
Horváth Z. - Achten, P. - Kozsik T. - Plasmeijer, R.:
Proving the Temporal Properties of the Unique World.
Proceedings of the Sixth Symposium on Programming Languages and Software Tools, Tallin, Estonia, August, 1999., pp. 113-125.
-
Horváth Z. - Zsók V. - Serrarens, P. - Plasmeijer, R.:
Parallel Functional Reactive Skeletons in Concurrent Clean
Conference of PhD Students in Computer Science CSCS'2000, Volume of Extended Abstract, Szeged, Hungary, July 20-23, 2000, page 50.
összefoglaló (angol)
PS,
PDF
(a PDF változat gyenge minőségű)
-
Kozsik T. - van Arkel, D. - Plasmeijer, R.:
Subtyping with Strengthening Type Invariants
In: Mohnen, M., Koopman, P. eds. Proceedings of the 12th International Workshop on Implementation of Functional Languages, Aachener Informatik-Berichte, Aachen, Germany, September 2000. pp. 315-330.
-
Varga Z.:
Clean - Corba interface
Diplomamunka, ELTE Informatika Tanszékcsoport, Budapest, 2000.
szoftver
dokumentáció
-
Varga Z.:
Haskell - Corba interface
szoftver
-
Zsók V. - Horváth Z.:
Skeleton Algorithms in Concurrent Clean.
4th Joint Conference on Mathematics and Computer Science, Abstracts, Felix-Oradea, Romania, page 99, 2001.
összefoglaló (angol)
PS,
PDF
(a PDF változat gyenge minőségű)
-
Csempesz J.:
Funkcionális nyelvek altípusrendszerei
Diplomamunka, ELTE Informatika Tanszékcsoport, Budapest, 2001.
-
Hegedűs H.:
Haskell to Clean Front End
MSc Thesis, ELTE, Budapest, Hungary, 2001.
-
Horváth Z. - Zsók V. - Serrarens, P. - Plasmeijer, R.:
Parallel Elementwise Processing in Concurrent Clean.
5th International Conference on Applied Informatics, Eger, Hungary, 2001 Selected paper of ICAI.2001 to appear in Computers & Mathematics With Applications, Elsevier, 2002.
összefoglaló (angol)
PS,
PDF
Vissza az oldal tetejére
-
Horváth Z. - Kozsik T.:
Safe Mobile Code (CPPCC): Certified Proven Property Carrying Code.
16th European Conference on Object-Oriented Programming (ECOOP 2002), University of Málaga, Spain, June 10-14, 2002.
- Resource Management for Safe Languages (Workshop #01)
- The 8th ECOOP Workshop on Mobile Object Systems: New Frontiers (Workshop #18)
részletes összefoglaló (angol)
PS,
PDF
teljes cikk (angol)
PS,
PDF
(a PDF változat gyenge minőségű)
-
Zsók V. - Horváth Z. - Tejfel M.:
Parallel Functional Programming on Cluster.
The Third Conference of PhD Students in Computer Science, CSCS'2002, Volume of Extended Abstract, Szeged, Hungary, July 1-4. 2002, page 114.
részletes összefoglaló (angol)
PS,
PDF
(a PDF változat gyenge minőségű)
-
Csörnyei Z. - Nagy S.:
Típuselmélet és az objektum-elvű programozás
Informatika a felsőoktatásban'02. Debrecen, Aug. 28-30, 2002.
teljes cikk
PS,
PDF
-
Hegedűs H. - Horváth Z. - Zsók V.:
A Haskell és a Clean nyelv összehasonlító elemzése
Informatika a felsőoktatásban'02. Debrecen, Aug. 28-30, 2002, pages 1075-1084.
teljes cikk
PS,
PDF
-
Horváth Z. - Tejfel M. - Pásztorné Varga K.:
Funkcionális programok helyessége
Informatika a felsőoktatásban'02. Debrecen, Aug. 28-30, 2002, pages 942-946.
teljes cikk
PS,
PDF
-
Zsók V. - Horváth Z. - Tejfel M.:
Párhuzamos funkcionális programozás
Informatika a felsőoktatásban'02. Debrecen, Aug. 28-30, 2002, pages 1085-1094.
teljes cikk
PS,
PDF
-
Daxkobler K. - Horváth Z. - Kozsik T.:
A Prototype of CPPCC - Safe Functional Mobile Code in Clean.
Proceedings of Implementation of Functional Languages'02, Madrid, Spain, Sept. 15-19, 2002. pp. 301-310.
teljes cikk (angol)
PS,
PDF
(a PDF változat gyenge minőségű)
előadás fóliák (angol)
PS,
PDF
-
Horváth Z. - Hernyák Z. - Kozsik T. - Tejfel M. - Ulbert A.:
A Data Intensive Application on a Cluster - Parallel Elementwise Processing.
In P. Kacsuk, D. Kranzlmüller, Zs. Nemeth, J. Volkert (Eds.): Distributed and Parallel System - Cluster and Grid Computing, Proc. 4th Austrian-Hungarian Workshop on Distributed and Parallel Systems, Kluwer Academic Publishers, The Kluwer International Series in Engineering and Computer Science, Vol. 706, pp. 46-53, Linz, Austria, September 29-October 2, 2002.
összefoglaló (angol)
PS,
PDF
(a PDF változat gyenge minőségű)
Vissza az oldal tetejére
-
Horváth Z. - Kozsik T. - Tejfel M.:
Proving Invariants of Functional Programs
In Proceedings of Eighth Symposium on Programming Languages and Software Tools, Kuopio, Finland, June 17-18, 2003., pp. 115-126
teljes cikk (angol)
PS,
PDF
-
Horváth Z. - Varga Z. - Zsók V.:
Clean-Corba Interface for Parallel Functional Programming on Clusters
In Proceedings of Eighth Symposium on Programming Languages and Software Tools, Kuopio, Finland, June 17-18, 2003., pp. 127-136.
teljes cikk (angol)
PS,
PDF
Zsók V. - Horváth Z. - Varga Z.:
Functional Programs on Clusters
In: Striegnitz, Jörg; Davis, Kei (Eds.) (2003) Proceedings of the Workshop on Parallel/High-Performance Object-Oriented Scientific Computing (POOSC'03), Interner Bericht FZJ-ZAM-IB-2003-09, Juli 2003, pp. 93-100.
az előző cikk ecoop-on előadott változata (angol)
PS,
PDF
az előadás fóliái (angol)
PS,
PDF
(a PDF változat gyenge minőségű)
Vissza az oldal tetejére
Vissza az oldal tetejére
-
Tejfel M., Kozsik T.:
Proofs illustrating the applicability of the SIO
model
szoftver
Vissza az oldal tetejére
-
Csörnyei Z.:
Funkcionális programnyelvek implementációja
-
A λ-kalkulus
előadás jegyzet
PS,
PDF
(a PDF változat gyenge minőségű)
-
A kombinátor logika
előadás jegyzet
PS,
PDF
(a PDF változat gyenge minőségű)
-
Típuselmélet
előadás jegyzet
PS,
PDF
(a PDF változat gyenge minőségű)
-
Horváth Z.:
Az ErlVer és a modális μ-kalkulus vizsgálata
teljes cikk
PS,
PDF
(a PDF változat gyenge minőségű)
-
Nyékyné Gaizler J. szerk.
Programozási nyelvek összehasonlító elemzése; Horváth Z.: Funkcionális programozás nyelvi eszközei fejezet
Kiskapu Kiadó, Budapest, 2002.
-
Kozsik T.:
Assign predicates to subtype marks -- a case study
Kutatási jelentés 2003-S01, ELTE, Budapest, 2003.
teljes cikk (angol)
PS,
PDF
-
Tejfel M.:
Property specification of Sparkle and its extension possibilities
Kutatási jelentés 2003-S02, ELTE, Budapest, 2003.
teljes cikk (angol)
PS,
PDF
Vissza az oldal tetejére
-
Diviánszky P.:
Kombinátoros szintaktikai elemző a Clean nyelvhez.
TDK konferencia, ELTE, Budapest, 2002. december.
TDK dolgozat
PS,
PDF
szoftver
-
Ivicsics M.:
A Clean dinamikus típusrendszere
TDK konferencia, ELTE, Budapest, 2002. december.
TDK dolgozat
PS,
PDF
(a PDF változat gyenge minőségű)
-
Bárány V.:
Breakable terms.
TDK konferencia, ELTE, Budapest, 2002. december.
TDK dolgozat (angol)
PS,
PDF
Vissza az oldal tetejére
-
Daxkobler K.:
A CPPCC prototípusa.
Diplomamunka, ELTE Informatika Tanszékcsoport, Budapest, 2002.
dokumentáció
PS,
PDF
(a PDF változat gyenge minőségű)
Vissza az oldal tetejére
-
Horváth Gy.:
Funkcionális programok erőforrásigénye.
Diplomamunka, ELTE, Budapest, 2003.
diplomamunka (angol)
PS,
PDF
(a PDF változat gyenge minőségű)
-
Ivicsics M..:
Szemétgyűjtő algoritmusok ismertetése, gyakorlati szemétgyűjtési feladat megoldása.
Diplomamunka, ELTE, Budapest, 2003.
diplomamunka
PS,
PDF
a szemétgyűjtő forráskódja
-
Németh-Csóka D.:
Haskell monadok. A monadok alkalmazási lehetőségei.
Diplomamunka, ELTE, Budapest, 2003.
diplomamunka
PS,
PDF
(a PDF változat gyenge minőségű)
Vissza az oldal tetejére
-
Csörnyei Z.:
Introduction to Type Theory
előadás fóliák (angol)
PS,
PDF
-
Szabóné Nacsa R.:
Bevezetés a funkcionális programozásba
munkafüzet
PS,
PDF
előadás fóliák
PS,
PDF
-
Smetsers, J.E.W.:
Type Systems for Functional Programming
összefoglaló (angol)
-
Elosztott funkcionális programok helyessége
Információs Magyarország Hétvége 2002, március 21-24.
előadás fóliák
PS,
PDF
-
Horváth Z.:
CPPCC - The Certified Proven Property Code Architecture
Institut für Informatik und Wirtschaftsinformatik, Universität Wien, Austria, May 8, 2002.
előadás fóliák (angol)
PS,
PDF
(a PDF változat gyenge minőségű)
-
Horváth Z.:
CPPCC - Safe Functional Mobile Code
System Software Group, Institut für Praktische Informatik, J. Kepler Universität Linz, Linz, Austria, July 10, 2002.
-
Kozsik T.:
Subtyping with Strengthening Type Invariants
Summer School and Workshop on Generic Programming, St Anne's College, Oxford, UK. August 26-30 2002.
előadás fóliák (angol)
PS,
PDF
-
Zsók V.:
Concurrency Constructs of Functional Languages
Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, November, 2002.
-
Zsók V.:
Verified Mobile Code in Functional Environment
Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, December, 2002.
Vissza az oldal tetejére
-
Horváth Z.:
Funkcionális nyelven írt mobil kódok, ezek szemantikai tulajdonságai, helyességük bizonyítása.
Szegedi Egyetem, 2003. február 25.
-
Horváth Z.:
Temporal Properties and Safe Mobile Code.
Erasmus guest lecture. University of Nijmegen, The Netherlands, March 26, 2003.
-
Horváth Z.:
Certified Mobile Functional Code.
Ceepus guest lecture, Paisii Hilendarski University, Plovdiv, Bulgaria, June 17, 2003.
-
Zsók V.:
Parallel Language Elements in Functional Languages.
Ceepus guest lecture, Paisii Hilendarski University, Plovdiv, Bulgaria, June 26, 2003.
-
Horváth Z.:
Proving Properties of Components of Functional Programs.
University Innsbruck, Austria, July 4, 2003.
Vissza az oldal tetejére
Vissza az oldal tetejére
English pages
fun_ver
Legutóbbi módosítás ideje: 2008. 02. 29. 15:03:01