Cel Different methodologies and new programming techniques (such as object-oriented programming and complexity evaluations) will be analysed and their common foundations examined. Each methodology is connected to well-established lines of research lines, namely programs as proofs, programs as algebraic and recursive specifications, and programs as untyped x-terms. The principal problems are in realisation and integration. The tools involved are: proof theory, lambda calculus and combinatory logic, type theory, universal algebra, horn logic.Logics, logic programming and theories of computation are viewed as different aspects of a unified theory still to be constructed, and whose relevant byproducts would be prototypes. Different methodologies and new programming techniques (such as object oriented programming and complexity evaluations) are being analysed and their common foundations examined. Each methodology is connected to well established lines of research lines, namely programs as proofs, programs as algebraic and recursive specifications, and programs as untyped x-terms. The principal problems are in realisation and integration. The tools involved are: proof theory, lambda calculus and combinatory logic, type theory, universal algebra, horn logic. Informal workshops in each of the main lines of research have been organized as have 3 general meetings. The first meeting was held in conjunction with the 'Extensions of Logic Programming'.ACTIVITIES Informal workshops in each of the main lines of research. Three general meetings: the first one to be held in 1993 in conjunction with the "Extensions of Logic Programming" Conference, the second one to be held in Marseille at the Institute de Mathematiques Discretes (1994), and the third in Rome (1995). POTENTIAL In the short term, exploitation of the research is likely to arise through the improvement of existing prototypes developed in some sites of the working group and the realisation of programming language tools (eg type checkers, reduction machines) partly supporting functional and logic programming styles. In the medium term, basic tools implementing foundational styles (eg cut eliminator, proof extractor, equation solver, game player) should be realised. In the long term, according to the main streams of common foundations for functional and logic programming, tools and environments supporting full integration of both styles of programming and possibly others should be built. Dziedzina nauki natural sciencescomputer and information sciencessoftwarenatural sciencesmathematicspure mathematicsdiscrete mathematicsmathematical logicnatural sciencesmathematicspure mathematicsalgebra Program(-y) FP3-ESPRIT 3 - Specific research and technological development programme (EEC) in the field of information technologies, 1990-1994 Temat(-y) Data not available Zaproszenie do składania wniosków Data not available System finansowania Data not available Koordynator Università degli Studi di Roma La Sapienza Wkład UE Brak danych Adres Piazzale Aldo Moro 5 00185 Roma Włochy Zobacz na mapie Koszt całkowity Brak danych Uczestnicy (8) Sortuj alfabetycznie Sortuj według wkładu UE Rozwiń wszystko Zwiń wszystko Ludwig-Maximilians-Universität München Niemcy Wkład UE Brak danych Adres Geschwister-Scholl-Platz 1 80539 München Zobacz na mapie Koszt całkowity Brak danych National Technical University of Athens Grecja Wkład UE Brak danych Adres Iroon Polytechniou Street 5 15773 Athenes Zografou/ Zobacz na mapie Koszt całkowity Brak danych SWEDISH INST. OF COMPUTER SCIENCE Szwecja Wkład UE Brak danych Adres ISAFJORDSGATAN, 22, 1263 16428 KISTA Zobacz na mapie Koszt całkowity Brak danych Swansea University Zjednoczone Królestwo Wkład UE Brak danych Adres Singleton park SA2 8PP SWANSEA Zobacz na mapie Linki Strona internetowa Opens in new window Koszt całkowity Brak danych TECHNISCHE UNIVERSITAET KAISERSLAUTERN Niemcy Wkład UE Brak danych Adres Erwin Schroedinger Strasse 46 67663 KAISERSLAUTERN Zobacz na mapie Koszt całkowity Brak danych UNIVERSITÄT TÜBINGEN Niemcy Wkład UE Brak danych Adres WILHELMSTRAßE 7 72074 TÜBINGEN Zobacz na mapie Koszt całkowity Brak danych University of St Andrews Zjednoczone Królestwo Wkład UE Brak danych Adres North Haugh KY16 9SS St Andrews Zobacz na mapie Koszt całkowity Brak danych Université de Paris XI (Université Paris-Sud) Francja Wkład UE Brak danych Adres Bâtiment 510 Centre Université d'Orsay 91405 Orsay Zobacz na mapie Koszt całkowity Brak danych
