Verification of distributed functional programs  Page description

Help  Print 
Back »
 

Details of project

  
Identifier
37742
Type K
Principal investigator Horváth, Zoltán
Title in Hungarian Elosztott funkcionális programok helyessége
Title in English Verification of distributed functional programs
Panel Informatics and Electrical Engineering
Department or equivalent Department of Programming Languages Compilers (Eötvös Loránd University)
Participants Csörnyei, Zoltán
Kozma, László
Kozsik, Tamás
Pásztor, Endréné
Tejfel, Máté
Zsók, Viktória
Starting date 2002-01-01
Closing date 2005-12-31
Funding (in million HUF) 13.990
FTE (full time equivalent) 0.00
state closed project





 

Final report

  
Results in Hungarian
Biztonsági szempontból kritikus elosztott alkalmazások fejlesztéséhez számos új eszközt, modellt, helyességbizonyítási módszert és programozási nyelvi elemet hoztunk létre: megalkottuk funkcionális programok temporális tulajdonságai leírásának modelljét, kiterjesztettünk egy helyességbizonyító rendszert, altípusok invariánsainak kezelésére és bizonyítására új típuslevezetési rendszert terveztünk, új magasszintű nyelvi elemeket vezettünk be elosztott funkcionális programok leírásához. Kidolgoztuk az objektum-absztrakció funkcionális programozási modelljét a Clean nyelvhez. Megalkottuk a CPPCC módszert: az általunk temporális tulajdonságok bizonyítására is alkalmassá tett helyességbizonyítóval elkészítjük a kód tulajdonságainak bizonyítását géppel ellenőrizhető formában, majd a kódhoz hozzácsomagoljuk a bizonyított tulajdonságokat. A kiterjesztett helyességbizonyítóhoz megadtuk az új nyelvi elemek szintaxis és szemantikai definícióit, megjelennek az absztrakt objektumok, a specifikációs nyelvben megfogalmazhatók invariánsok és biztonságossági tulajdonságok. Megadtunk egy új altípusrendszert annotációk bevezetésével. Az annotációkkal megfogalmazott programtulajdonságokat részben a nyelv fordítóprogramja bizonyítja, részben a tételbizonyító rendszer segítségével lehet azokat bizonyítani. Megalkottuk a Clean nyelv egy kiterjesztését, amelynek segítségével funkcionális stílusban, magas absztrakciós szinten írhatunk elosztott funkcionális programot.
Results in English
We introduced new models, tools and programming language concepts to support development of components of distributed safety critical applications. In a pure functional language functional variables are constants, but in case of interactive or distributed programs, or in ones that use IO we consider a series of values computed from each other as different states of the same abstract object. We developed a method to describe abstract objects and temporal properties in an extended version of Core language of the Clean Sparkle theorem prover and we extended the proof system to deal with temporal properties. We proposed CPPCC, a three-parties model of property carrying mobile code exchange. We designed also an extension to the type system which enables to express some safety properties of the program. The idea is to annotate types with type invariants and using subtype and belive-me marks. The annotations can express pre- and postconditions of functions, as well as propagation of properties. Those properties of programs that the annotations describe are either verified by the type checker of the compiler, or turned into theorems to prove by the theorem prover. The distributed evaluation of functions and the communication between Clean programs need a higher level process description and control mechanism. For this reason a control language, the D-Clean language and an intermediate level language, the D-Box language, and their informal semantics were introduced.
Full text http://real.mtak.hu/333/
Decision
Yes





 

