1. ( A ) TO DESIGN CONCRETE FORMALISMS AND LANGUAGES BASED ON NON-PROCEDURAL AND NON-IMPERATIVE APPROACHES , SUCH AS FOUND IN THE FUNCTIONAL , APPLICATIVE , LOGICAL AND ALGEBRAIC PROGRAMMING STYLES .

A ) ENTWURF KONKRETER FORMALISMEN UND SPRACHEN AUF DER GRUNDLAGE NICHT VERFAHRENSORIENTIERTER UND NICHTIMPERATIVER ANSÄTZE , WIE SIE IN DEN FUNKTIONALEN , PRAKTISCHEN , LOGISCHEN UND ALGEBRAISCHEN PROGRAMMIERSTILEN ANGETROFFEN WERDEN .

2. RECENT RESEARCH IN THIS AREA SHOWS THAT NON-PROCEDURAL AND NON-IMPERATIVE LANGUAGES , SUCH AS FOUND IN FUNCTIONAL , APPLICATIVE , LOGICAL AND ALGEBRAIC PROGRAMMING STYLES CAN MAKE A CONSIDERABLE CONTRIBUTION IN THESE AREAS .

NEUERE FORSCHUNGSARBEITEN IN DIESEM BEREICH ZEIGEN , DASS NICHTVERFAHRENSORIENTIERTE UND NICHTIMPERATIVE SPRACHEN , WIE SIE IN FUNKTIONALEN , PRAKTISCHEN , LOGISCHEN UND ALGEBRAISCHEN PROGRAMMIERSTILEN ANGETROFFEN WERDEN , IN DIESEN BEREICHEN EINEN SIGNIFIKANTEN BEITRAG LEISTEN KÖNNEN .