Objective 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. Fields of science natural sciencescomputer and information sciencessoftwarenatural sciencesmathematicspure mathematicsdiscrete mathematicsmathematical logicnatural sciencesmathematicspure mathematicsalgebra Programme(s) FP3-ESPRIT 3 - Specific research and technological development programme (EEC) in the field of information technologies, 1990-1994 Topic(s) Data not available Call for proposal Data not available Funding Scheme Data not available Coordinator Università degli Studi di Roma La Sapienza EU contribution No data Address Piazzale Aldo Moro 5 00185 Roma Italy See on map Total cost No data Participants (8) Sort alphabetically Sort by EU Contribution Expand all Collapse all Ludwig-Maximilians-Universität München Germany EU contribution No data Address Geschwister-Scholl-Platz 1 80539 München See on map Total cost No data National Technical University of Athens Greece EU contribution No data Address Iroon Polytechniou Street 5 15773 Athenes Zografou/ See on map Total cost No data SWEDISH INST. OF COMPUTER SCIENCE Sweden EU contribution No data Address ISAFJORDSGATAN, 22, 1263 16428 KISTA See on map Total cost No data Swansea University United Kingdom EU contribution No data Address Singleton park SA2 8PP SWANSEA See on map Links Website Opens in new window Total cost No data TECHNISCHE UNIVERSITAET KAISERSLAUTERN Germany EU contribution No data Address Erwin Schroedinger Strasse 46 67663 KAISERSLAUTERN See on map Total cost No data UNIVERSITÄT TÜBINGEN Germany EU contribution No data Address WILHELMSTRAßE 7 72074 TÜBINGEN See on map Total cost No data University of St Andrews United Kingdom EU contribution No data Address North Haugh KY16 9SS St Andrews See on map Total cost No data Université de Paris XI (Université Paris-Sud) France EU contribution No data Address Bâtiment 510 Centre Université d'Orsay 91405 Orsay See on map Total cost No data