List of publications

  
Kozma L.: Synthesis Methods of Pipeline Parallel Systems., előadás, Illinois State University School of Information Technology, 2 November 2005, pp. 1-41, 2005
László I. - Kozsik T.: Research Activities at ELTE., Előadás, Seminar presentation, Florida Institute of Technics, Melbourne, FL-USA, 2005. pp. 1-72, 2005
Horváth Z.: Bizonyítottan helyes funkcionális programkód., Előadás, Magyar Operációkutatási Társaság - ELTE Informatikai Kar, Alkalmazott Matematikai és Informatikai Szemináriuma, 2005. május 2., 2005
Horváth Z.: Funkcionális programozás nyelvi elemei., Előadás, CEEPUS vendégelőadás, Kolozsvár, Bolyai Egyetem, 2005. május 24-25., 2005
Zsók V.: Parallel functional programming., Előadás, CEEPUS vendégelőadás, Helsinki, Finnland, 23-26 May 2005., 2005
Diviánszky P.: Direct Graph Manipulation in Functional Languages., Előadás,PhD Workshop, http://aszt.inf.elte.hu/~fun_ver/, Central-European Functional Programming School, Budapest, Hungary, 4-16 July 2005., pp. 1-13 (dia), 2005
Daxkobler K: A CPPCC prototípusa., Diplomamunka és szoftver, http://aszt.inf.elte.hu/~fun_ver/, ELTE Informatika Tanszékcsoport, Budapest, 2002. pp 1-53, 2002
Kozsik T: Subtyping with Strengthening Type Invariants, Előadás, Summer School and Workshop on Generic Programming, St Anne\'s College, 2002. Oxford, UK., pp. 1-31; (dia), 2002
Diviánszky P.: Unique Identifiers in Pure Functional Languages., TFP 2006 Seventh Symposium on Trends in Functional Programming University of Nottingham, UK, 19 - 21 April,6 oldal, 2006 (elfogadva), 2006
Kozsik T.: Tutorial on Subtype Marks., http://aszt.inf.elte.hu/~fun_ver/, Central-European Functional Programming School, Eötvös Loránd University, Budapest, Hungary, 4-16 July 2005., pp. 1-29, 2005
Diviánszky P: Haskell-Clean Compiler., Tudományos diákköri dolgozat és szoftver, ELTE, Budapest, 2003. http://aszt.inf.elte.hu/~fun_ver, 2003
Horváth Z; Hernyák Z; Kozsik T; Tejfel M; Ulbert A: A Data Intensive Application on a Cluster - Parallel Elementwise Processing., P.Kacsuk,D.Kranzlmüller,Zs.Nemeth,J.Volkert(Eds.):Distributed and Parallel Systems-Cluster and Grid Computing,Proc.4th DAPSYS,Kluwer,2002 pp.46-53 (lektorált), 2002
Horváth Z és mások: Biztonságos mobil kód funkcionális környezetben. (Elosztott funkcionális programok helyessége), Előadás, Információs Magyarország Hétvége 2002, márc. 21-24, pp 1-11; (dia), 2002
Diviánszky P: Kombinátoros szintaktikai elemző a Clean nyelvhez, Tudományos diákköri dolgozat és szoftver, http://aszt.inf.elte.hu/~fun_ver/, TDK konferencia, ELTE, Budapest, 2002. december. pp 1-18, 2002
Ivicsics M: A Clean dinamikus típusrendszere, Tudományos diákköri dolgozat, http://aszt.inf.elte.hu/~fun_ver/, TDK konferencia, ELTE, Budapest, 2002. december., pp 1-39, 2002
Horváth Z: Funkcionális programozás nyelvi eszközei, Nyékyné Gaizler J. szerk. Programozási nyelvek összehasonlító elemzése; Kiskapu Kiadó, Budapest, 2003, (lektorált), pp 589-636, 2003
Zsók V: Concurrency Constructs of Functional Languages., Előadás, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, 2002, pp. 1-47; (dia), 2002
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., pp. 1118-1124, 2002
Horváth Z; Kozsik T: Safe Mobile Code (CPPCC) : Certified ProvenProperty Carrying Code, Part of Czajkowski G-Vitek J:Resource Management for Safe Languages,pp.1-14.In ECOOP\'02Workshop Reader,Lecture Notes in Comp.Sci. 2548 Springer 2003.pp.8-10(konf), 2003
Horváth Z; Kozsik T: Safe Mobile Code (CPPCC) : Certified-Proven-Property-Carrying Code, The 8th ECOOP Workshop on Mobile Object Systems; New Frontiers (Workshop #18) http://cui.unige.ch/~ecoopws, 2002, pp 1-7, 2002
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, pp 1075-1084, 2002
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, pp. 114-114, 2002
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, pp 942-946., 2002
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, pp 1085-1094., 2002
Csörnyei Z: A lambda-kalkulus, Elektronikus jegyzet, http://aszt.inf.elte.hu/~fun_ver/, 2002, pp 1-130, 2002
Csörnyei Z: A kombinátor logika, Elektronikus jegyzet, http://aszt.inf.elte.hu/~fun_ver/, 2002, 1-85, 2002
Csörnyei Z: Típuselmélet, Elektronikus jegyzet, http://aszt.inf.elte.hu/~fun_ver/, 2002 , pp 1-96, 2002
Horváth Z: Az ErlVer és a modális mu-kalkulus vizsgálata., Tanulmány, http://aszt.inf.elte.hu/~fun_ver/, 2002, 1-32, 2002
Kozsik T: Assign predicates to subtype marks - a case study, Kutatási jelentés, ELTE, Budapest, 2003, pp 1-23 TR 2003-S01 http://aszt.inf.elte.hu/~fun_ver, 2003
Csörnyei Z: Introduction to Type Theory, Előadás, Friedrich Schiller Egyetem, Jéna, December, pp 1-46 2002, http://aszt.inf.elte.hu/~fun_ver/; (dia), 2002
Tejfel M: Property specification of Sparkle and its extension possibilities., Kutatási jelentés, ELTE, Budapest, 2003, pp 1-19 TR 2003-S02 http://aszt.inf.elte.hu/~fun_ver, 2003
Bárány V: Breakable terms, Tudományos diákköri dolgozat, http://aszt.inf.elte.hu/~fun_ver/ TDK konferencia, ELTE, Budapest, 2002. december. pp 1-25, 2002
Simon J: Clean Prelude, ELTE, Budapest, 2003. január, pp 1-81 http://aszt.inf.elte.hu/~fun_ver/; (szoftver), 2002
Szabóné Nacsa R: Bevezetés a funkcionális programozásba, http://aszt.inf.elte.hu/~fun_ver/, 2002, pp 1-60; (dia), 2002
Horváth Z: Safe Functional Mobile Code: CPPCC - Certified Proved-Property-Carrying Code, Előadás, Institut für Informatik und Wirtschaftsinformatik, Universität Wien, Austria, May 8, 2002., 1-15; (dia), 2002
Horváth Z: CPPCC - Safe Functional Mobile Code, Előadás, System Software Group, Institut für Praktische Informatik, J. Kepler Universität Linz, Linz, Austria, 2002, pp. 1-15; (dia), 2002
Zsók V: Verified Mobile Code in Functional Environment., Előadás, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, 2002, pp. 1-23; (dia), 2002
Horváth Z; Zsók V; P Serrarens; R Plasmeijer: Parallel Elementwise Processable Functions in Concurrent Clean, Mathematical and Computer Modelling 38, Pergamon (2003), pp. 865-875; (lektorált), 2003
Pásztor-Varga K; Várterész M: Comparison and Usability of two Rewriting Systems for Theorem Proving, PUMA, Vol: 13; No: 1-2, 2002, pp. 293-302; (lektorált, referált:MR1700102), 2002
Horváth Z; Kozsik T; Tejfel M: Proving Invariants of Functional Programs., In Proceedings of Eights Symposium on Programming Languages and Software Tools, Kuopio, Finland, June 17-18, 2003., pp. 115-126; (lektorált), 2003
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; (lektorált), 2003
Zsók V; Horváth Z; Varga Z: Functional Programs on Clusters, In:Striegnitz,Jörg;Davis,Kei(Eds.) Proceedings of the ECOOPWorkshop on Parallel/High-Performanc Object-Oriented Scientific Computing,FZJ-ZAM-IB-2003-09 Juli2003. pp93-100, 2003
Kozsik T: Subtyping with subtype marks, Kutatási jelentés, ELTE, Budapest, 2004., TR 2004-P05, http://aszt.inf.elte.hu/~fun_ver, pp. 1-67; (lektorált), 2004
Pásztor Varga K; Várkertész M: Some Rewriting Systems as a Background of Proving Methods, Kalmár Workshop on Logic and Computer Science, Technical Report, Szeged, Hungary, October 2003, pp. 213-227., 2003
Csörnyei Z: Type Systems and the Program Verification, Proceedings of the 6th International Conference on Applied Informatics, Eger, Hungary, 2004. január 27-30. Vol I., pp.119-128 (MR referált kiadvány), 2004
Diviánszky P; Szabó-Nacsa R; Horváth Z: A Framework for Refactoring Clean Programs., Proceedings of the 6th International Conference on Applied Informatics, Eger, Hungary 2004. január 27-30. Vol I., pp. 129-136, (MR referált kiadvány), 2004
Pásztor-Varga K: Languages of Logic and Applications, Proceedings of the 6th International Conference on Applied Informatics, Eger, Hungary January 27-31 2004. Vol. I., pp. 484. (MR referált kiadvány), 2004
Kozsik T: Reasoning with Sparkle: a case study, Kutatási jelentés, ELTE, Budapest, 2004., TR 2004-P0?, http://aszt.inf.elte.hu/~fun_ver, pp. 1-45; (lektorált), 2004
Horváth Gy.: Funkcionális programok erőforrásigénye, Diplomamunka, http://aszt.inf.elte.hu/~fun_ver/, ELTE, Budapest, 2003., pp. 1-53, 2003
Ivicsics M: Szemétgyűjtő algoritmusok ismertetése, gyakorlati szemétgyűjtési feladat megoldása, Diplomamunka, http://aszt.inf.elte.hu/~fun_ver/, ELTE, Budapest, 2003., pp. 1-50, 2003
Németh-Csóka D: Haskell monadok. A monadok alkalmazási lehetőségei., Diplomamunka, http://aszt.inf.elte.hu/~fun_ver/, ELTE, Budapest, 2003., pp. 1-74, 2003
Horváth Z: Proving Properties of Components of Functional Programs., Előadás, University Innsbruck, Austria, 2003. -Informatics Colloquium, University of Klagenfurt, Austria, 2003. október 24., pp. 1-25; (dia), 2003
Horváth Z: Certified Mobile Functional Code., Előadás, Paisii Hilendarski University, Plovdiv, Bulgaria, 2003. június 17., pp 1-15; (dia), 2003
Horváth Z: Temporal Properties and Safe Mobile Code., Előadás, University of Nijmegen, The Netherlands, 2003. március 26., pp. 1-22; (dia), 2003
Horváth Z: Funkcionális programok helyessége, Előadás, Neumann-nap 2003, ELTE, Budapest, 2003. november 6., pp. 1-26; (dia), 2003
Horváth Z: Funkcionális nyelven írt mobil kódok, ezek szemantikai tulajdonságai, helyességük bizonyítása., Előadás, Szegedi Egyetem, 2003. február 26., pp. 1-17; (dia), 2003
Zsók V: Parallel Language Elements in Functional Languages, Előadás, Paisii Hilendarski University, Plovdiv, Bulgaria, 2003. június 26., pp. 1-35; (dia), 2003
Horváth Z; Zsók V; Hernyák Z: Implementing Pipeline Skeleton in Clean using CORBA Channels., 18th EuropeanConf.onObject-OrientedProgramming-ECOOP2004,Univ.Oslo,Norway,June14-18,2004.Multiparad.Progr.withObj.-Or. lang. http://www.multiparadigm.org/mpool04/ pp.1-6, 2004
Horváth Z; Kozsik T; Tejfel M: Extending the Sparkle Core language with object abstraction., CSCS 2004, The Fourth Conference of PhD Students in Computer Science Szeged, Hungary, July 1-4, 2004. Acta Cybernetica, pp. 419-445. (referált), 2004
Szabó-Nacsa R; Diviánszky P; Horváth Z: Prototype Environment for Refactoring Clean programs., CSCS 2004, The Fourth Conference of PhD Students in Computer Science Szeged, Hungary, July 1-4, 2004. Volume of extended abstracts, pp. 113-113, 2004
Zsók V; Horváth Z; Hernyák Z: Control Language for Distributed Clean., CSCS 2004, The Fourth Conference of PhD Students in Computer Science Szeged, Hungary, July 1-4 2004. Acta Cybernetica, pp. 247-271. (referált), 2004
Horváth Z; Kozsik T: A Functional Approach to Designing Parallel and Distributed Software., Proceedings of The8thWorldMulti-Conference onSystemics,Cybernetics&Informatics (SCI\'04, July18-21,2004-Orlando,Florida,USA),Vol.XIV,Comp&Inform.Systems, pp.167-172, 2004
Horváth Z; Kozsik T: Teaching of Parallel and Distributed Software Design., Hudák,S., Kollár,J. eds.:Proceedings of the 6th Internat.ScientificConference ElectronicComputers&Informatics,ECI 2004, September 22-24. 2004,Kosice-Herlany,SK,pp.151-156, 2004
Hernyák Z; Horváth Z; Zsók V: Design of Language Elements for Dynamic Distributed Computation of Clean Expressions on Clusters., Hans-Wolfgang Loidl(Eds.) Proceedings of the Fifth Symposium on Trends in Functional Programming, Ludwig-Maximilians Univ., Munich, Germany, 2004. Nov. 25-26, pp. 257-270, 2004
Vanya Á.: Gráfok Clean programokban, Tudományos diákköri dolgozat, http://aszt.inf.elte.hu/~fun_ver/, TDK konferencia, ELTE, Budapest, 2004, pp. 1-24, 2004
Mészáros M: A JoCaml nyelv, a nyelv modellje, mobil kód JoCaml-ben., Diplomamunka, http://aszt.inf.elte.hu/~fun_ver/, ELTE, Budapest, 2004, pp. 1-110, 2004
Dezső B: Dbox Environment, Nagyprogram, ELTE, Budapest, 2005., pp. 1-20, 2005
Zsók V: Parallel Functional Programming., Előadás, Erasmus guest lectures (8), Tampere University of Technology, Tampere, Finland, March 15-19, 2004, pp. 1-103; (dia), 2004
Szabó-Nacsa R; Diviánszky P; Horváth Z: Prototype Environment for Refactoring Clean Programs., Előadás, AFP 2004 5th International Summer School on Advanced Functional Programming Tartu, Estonia, 14-21 August 2004, pp. 1-21, 2004
Horváth Z: Proving Invariants for Functional Programs., Előadás, Ceepus guest lecture, University Nitra, Slovakia, 2004. március, pp. 1-27; (dia), 2004
Szabó-Nacsa R: A Framework for Refactoring Clean Programs., Előadás, Ceepus guest lecture, University Nitra, Slovakia, March 2004, pp. 1-26; (dia), 2004
Diviánszky P: Funkcionális programok átfogalmazása., Előadás, Neumann-nap 2004, ELTE, Budapest, 2004. november 4., pp. 1-13; (dia), 2004
Horváth Z: Proving Invariants of Functional Programs., Előadás, Informatik-Kolloquium, University Jena, Germany, 2004. december 13., pp. 1-45; (dia), 2004
Lövei L: Specification and Verification of Erlang Programs in EVT, Előadás, http://aszt.inf.elte.hu/~fun_ver/, HSM Workshop, Budapest, 2005, pp. 1-15; (dia), 2004
Zsók V. - Horváth Z. - Hernyák Z.: Distributed Elementwise Processing in D-Clean., TFP 2006 Seventh Symposium on Trends in Functional Programming University of Nottingham, UK, 19 - 21 April, 2006 (5 oldal, elfogadva), 2006
Horváth Z; Kozsik T; Tejfel M: Verifying Safety Properties of Abstract Functional Objects., Előadás, 5th Joint Conference on Mathematics and Computer Science, Debrecen, Hungary, June 9-12, 2004. pp. 47-47, 2004
Horváth Z; Kozsik T; Tejfel M: Verifying invariants of abstract functional objects - a case study, Proceedings of the 6th International Conference on Applied Informatics, Eger, Hungary, January 27-31 2004. Vol. I., pp. 201-210 (MR referált kiadvány), 2004
Hernyák Z; Horváth Z; Zsók V: Clean-CORBA Interface Supporting Skeletons, Proceedings of the 6th International Conference on Applied Informatics, Eger, Hungary, 2004. január 27-31., Vol I. pp.191-200, (MR referált kiadvány), 2004
Horváth Z, Zsók V.: Verification of Functional Skeletons, 5th Joint Conference on Mathematics and Computer Science, Debrecen, Hungary, June 9-12, 2004. pp. 48-48, 2004
Szabó-Nacsa R; Diviánszky P; Horváth Z: Prototype Environment for Refactoring Clean Programs., AFP 2004 5th International Summer School on Advanced Functional Programming Tartu, Estonia, 14-21 August 2004, pp. 19-23, 2004
Pásztor Varga K. - Várterész M.: Theorem Proving Methods, Implementations: An Overview., Vene, V-Meriste, M (eds): Proceedings of the 9th Symposium on Programming Languages and Software Tools (ISBN:9949-11-113-7), pp. 1-35, Tartu,Estonia 13-14 August, 2005
Horváth Z. - Tejfel M. - László I.: Petri-Hálók alkalmazása elosztott programok vizsgálatára., Informatika a felsőoktatásban'05.Debrecen,2005. augusztus 24-26. Pethő A.-Herdon M.(szerk): Informatika a felsőoktatásban 2005. (ISBN 963 472 9096), pp.183-183, CD:1-5, 2005
Hegedűs H; Horváth Z: Distributed Computing Based on Clean Dynamics, Proceedings of the 6th International Conference on Applied Informatics, Eger, Hungary, 2004. január 27-31., Vol I., pp. 181-190. (MR referált kiadvány), 2004
Horváth Z.: Funkcionális nyelven írt mobil kód, szemantikai tulajdonságai, helyességének bizonyítása., Habilitációs előadás és tézisek, Eötvös Loránd Tudományegyetem, Budapest, 2004. április 2. (bírált, lektorált, elfogadva), 2004
Tejfel M. - Horváth Z. - Kozsik T.: Defining and Proving Invariants of Clean Programs., http://aszt.inf.elte.hu/~fun_ver/, Central-European Functional Programming School, Eötvös Loránd University, Budapest, Hungary, 4-16 July 2005., pp. 1-13 (lektorált), 2005
Zsók V. - Hernyák Z. - Horváth Z.: Distributed Pattern Design in D-Clean., előadás, Vene, V-Meriste, M(eds): Proceedings of the 9th Symposium on Programming Languages and Software Tools(ISBN:9949-11-113-7), pp.220-234, Tartu,Estonia 13-14 August, 2005
Zsók V. - Hernyák Z. - Horváth Z.: Distributed Pattern Design in D-Clean., http://aszt.inf.elte.hu/~fun_ver/, Central-European Functional Programming School, Eötvös Loránd University, Budapest, Hungary, 4-16 July 2005., pp. 1-33 (lektorált), 2005
Horváth Z. - Csörnyei Z. - Lövei L. - Zsók V.: Funkcionális programozás témakörei a programtervező képzésben., Informatika a felsőoktatásban'05.Debrecen,2005. augusztus 24-26. Pethő A.-Herdon M.(szerk): Informatika a felsőoktatásban 2005. (ISBN 963 472 9096), pp.189-189, CD:1-7, 2005
Porkoláb Z. - Kozsik T. - Zsók V.: Új szoftverparadigmák nyelvi támogatása: a jelen oktatása - a holnap technológiája., Informatika a felsőoktatásban'05.Debrecen,2005. augusztus 24-26. Pethő A.-Herdon M.(szerk): Informatika a felsőoktatásban 2005. (ISBN 963 472 9096), pp.195-195, CD:1-5, 2005
Diviánszky P.: Substructural Functional Programming., 17th International Workshop on Implementation and Application of Functional Languages IFL 2005 Dublin, Ireland - 19-21 September 2005. pp. 1-32, 2005
Horváth Z. - Hernyák Z. - Zsók V.: Implementing Distributed Skeletons using D-Clean and D-Box., 17th International Workshop on Implementation and Application of Functional Languages IFL 2005 Dublin, Ireland - 19-21 September 2005. pp. 1-16, 2005
Csörnyei Z. - Kovács L. - Légrádi G.: Purely functional programming and the object-oriented inheritance., Algebraic systems (Felix-Oradea, 2001). Pure Math. Appl. 13 (2002), no. 1-2, 125--132. 68N18 (68N19) (lektorált, referált: MR1987205 ), 2002
Csörnyei Z.: Type systems, Tactics and Tacticals., 5th Joint Conference on Mathematics and Computer Science, Debrecen, Hungary, 9-12 June 2004. Volume of Abstracts, pp. 36-36, 2004
Kozsik T.: The Expressive Power of Inequalities., 5th Joint Conference on Mathematics and Computer Science, Debrecen, Hungary, 9-12 June 2004. Volume of Abstracts, pp. 55-55, 2004
Pásztor Varga K. - Várterész M.: Usability of some theorem proving systems., Fourth Joint Conference on Applied Mathematics. Pure Math. Appl. 15 (2004), no. 2-3, 273--284 (2005). 68T15 (03B35 03F20 68Q42) (lektorált, referált: MR2182012), 2005
Horváth Z. - Tejfel M.: Petri-hálók alkalmazása elosztott programok vizsgálatára., In: Iványi A. (szerk): Informatikai algoritmusok 2., ELTE, Eötvös Kiadó 2005. (ISBN: 963 463 775 2) pp. 1168-1227 (lektorált), 2005



Back »