Was ist Informatik Raimond Reichert Was ist

Was ist Informatik? Raimond Reichert

Was ist Informatik? Hardware: wie funktioniert ein Computer? Software: public void init() { //Get the images. Image[] images = new Image[10]; for (int i = 1; i <= 10; i++) { images[i-1] = get. Image(get. Code. Base(), "images/T"+i+". gif"); } build. UI(get. Content. Pane(), images); start. Animation(); } wie programmiere ich Java? Betriebssystem: wie funktioniert z. B Mac OS X? Theorie: wie kann etwas berechnet werden?

Was ist Informatik? Woher soll ich das wissen? ! vortrag „was ist informatik? “

The unusual suspect! oder: das Gute liegt so nah. . . „[. . . ] Gedanken zum Fundament des Informatikturms“ Informatik Jürg Nievergelt, ETH Zürich, 1995 Informatiker lieben es, komplexe Gebilde in Schichten zu zerlegen. . .

Informatik scheibchenweise: der Informatik-Turm! System-Realisierung Algorithmik Theorie $$$$$ langlebig Anwendungen

Anwendungen System-Realisierung Algorithmik Theorie

Anwendungen: das „Gesicht“ der Informatik!

Anwendungen: das „Gesicht“ der Informatik!

Und überhaupt: wer kann da noch mithalten?

Hier ist man vollends aufgeschmissen

Anwendungen: was tun Informatiker hier? $$ Marketing & Verkauf Installation und Betrieb Wie mache ich den Leuten Windows n+1 schmackhaft? Oder warum Sie unbedingt Windows XP brauchen! Wie richte ich ein lokales Netzwerk ein? Wie setze ich Backup-Lösung für Grossunternehmen ein?

Anwendungen System-Realisierung Algorithmik Theorie

System-Realisierung: Achtung, Baustelle! Hier wird programmiert! • Projektarbeit, Teamarbeit • Viele Vorgehens-Methoden, Management-Ansätze, die alle relativ kurzlebig sind • Hauptproblem: Komplexität!

Informatik als Ingenieur-Tätigkeit: noch jung. . . • Normale Software hat 25 Fehler pro 1000 Programmzeilen. • Gute Software hat 2 Fehler pro 1000 Zeilen. • Space Shuttle Software hat weniger als einen Fehler pro 1000 Zeilen. Anzahl Programmzeilen: • Handy: 200 000 Zeilen Programm bis zu 5000 Fehler • Windows-95 10 Millionen Zeilen Programm und geschätzte 200 000 Fehler

Realisieren Sie ein Möbelverkaufssystem! Wie einen Tisch modellieren? 1. Anlauf: . . . und das Problem. . . Material ? Farbe ?

Gar nicht so einfach! Wie einen Tisch modellieren? 2. Anlauf: . . . und das Problem. . .

Tja, und da helfen Grundlagenkenntnisse! Wie einen Tisch modellieren – das IKEA-Prinzip Skendia * Osrön 2 tel 3, 4 * Taiel 2 sruba met 3, 5. * At laskjer sveroed IKEA

System-Realisierung: was tun Informatiker hier? Programmieren, Projekte leiten, managen, beraten. . . Standardsoftware „Spezialanfertigungen“ Einige grosse, internationale Firmen dominant Typische Projektarbeit in kleinen, mittleren und grossen Unternehmen

System-Realisierung: Programmiersprachen • 2. PAK 20 -GATE 3 -LISP 473 L Query 9 PAC *LISP *MOD A# A+ A 0 or A-0 AACC AADL ABC ALGOL ABCL/1 ABCL/c+ ABCL/R 2 Abel ABLE ABSET ABSYS 1 Accent Access ACL ACOM ACOS ACP ACT++ ACT ONE Act 1 Act 2 Act 3 Actalk Active Language I Actors Actra Actus Ada-83 Ada 9 X Ada++ • • • 2. PAK 20 -GATE 3 -LISP 473 L Query 9 PAC *LISP *MOD A# A+ A 0 or A -0 AACC AADL ABC ALGOL ABCL/1 ABCL/c+ ABCL/R 2 Abel ABLE ABSET ABSYS 1 Accent Access ACL ACOM ACOS ACP ACT++ ACT ONE Act 1 Act 2 Act 3 Actalk Active Language I Actors Actra Actus Ada-83 Ada 9 X Ada++ Ada' ADAM Ada-O Adaplex ADAPT Ada. Tran ADELE ADES ADL Ad. Log ADM ADS ADVSYS AE AED Aeolus AESOP AFAC AGORA AHDL AHPL AIDA AIMACO AGP-L AKCL AKL AL ALADIN ALAM A-language ALC Alcool-90 ALCOR Aldat ALDES ALDi. SP ALEC ALEF ALEPH Alexis ALF Alfl ALGEBRAIC ALGOL 58 ALGOL 60 Modified ALGOL 60 Revised ALGOL 68 -R ALGOL 68 Revised ALGOL 68 C ALGOL 68 RS ALGOL 68 S ALGOL C ALGOL D ALGOL N ALGOL W ALGOL X ALGOL Y ALGY ALIAS ALJABR ALLOY ALM ALPAK ALPHA Alphard ALPS ALTAC ALTRAN Amber AMBIT/G AMBIT/L AMBIT/S AMBUSH AML/E AMPLE AMPPLII AMTRAN ANCP ANDF Andorra-I Andorra-Prolog Animus Anna ANTLR APAL APAREL APDL APESE APL 2 APLGOL APPLE Apple. Script Applesoft BASIC APPLOG APT APX III AQL ARCHI Arctic ARES Ariel Argus Ariel ARITH-MATIC ARTSPEAK ASDIMPL ASDL ASF Ashmedai ASIS ASF ASL ASM ASN. 1 ASP ASpec. T 2. PAK 20 -GATE 3 -LISP 473 L Query 9 PAC *LISP *MOD A# A+ A 0 or A-0 AACC AADL ABC ALGOL ABCL/1 ABCL/c+ ABCL/R 2 Abel ABLE ABSET ABSYS 1 Accent Access ACL ACOM ACOS ACP ACT++ ACT ONE Act 1 Act 2 Act 3 Actalk Active Language I Actors Actra Actus Ada-83 Ada 9 X Ada++ Ada' ADAM Ada-O Adaplex ADAPT Ada. Tran ADELE ADES ADL Ad. Log ADM ADS ADVSYS AE AED Aeolus AESOP AFAC AGORA AHDL AHPL AIDA AIMACO AGP-L AKCL AKL AL ALADIN ALAM A-language ALC Alcool-90 ALCOR Aldat ALDES ALDi. SP ALEC ALEF ALEPH Alexis ALF Alfl ALGEBRAIC ALGOL 58 ALGOL 60 Modified ALGOL 60 Revised ALGOL 68 -R ALGOL 68 Revised ALGOL 68 C ALGOL 68 RS ALGOL 68 S ALGOL C ALGOL D ALGOL N ALGOL W ALGOL X ALGOL Y ALGY ALIAS ALJABR ALLOY ALM ALPAK ALPHA Alphard ALPS ALTAC ALTRAN Amber AMBIT/G AMBIT/L AMBIT/S AMBUSH AML/E AMPLE AMPPL-II AMTRAN ANCP ANDF Andorra-I Andorra-Prolog Animus Anna ANTLR APAL APAREL APDL APESE APL 2 APLGOL APPLE Apple. Script Applesoft BASIC APPLOG APT APX III AQL ARCHI Arctic ARES Ariel Argus Ariel ARITH-MATIC ARTSPEAK ASDIMPL ASDL ASF Ashmedai ASIS ASF ASL ASM ASN. 1 ASP ASpec. T ASPOL ASPEN ASPIK Aspirin ASPLE ASSEMBLY ASTAP Astral AT-3 ATLAS Atlas Autocode Atlas Commercial Language ATOLL A'UM Aurora Autocode AUTOGRAF AUTOGRP Autolisp AUTOMATH Autopass AUTO-PROMPT Autostat AVA Avalon/C++ Avalon/Common LISP Avon AXIOM AXIS AXLE AWK B B-0 Babbage BABEL BABYLON BACAIC BALGOL BALITAC BALM BAP Baroque BASCMP bash BASIC AUTOCODER Basic COBOL Basic FORTRAN Basic JOVIAL bawk bc BC NELIAC BCL BCPL BDL Be. BOP BEGL BELL BER Bertrand BETA BIOR BLAZE 2 Blazon B-LINE BLISS Bloo. P Blosim BLOX Blue BMASF BMDP BMF BNR Pascal BNR Prolog Bob BOEING Booster BOPL BOSS Boxer BRAVE BRIDGE Bridgetalk Brilliant BRUIN bs BSL BUGSYS Burge's Language Butterfly Common LISP Butterfly Scheme byacc C C* C++Linda C+@ C-10 C with Classes CADET CAFE CAGE CAJOLE CAL Caliban Calico CAMAL Camelot Library CAMIL CAML Light Candle Cantor CASE SOAP III CATO C/ATLAS CAYLEY CBASIC cc CC++ CCalc CCLU CCP CCSP CDIF CDL Cecil Cedar CEEMAC+ CELIP CELLAS CELLSIM CELP CESSL CFD CFP CGGL CGOL CHAMIL CHARITY CHARM++ Charme CHARYBDIS CHASM CHILI CHILL CHIP-48 CHIP-8 CHISEL CHOCS CIAL CIEL CIF Cigale CIL CIMS PL/I CIP-L CIRCAL CITRAN CL CLAM Clarion CLASP Classic-Ada Clean CLEAR CLEO C-Linda CLIP Clipper CLIPS CLISP CLIX Clock CLOS CLP(R) CLP* CLP(sigma*) CLU Cluster 86 CMAY CML Cmm CMS-2 COALA COBOL-1961 Extended Co. A Cocol Code 2. 0 CODIL COFF COGENT COGO Coherent Parallel C COIF COLASL COLD-K COLINGO COMAL COMIT II Comma COMMEN Commercial Translator Common LISP Common. Loops Common Objects Compact COBOL Compas Pascal COMPASS Compel Compiler-Compiler COMPL COMPREHENSIVE COMPROSL Computer Animation Movie Language Computer Compiler Computer Design Language COMSL COMTRAN Con. C Concert/C CONCUR Concurrent Aggregates (CA) Concurrent C++ Concurrent Clean Concurrent CLU Concurrent Euclid Concurrent LISP Concurent Oberon Concurrent Pascal Concurrent Prolog Concurrent Scheme Concurrent. Smalltalk condela CONIC Connection Machine LISP CONNIVER Constraint. Lisp CONSTRAINTS Consul CONVERT coo. C COOL CORAL CORBIE CORC Coroutine Pascal CORREGATE Correlatives and Conversions CORTL Coursewriter III COWSEL CP CPara. Ops 5 CPL CPS C-Refine CRISP CRL CROSSTABS Crystal CS-4 CS-Prolog C-Scheme csh CSL CSMP CSP/80 CS/PCode CSP/k CSP-S CSPS CS/QCode CSS/II CSSA CSSL CSTools CTL Cube CUCH Culler-Fried System CUPID Cu. Pit CUPL CWIC CYBIL CYCL Cypher. Text D DACAPO DACTL DAD Daisy DAISY 201 DAP-16 DAP Fortran DAPLEX DARE Darms Dartmouth BASIC DASL Data/BASIC DATABUS DATACODE I Dataparallel-C Data Parallel Haskell Data Structures Language DATA-TEXT Data. Vis d. BASE DBC d. BFAST DBPL d. BXL dc DCALGOL DCDL DCG DCL DDM DEACON Delirium Delta-Prolog 2. PAK 20 -GATE 3 -LISP 473 L Query 9 PAC *LISP *MOD A# A+ A 0 or A-0 AACC AADL ABC ALGOL ABCL/1 ABCL/c+ ABCL/R 2 Abel ABLE ABSET ABSYS 1 Accent Access ACL ACOM ACOS ACP ACT++ ACT ONE Act 1 Act 2 Act 3 Actalk Active Language I Actors Actra Actus Ada-83 Ada 9 X Ada++ Ada' ADAM Ada-O Adaplex ADAPT Ada. Tran ADELE ADES ADL Ad. Log ADM ADS ADVSYS AE AED Aeolus AESOP AFAC AGORA AHDL AHPL AIDA AIMACO AGP-L AKCL AKL AL ALADIN ALAM A-language ALC Alcool-90 ALCOR Aldat ALDES ALDi. SP ALEC ALEF ALEPH Alexis ALF Alfl ALGEBRAIC ALGOL 58 ALGOL 60 Modified ALGOL 60 Revised ALGOL 68 -R ALGOL 68 Revised ALGOL 68 C ALGOL 68 RS ALGOL 68 S ALGOL C ALGOL D ALGOL N ALGOL W ALGOL X ALGOL Y ALGY ALIAS ALJABR ALLOY ALM ALPAK ALPHA Alphard ALPS ALTAC ALTRAN Amber AMBIT/G AMBIT/L AMBIT/S AMBUSH AML/E AMPLE AMPPL-II AMTRAN ANCP ANDF Andorra-I Andorra-Prolog Animus Anna ANTLR APAL APAREL APDL APESE APL 2 APLGOL APPLE Apple. Script Applesoft BASIC APPLOG APT APX III AQL ARCHI Arctic ARES Ariel Argus Ariel ARITHMATIC ARTSPEAK ASDIMPL ASDL ASF Ashmedai ASIS ASF ASL ASM ASN. 1 ASP ASpec. T ASPOL ASPEN ASPIK Aspirin ASPLE ASSEMBLY ASTAP Astral AT-3 ATLAS Atlas Autocode Atlas Commercial Language ATOLL A'UM Aurora Autocode AUTOGRAF AUTOGRP Autolisp AUTOMATH Autopass AUTO-PROMPT Autostat AVA Avalon/C++ Avalon/Common LISP Avon AXIOM AXIS AXLE AWK B B-0 Babbage BABEL BABYLON BACAIC BALGOL BALITAC BALM BAP Baroque BASCMP bash BASIC AUTOCODER Basic COBOL Basic FORTRAN Basic JOVIAL bawk bc BC NELIAC BCL BCPL BDL Be. BOP BEGL BELL BER Bertrand BETA BIOR BLAZE 2 Blazon B-LINE BLISS Bloo. P Blosim BLOX Blue BMASF BMDP BMF BNR Pascal BNR Prolog Bob BOEING Booster BOPL BOSS Boxer BRAVE BRIDGE Bridgetalk Brilliant BRUIN bs BSL BUGSYS Burge's Language Butterfly Common LISP Butterfly Scheme byacc C C* C++Linda C+@ C-10 C with Classes CADET CAFE CAGE CAJOLE CAL Caliban Calico CAMAL Camelot Library CAMIL CAML Light Candle Cantor CASE SOAP III CATO C/ATLAS CAYLEY CBASIC cc CC++ CCalc CCLU CCP CCSP CDIF CDL Cecil Cedar CEEMAC+ CELIP CELLAS CELLSIM CELP CESSL CFD CFP CGGL CGOL CHAMIL CHARITY CHARM++ Charme CHARYBDIS CHASM CHILI CHILL CHIP-48 CHIP-8 CHISEL CHOCS CIAL CIEL CIF Cigale CIL CIMS PL/I CIP-L CIRCAL CITRAN CL CLAM Clarion CLASP Classic-Ada Clean CLEAR CLEO C-Linda CLIP Clipper CLIPS CLISP CLIX Clock CLOS CLP(R) CLP* CLP(sigma*) CLU Cluster 86 CMAY CML Cmm CMS-2 COALA COBOL-1961 Extended Co. A Cocol Code 2. 0 CODIL COFF COGENT COGO Coherent Parallel C COIF COLASL COLD-K COLINGO COMAL COMIT II Comma COMMEN Commercial Translator Common LISPCommon. Loops Common Objects Compact COBOL Compas Pascal COMPASS Compel Compiler-Compiler COMPL COMPREHENSIVE COMPROSL Computer Animation Movie Language Computer Compiler Computer Design Language COMSL COMTRANCon. C Concert/C CONCUR Concurrent Aggregates (CA) Concurrent C++ Concurrent Clean Concurrent CLU Concurrent Euclid Concurrent LISPConcurent Oberon Concurrent Pascal Concurrent Prolog Concurrent Scheme Concurrent. Smalltalk condela CONIC Connection Machine LISP CONNIVER Constraint. Lisp CONSTRAINTS Consul CONVERT coo. C COOL CORAL CORBIE CORC Coroutine Pascal CORREGATE Correlatives and Conversions CORTL Coursewriter III COWSEL CP CPara. Ops 5 CPL CPS C-Refine CRISP CRL CROSSTABS Crystal CS-4 CSProlog C-Scheme csh CSL CSMP CSP/80 CS/PCode CSP/k CSP-S CSPS CS/QCode CSS/II CSSA CSSL CSTools CTL Cube CUCH Culler-Fried System CUPID Cu. Pit CUPL CWIC CYBIL CYCL Cypher. Text D DACAPO DACTL DAD Daisy DAISY 201 DAP-16 DAP Fortran DAPLEX DARE Darms Dartmouth BASIC DASL Data/BASIC DATABUS DATACODE I Dataparallel-C Data Parallel Haskell Data Structures Language DATA-TEXT Data. Vis d. BASE DBC d. BFAST DBPL d. BXL dc DCALGOL DCDL DCG DCL DDM DEACON Delirium Delta-Prolog DEMON Design System language DETAB DETOL Deva DEX DFC DG/L DIALECT DIALOG DIAMAG Diamond DIANA DIBOL Dictionary APL Dijkstra's guarded command language DIMATE Dinner. Bell DINO Disiple Dislang Distributed Eiffel Distributed Processes Distributed Smalltalk DL/1 DLG DLP DLX DMAD DMALGOL DML Doc DOCUS Do. D-1 DOUGLAS DOL DOVPA DOW COMPILER DOWL d-Prolog DPL-82 DPS dp. Sather draco DRAGON DRAGOON DROOL DRUCO I DSL DSM DSP/C DSP 32 Assembly Language DSPL DTALGOL DUAL-607 Dual FCP Duo. Talk Durra DYANA Dylan Dynace DYNAMO DYSAC DYSTAL E Eagle Ease EASE II EASIAC EASY FOX EBASIC EBNF ECAP II Echidna ECL ECMA ECP ECRC-Prolog ECSL ECSP ECSS II ECSSL Eden EDIF Edinburgh Prolog Edison EDL EFL Eh Eiffel 3 EL 1 el(alpha) Elan ELF ELISP Elk ELLA 2000 Ellie ELLIS ELMAGUIDE ELMAMETA ELP ELSIE EM-1 EMACS LISP Emerald EML EMPL English EOL EPILOG EPL EPROS EPSILON EPSIMONE Eq. L EQLog Eqn Equel Erlang ERFPI es ES-1 ESCAPE ESI esim ESPOL Estelle Esterel ET ET++ ETC ETHER Euclid EULER Eu. Lisp Euphoria Eurisko Eva EXAPT EXEC 2 expect Express Extended ALGOL Extended C++ Extended ML Extended Pascal EXTRA EZ FAC Facile FACT FAD FAIR FALSE FAP FASBOL FASE FAST FC F-code FCP Feel FEL FFP FGHC FGL+LV FGRAAL FIDIL FIDO Fifth File Composition F+L FL FLAIR FLAP Flavors Fleng FLEX Flex 2 FLIC FLIP-SPUR F-Logic FLOP Floo. P FLOW-MATIC or FLOWMATIC FLPL FLUB FMPL FOCAL FOCUS FOIL foogol FOOL FOOP FORC Force The Force. One Force. Two FORMAC FORMAL FORMAT-FORTRAN Formes FORML Formula ALGOL Fornax Forsythe FORTH FORTRAN III FORTRAN IV FORTRAN VI FORTRAN 66 FORTRAN 77 Fortran 90 Fortran D Fortran-Linda Fortran M FORTRAN-Plus FORTRANSIT FORTRUNCIBLE FOSIL Fox. BASE+Fox. PRO FP FP 2 FP/M FQL Frame. Kit FRANK Franz Lisp FRED Fresco Fresh FRINGE FRL FRMT-FTRN FSL FSMDL Fugue Fun FUNLOG FX-87 FX-90 G Gabriel GADS Gaelic Galaxy Galileo Gambit GAMMA GAN GAPLog Gargoyle GARP GASP GATE Gauss Gawk GCL G-Code GDPL GEA GECOM Gedanken GEL General Purpose Graphic Language Gentleman's Portable Coroutine System GEORGE GEPURS Gerald GEST GHC Gia-2 GIM-1 GIN 5 Ginger GIP GIRL GKS GL Glammar GLASS Glenda Glish Glisp GLOS GLOW Glypnir GMAP GMPL Goedel Gofer GOL GOM GOOD GOSPL GP GPL GPM GPSS GPX GRAAL GRAF GRAIL GRAIN GRAM Grapes Graphic ALGOL Graphic Language GRAPPLE GRASP/Ada Green GRG GRIND Groff GSBL GSPL GTML GVL GW-BASIC Gypsy GYVE HAL/S HALGOL HALMAT Haskell HASL HCLP HCPRVR HDFL HDM HELP HEQS HERAKLIT Hermes HIBOL High Performance Fortran Hi. Log HINT HLISP HLL HOL Honeywell-800 Business Compiler HOOK Hope+C HOS-STPL HPcode HPCode-Plus HPF HP-GL/2 HPL HSL-FX HTML+ HUGO Hybrid Hyper-C Hyperscript Hyper. Talk Hy. Time IAL IAM IBEX ICES ICETRAN ICI Iconicode IC-Prolog IC Prolog ][ Id IDAMS IDEAL IDMS Id Nouveau IDOL IDS/I IF 1 IF 2 IFIP IFX IGL IIS IITRAN ILIAD ILLIAC ILOC IMP Ina Jo Info BASIC INFORM Information Algebra Inglish Innov. Ada Input INSIGHT INTCODE INTELLECT INTERACTIVE INTERCAL INTERCOM Interlisp Intermediate Programming Language Interpress Iota IPL IPS IQ IRDATA IRL Ironman Isabelle-92 ISBL ISETL ISIS ISLisp ISPL ISPS ISWIM IT Ivan Iverson's Language IVTRAN J J 3 J 73 JACAL Jade Java Ja. M Janus JAZ JCL JCS-13 JEAN JOSS Jossle JOVIAL Joyce JPLDIS JS JTS Juno Jym K 5 Kaleidoscope Kali KAP Karel KBMS KCL Kcode KEE Kernel Parlog Kevo KFX Kid KISS KL 0 KL 1 Klerer-May System KL-ONE KLS KMODEL KOMPILER KRC KRL KRS KRYPTON ksh L 0 L 6 Lace LADE LADY Lakota LAMBDA lambda-Prolog LAMINA Language H Laning and Zierler LAP 4 LAPSE Larch/Ada Larch/CLU La. Te. X LAURE LAVA LAX LCC LCL LCS LDL 1 LDT LE/1 LEAF Lean LEAP LECOM Leda Le. Fun Legion LEGOL Le-Lisp Leo Lex LG LGDF LGEN LGN Liana LIDO Li. E LIFE Lila LIMDEP LIMP Lincoln Reckoner Linda. LISP Lingo LINGOL LIPL LISA LISP 2 LISP 70 LISP A Lispkit Lisp-Linda LISP Machine LISP Lisptalk LITHE LITTLE Little Smalltalk LLM 3 LML LNF L&O LO {log} Log. C Logic Design Language LOGIN LOGLAN LOGLISP LOGOL LOLITA Lolli LOM LOOKS LOOPN LOOPS LOP Lore LOTIS LOTOS Lout Low-Ada LOWL LPC LPG LPL LPS LRLTRAN LSL LSYD LT-2 LTR 3 Lua LUCID Lucinda Lucy LUKKO LUSTRE LYa. PAS LYNX LYRIC M M 3 M 4 M 5 M 6 MAC Mac-1 MAC-360 Macaulay MACE Machiavelli MACL Mac. Lisp MACRO Macro SAP MACSYMA MAD Mad/1 MADCAP MADTRAN MAGIC Magic Paper Magma 2 Magma. LISP MAGNUM Magritte MAINSAIL Maisie Make MALPAS IL Manchester Autocode Mandala MAO MAP Maple MARBLE Maril Markov Marseille Prolog MARSYAS MARVIN Mary MASM Massey Hope Matchmaker Mathcad Mathematica MATHLAB MATH-MATIC or MATHMATIC Matrix Compiler MATRIX MATH mawk MAXIMOP MBASIC MC Mc. G 360 MCL M-Code MCS MDL me too MELD Meld. C Melinda Mentat MENTOR MENYMA/S Mercury Autocode MEROON Mesa META 5 Meta-II Meta-IV Meta-Crystal METAFONT METAL Meta-Vlisp Met-English METEOR Methods MHDL Mic-1, Mic-2 micro. APL micro. PLANNER micro. TAL MIDAS MIDL MIIS MIKE MILITRAN MIMIC MIMOLA Mini-ML Mini PL/I MINITAB II MINT Miracula Miranda MIRFAC MISHAP MITILAC MIXAL MJS ML ML-2000 MLAB ML/I MLISP ML-Linda ML Threads Mma MML MOBSSL-UAF Mock Lisp MODCAL Mode MODEF MODEL MODSIM II Modula-2* Modula-2+ Modula-3* Modula-3 pi Modula-P Modula. Prolog Modula/R Modular C Modular Prolog Modulex Mona Moo. Z MOPS MORAL MORTRAN Mouse Moxie MP-1 MPGL MPL II MPPL M-Prolog MPS III MPSX MRS MSG. 84 MUCAL Muddle mu. FP Mul-T multi. C Multi. Lisp Multi-Pascal Multi. Scheme MUMPS MU-Prolog Mu. Simp Muse Music MUSL MYSTIC NASTRAN Napier NAPLPS NAPSS NASTRAN NATURAL Natural English Nawk NB NDL Nebula NELIAC Neon NERECO NESL NETL New Flavors NEWP News. Clip Newspeak Newsqueak Newton Nexpert Object NFQL NGL NIAL NICOL I NIKL NIL NJCL n. ML NODAL Noddy NOMAD Nonpareil NORC COMPILER NORD PL Nother NPL NPPL N-Prolog Nqthm Nroff NUCLEOL Nuprl NU-Prolog NYAP NYU OMNIFAX O 2 Oaklisp OBE Oberon-2 Oberon-V OBJ 2 OBJ 3 Object CHILL Object Lisp Object. LOGO Object Oberon Object-CHILL Object-COBOL Object-Oriented Turing Object. PAL Object Pascal Object-Z Objective C Objlog Obj. Vlisp Obj. VProlog Obliq Oblog OBSCURE Oc OCAL occam 2 occam 3 OCL OCODE Octave odl OIL OISC OLDAS OLGA Omega OMNICODE OMNIFAX OMNITAB Ondine Ontic OO-CHILL OOF OOPS OOT OOZE OPAL-0 OPAL O-plan OPS 5 OPTRAN Orca OREGANO Orient 84/K ORTHOCARTAN Orwell OSCAR O'small OSQL OSSL Ottawa Euclid OWHY OWL Ox Oz P+ P 4 PABC PACT I PACTOLUS Paddle PAF PAGE Pai. Lisp PAISley PAL Pam Pandora PANON Paragon Paralation LISP Paralation C Par. Alfl Parallaxis Parallel C Parallel FORTH Parallel Pascal Parallel SML Parasol Paris Parlance Parlog++ PARMACS Par. Mod PARSEC Parsley PARTS PARULEL Pascal++ Pascal-2 Pascal-80 Pascal+CSP Pascal-FC Pascal/L Pascal-Linda Pascal-m Pascal-P Pascal Plus Pascal/R Pascal-SC Pasqual PASSIM PASRO PAT Path Pascal PC p. C++ PCLIPS PCN P-code PC-TILES PDELAN PDIL PDL 2 PDS/Ma. Gen PEARL Pebbleman PECOS PEEL PEF PENCIL Pepper PEPsy Perl PFL Pfortran p. H PHOCUS PIC Pick BASIC PICL Pictorial Janus pidgen+ PIE PIL/I PILE PILOT PINBOL PIRL PIT PL-11 PL 360 PL 516 PL-6 PL. 8 Pla PLACE PLAGO PLAIN PLAN Planet PLANIT Plankalkul PLANNER PLANS PLASMA Plasyd Platon PLAY Playground PL/C PL/I SUBSET PL/I Subset G PL/I-FORMAC Plisp PLITS PL/MP PL/PROPHET PL/Seq PLZ/ASM PLUM Plural Eu. Lisp PLUSS PLZ PM PML PNU-Prolog POCAL POFAC POGO Polka Poly POLYGOTH Ponder POOL 2 POOL-I POOL-T POP-1 POP-2 POP-10 Pop-11 POP-9 X POP++ POPCORN Poplar POPLER POPLOG Pop. Talk Portable Standard Lisp PORTAL Port Language POSE POSTQUEL Post. Script POSYBL Power. Fu. L PPLambda P-Prolog PRA pre-cc PREP PRESTO PRINT I PRISM PRL Probe PROCOL PROFILE PROGENY Prograph PROGRES PROJECT Prolog-2 Prolog-III Prolog++ Prolog-D-Linda Prolog-Linda PROMAL PROMELA Pronet PROOF/L Proposal Writing PROSE Pro. Set PROSPER Pro. Talk PROTEUS Protosynthex PS 440 PS-ALGOL p. Sather PSETL PSML P-TAC PUB PUFFT PUMPKIN PVM Python Q QA 4 QBE Qlambda QLISP QLOG Q'NIAL QPE Q-systems Quake QUEASY QUEL Quest QUICK Quicksilver QUIKSCRIPT QUIKTRAN QUIN Quintec-Objects Quty QX Raddle RAIL RAISE RAL RAMIS II Rapidwrite RAPT RASP RATEL RATFIV RATFOR RAWOOP-SNAP R: BASE RBASIC RBCSP rc RCC RCL RDL Real-Time Euclid Real-Time Mentat Real-Time Pascal REC Recital RECOL Red REDCODE Redi. Lisp REDUCE Refal REF-ARF Refined C (RC) Refined Fortran (RF) REG-SYMBOLIC REGTRAL Relational Language RELATIVE RELCODE REL English Render. Man Shading Language RENDEZVOUS REPL Required-COBOL Retrieve Revised ALGOL 60 REXX Rez RIGAL Rigel RIPscrip RLL RMAG ROADS ROBEX Robotalk Roff ROME Rossette RPG RPL-1 RPL RPT RSL RTC++ RT-CDL RTL/1 RTL/2 Ruby RUFL RUNCIBLE RUNOFF RUSH Russell RUTH S S* S*A S*M S 3 SAAL SAC-1 SAC 2 SAD SAM SAFARI Safe Ada SAIL SAINT SALEM S-Algol SALT SAM 76 SAMe. DL Sandman SAP SARG SASL+LV SASL-YACC Sather-K SCALLOP SCAN SCEPTRE Scheme-Linda School Schoonschip SCL Scode SCOOPS SCRAP Scratchpad I Screamer Screenwrite Scribe SCRIPT Script. X SCROLL scsh SDF SDL 92 SDMS SEAL Sed SEESAW SEL Self SEM Seneca SEPIA Sequel SESL SETL 2 SETL/E SETS SEUS SEXI SFD-ALGOL SFLV SGML sh SHACO SHADOW Sharp APL SHEEP SHELL Short Code or SHORTCODE Show-And-Tell SICStus Prolog SIFT Sig SIGLA SIGNAL SIL Silage SIMAN SIMCMP SIML/I Simone SIMPAC SIMPAS SIMPLE SIMPL/I SIMPL-T SIMSCRIPT SIMULA I SIMULA 67 SIMULA - Current version of SIMULA 67. Used as the introductory programming language at Lund Inst Tech, Sweden and U Bergen, Norway. "Object. Oriented Programming with SIMULA", Bjorn Kirkerud, A-W 1989. "Data Processing - Programming Languages Simulating Digital Systems SINA SIPLAN Siprol SIR Siri SISAL 90 Sketchpad Skim SKOL SL 5 SLAM SLANG S-Lang SLIM SLIPS SLLIC Sloop SMALGOL SMALL Small-C Smalltalk-80 Smalltalk. Agents Smalltalk DB Smalltalk/V Small. VDM Small. World SMART SMIL SML# SML/NJ SMo. LCS SMP SNAP SNOBOL 2 SNOBOL 3 SNOBOL 4 SITBOL SNOOPS SO 2 SOAP SOAR SOCRATIC SODAS SOHIO SOLO Solve SP SPADE SPARKS Speakeasy Spec SPECIAL SPECOL SPEED Speedcoding 3 SPEEDEX SP/k SPG SPITBOL SPL/I SPLINTER Split-C SPLX SPM Spool SPRING SPRINT SPSS SPUR Squiggol SQL Module Language Square Squeak SR SRC Modula-3 SRDL Srl SSL STAB-11 STAC STAGE 2 Standard Lisp Standard ML STAR 0 Star. LISP Star. MOD Starset Statemate Steelman STENSOR Sticks&Stones STIL STING STOIC Stoneman STP 4 Strand Strawman STREAM STRESS STROBES STRUDL STRUM 2 STSC APL STUDENT Student PL/I STUDIO Successo. R Sue SUGAR SUIF SUILVEN SUMMER SESSION SUPERMAC Super Pascal Super. Talk Sure SURGE Sweet. Lambda SYDEL SYGMA Sylvan SYMBAL Symb. Math SYMBOLANG SYMBOLIC ASSEMBLY Symbolic Mathematical Laboratory Symmetric LISP SYMPL SYN Synchronous C++ SYSLISP T TABLET TABSOL TACL TACPOL TALE TALL TAO TARTAN TASM TASS TAWK Taxis TBIL Tbl Tcode TCOL. Ada tcsh Tcsim TDFL TECO TELCOMP Telescript Telon TELOS TELSIM Temp. Log TEMPO Tempura Ten 15 TERMAC Terse Te. X TFDL TGS-II THEO Theseus Thing. Lab Tinman tinman+ TINT Tiny TIPL TK!Solver TL 0 TL 1 TL/I TMDL TMG TOK Toronto Euclid TPL TPS TPU TRAC Trafola-H Traits TRANDIR TRANQUIL TRANS-USE TRANSCODE TRANSIT TRANSLANG TREETRAN Trellis TRIGMAN Trilogy TRIX Troff TROLL True BASIC TS Tsim TSL-1 Tui Tuki TUPLE Tuple Space Smalltalk Turbo Pascal Turbo Prolog Turing Plus Turingol TUTOR Twentel TWIG TXL TYPOL UAN UBASIC u. C++ UCSD Pascal U-Code UDL/I UHELP UGLIAC UHELP UIL ULP u. ML UNBASIC UNCOL UNICODE UNIFORM UNIQUE UNISAP UNITY Uranus USE USL USSA utility-coder UTOPIST V VAL Valid VCODE VDM++ VDM-SL Vector C VECTRAN

System-Realisierung: Programmiersprachen • 2. PAK 20 -GATE 3 -LISP 473 L Query 9 PAC *LISP *MOD A# A+ A 0 or A-0 AACC AADL ABC ALGOL ABCL/1 ABCL/c+ ABCL/R 2 Abel ABLE ABSET ABSYS 1 Accent Access ACL ACOM ACOS ACP ACT++ ACT ONE Act 1 Act 2 Act 3 Actalk Active Language I Actors Actra Actus Ada-83 Ada 9 X Ada++ Ada' ADAM Ada-O Adaplex ADAPT Ada. Tran ADELE ADES ADL Ad. Log ADM ADS ADVSYS AE AED Aeolus AESOP AFAC AGORA AHDL AHPL AIDA AIMACO AGP-L AKCL AKL AL ALADIN ALAM A-language ALCAlcool-90 ALCOR Aldat ALDES ALDi. SP ALEC ALEF ALEPH Alexis ALF Alfl ALGEBRAIC ALGOL 58 ALGOL 60 Modified ALGOL 60 Revised ALGOL 68 -R ALGOL 68 Revised ALGOL 68 C ALGOL 68 RS ALGOL 68 S ALGOL C ALGOL D ALGOL N ALGOL W ALGOL X ALGOL Y ALGY ALIAS ALJABR ALLOY ALM ALPAK ALPHA Alphard ALPS ALTAC ALTRAN Amber AMBIT/G AMBIT/L AMBIT/S AMBUSH AML/E AMPLE AMPPL-II AMTRAN ANCP ANDF Andorra-I Andorra-Prolog Animus Anna ANTLR APAL APAREL APDL APESE APL 2 APLGOL APPLE Apple. Script Applesoft BASIC APPLOG APT APX III AQL ARCHI Arctic ARES Ariel Argus Ariel ARITH-MATIC ARTSPEAK ASDIMPL ASDL ASF Ashmedai ASIS ASF ASL ASM ASN. 1 ASP ASpec. T ASPOL ASPEN ASPIK Aspirin ASPLE ASSEMBLY ASTAP Astral AT-3 ATLAS Atlas Autocode Atlas Commercial Language ATOLL A'UM Aurora Autocode AUTOGRAF AUTOGRP Autolisp AUTOMATH Autopass AUTO-PROMPT Autostat AVA Avalon/C++ Avalon/Common LISP Avon AXIOM AXIS AXLE AWK B B-0 Babbage BABEL BABYLON BACAIC BALGOL BALITAC BALM BAP Baroque BASCMP bash BASIC AUTOCODER Basic COBOL Basic FORTRAN Basic JOVIAL bawk bc BC NELIAC BCL BCPL BDL Be. BOP BEGL BELL BER Bertrand BETA BIOR BLAZE 2 Blazon B-LINE BLISS Bloo. P Blosim BLOX Blue BMASF BMDP BMF BNR Pascal BNR Prolog Bob BOEING Booster BOPL BOSS Boxer BRAVE BRIDGE Bridgetalk Brilliant BRUIN bs BSL BUGSYS Burge's Language Butterfly Common LISP Butterfly Schemebyacc C C* C++Linda C+@ C-10 C with Classes CADET CAFE CAGE CAJOLE CALCaliban Calico CAMAL Camelot Library CAMIL CAML Light Candle Cantor CASE SOAP III CATO C/ATLAS CAYLEY CBASIC cc CC++ CCalc CCLU CCP CCSP CDIF CDL Cecil Cedar CEEMAC+ CELIP CELLAS CELLSIM CELP CESSL CFD CFP CGGL CGOL CHAMIL CHARITY CHARM++ Charme CHARYBDIS CHASM CHILI CHILL CHIP-48 CHIP-8 CHISEL CHOCS CIAL CIEL CIF Cigale CIL CIMS PL/I CIP-L CIRCAL CITRAN CL CLAM Clarion CLASP Classic- da Clean CLEAR CLEO C-Linda CLIP Clipper CLIPS CLISP CLIX Clock CLOS CLP(R) CLP* CLP(sigma*) CLU Cluster 86 CMAY CML A Cmm CMS-2 COALA COBOL-1961 Extended Co. A Cocol Code 2. 0 CODIL COFF COGENT COGO Coherent Parallel C COIF COLASL COLD-K COLINGO COMAL COMIT II Comma COMMEN Commercial Translator Common LISP Common. Loops Common Objects Compact COBOL Compas Pascal COMPASS Compel Compiler-Compiler COMPL COMPREHENSIVE COMPROSL Computer Animation Movie Language Computer Compiler Computer Design Language COMSL COMTRAN Con. C Concert/C CONCUR Concurrent Aggregates (CA) Concurrent C++ Concurrent Clean Concurrent CLU Concurrent Euclid Concurrent LISP Concurent Oberon Concurrent Pascal Concurrent Prolog Concurrent Scheme Concurrent. Smalltalk condela CONIC Connection Machine LISP CONNIVER Constraint. Lisp CONSTRAINTS Consul CONVERT coo. C COOL CORAL CORBIE CORC Coroutine Pascal CORREGATE Correlatives and Conversions CORTL Coursewriter III COWSEL CP CPara. Ops 5 CPL CPS C-Refine CRISP CRL CROSSTABS Crystal CS-4 CS- rolog C-Scheme csh CSL CSMP CSP/80 CS/ P PCode CSP/k CSP-S CSPS CS/QCode CSS/II CSSA CSSL CSTools CTL Cube CUCH Culler-Fried System CUPID Cu. Pit CUPL CWIC CYBIL CYCL Cypher. Text D DACAPO DACTL DAD Daisy DAISY 201 DAP-16 DAP Fortran DAPLEX DAREDarms Dartmouth BASIC DASL Data/BASIC DATABUS DATACODE I Dataparallel-C Data Parallel Haskell Data Structures Language DATA-TEXT Data. Vis d. BASE DBC d. BFAST DBPL d. BXL dc DCALGOL DCDL DCG DCL DDM DEACON Delirium Delta-Prolog DEMON Design System language DETAB DETOL Deva DEX DFC DG/L DIALECT DIALOG DIAMAG Diamond DIANA DIBOL Dictionary APL Dijkstra's guarded command language DIMATE Dinner. Bell DINO Disiple Dislang Distributed Eiffel Distributed Processes Distributed Smalltalk DL/1 DLG DLP DLX DMAD DMALGOL DML Doc DOCUSDo. D-1 DOUGLAS DOL DOVPA DOW COMPILER DOWL d-Prolog DPL-82 DPS dp. Sather draco DRAGON DRAGOON DROOL DRUCO I DSL DSM DSP/C DSP 32 Assembly Language DSPL DTALGOL DUAL-607 Dual FCPDuo. Talk Durra DYANA Dylan Dynace DYNAMO DYSAC DYSTAL E Eagle Ease EASE II EASIAC EASY FOX EBASIC EBNF ECAP II Echidna ECL ECMA ECP ECRCProlog ECSL ECSP ECSS II ECSSL Eden EDIF Edinburgh Prolog Edison EDL EFL Eh Eiffel 3 EL 1 el(alpha) Elan ELF ELISP Elk ELLA 2000 Ellie ELLIS ELMAGUIDE ELMAMETA ELP ELSIE EM-1 EMACS LISP Emerald EML EMPL English EOL EPILOG EPL EPROS EPSILON EPSIMONE Eq. L EQLog Eqn Equel Erlang ERFPI es ES-1 ESCAPE ESI esim ESPOL Estelle Esterel ET ET++ ETC ETHER Euclid EULER Eu. Lisp Euphoria Eurisko Eva EXAPT EXEC 2 expect Express Extended ALGOL Extended C++ Extended ML Extended Pascal EXTRA EZ FAC Facile FACT FAD FAIR FALSE FAP FASBOL FASE FAST FC F-code FCP Feel FEL FFP FGHC FGL+LV FGRAAL FIDIL FIDO Fifth File Composition F+L FL FLAIR FLAP Flavors Fleng FLEX Flex 2 FLIC FLIP-SPUR F-Logic FLOP Floo. P FLOW-MATIC or FLOWMATIC FLPL FLUB FMPL FOCAL FOCUS FOIL foogol FOOL FOOP FORC Force The Force. One Force. Two FORMAC FORMAL FORMAT-FORTRAN Formes FORML Formula ALGOL Fornax Forsythe FORTH FORTRAN III FORTRAN IV FORTRAN VI FORTRAN 66 FORTRAN 77 Fortran 90 Fortran D Fortran-Linda Fortran M FORTRAN-Plus FORTRANSIT FORTRUNCIBLE FOSIL Fox. BASE+ Fox. PRO FP FP 2 FP/M FQL Frame. Kit FRANK Franz Lisp FRED Fresco Fresh FRINGE FRL FRMT-FTRN FSL FSMDL Fugue Fun FUNLOG FX-87 FX-90 G Gabriel GADS Gaelic Galaxy Galileo Gambit GAMMA GAN GAPLog Gargoyle GARP GASP GATE Gauss Gawk GCL G-Code GDPL GEA GECOM Gedanken GEL General Purpose Graphic Language Gentleman's Portable Coroutine System GEORGE GEPURS Gerald GEST GHC Gia-2 GIM-1 GIN 5 Ginger GIP GIRL GKS GL Glammar GLASS Glenda Glish Glisp GLOS GLOW Glypnir GMAP GMPL Goedel Gofer GOL GOM GOOD GOSPL GP GPL GPM GPSS GPX GRAAL GRAF GRAIL GRAIN GRAM Grapes Graphic ALGOL Graphic Language GRAPPLE GRASP/ Ada Green GRG GRIND Groff GSBL GSPL GTML GVL GWBASIC Gypsy GYVE HAL/S HALGOL HALMAT Haskell HASL HCLP HCPRVR HDFL HDM HELP HEQS HERAKLIT Hermes HIBOL High Performance Fortran Hi. Log HINT HLISP HLL HOL Honeywell-800 Business Compiler HOOK Hope+C HOS-STPLHPcode HPCode-Plus HPF HP-GL/2 HPL HSL-FX HTML+ HUGO Hybrid Hyper-C Hyperscript Hyper. Talk Hy. Time IAL IAM IBEX ICES ICETRAN ICI Iconicode IC-Prolog IC Prolog ][ Id IDAMS IDEAL IDMS Id Nouveau IDOL IDS/I IF 1 IF 2 IFIP IFX IGL IIS IITRAN ILIAD ILLIAC ILOC IMP Ina Jo Info BASIC INFORM Information Algebra Inglish Innov. Ada Input INSIGHT INTCODE INTELLECT INTERACTIVE INTERCAL INTERCOM Interlisp Intermediate Programming Language Interpress Iota IPL IPS IQ IRDATA IRL Ironman Isabelle-92 ISBL ISETL ISIS ISLisp ISPL ISPS ISWIM IT Ivan Iverson's Language IVTRAN J J 3 J 73 JACAL Jade. Java Ja. M Janus JAZ JCL JCS-13 JEAN JOSS Jossle JOVIAL Joyce JPLDIS JS JTS Juno Jym K 5 Kaleidoscope Kali KAP Karel KBMS KCL K-code KEE Kernel Parlog Kevo KFX Kid KISS KL 0 KL 1 Klerer-May System KL-ONE KLS KMODEL KOMPILER KRC KRL KRS KRYPTON ksh L 0 L 6 Lace LADE LADY Lakota LAMBDA lambda-Prolog LAMINA Language H Laning and Zierler LAP 4 LAPSE Larch/Ada Larch/CLU La. Te. X LAURE LAVA LAX LCC LCL LCS LDL 1 LDT LE/1 LEAF Lean LEAP LECOM Leda. Le. Fun Legion LEGOL Le-Lisp Leo Lex LG LGDF LGEN LGN Liana LIDO Li. E LIFE Lila LIMDEP LIMP Lincoln Reckoner Linda. LISP Lingo LINGOL LIPL LISA LISP 2 LISP 70 LISP ALispkit Lisp-Linda LISP Machine LISP Lisptalk LITHE LITTLE Little Smalltalk LLM 3 LML LNF L&O LO {log} Log. C Logic Design Language LOGIN LOGLAN LOGLISP LOGOL LOLITA Lolli LOM LOOKS LOOPN LOOPS LOP Lore LOTIS LOTOS Lout Low-Ada LOWL LPC LPG LPL LPS LRLTRAN LSL LSYD LT-2 LTR 3 Lua LUCID Lucinda Lucy LUKKO LUSTRE LYa. PAS LYNX LYRIC M M 3 M 4 M 5 M 6 MAC Mac-1 MAC-360 Macaulay MACE Machiavelli MACL Mac. Lisp MACRO Macro SAP MACSYMA MAD Mad/1 MADCAP MADTRAN MAGIC Magic Paper Magma 2 Magma. LISP MAGNUM Magritte MAINSAIL Maisie Make MALPAS IL Manchester Autocode Mandala MAO MAP Maple MARBLE Maril Markov Marseille Prolog MARSYAS MARVIN Mary MASM Massey Hope Matchmaker Mathcad Mathematica MATHLAB MATH-MATIC or MATHMATIC Matrix Compiler MATRIX MATH mawk MAXIMOP MBASIC MC Mc. G 360 MCL M-Code MCS MDL me too MELD Meld. C Melinda Mentat MENTOR MENYMA/S Mercury Autocode MEROON Mesa META 5 Meta-II Meta-IV Meta-Crystal METAFONT METAL Meta-Vlisp Met-English METEOR Methods MHDL Mic-1, Mic-2 micro. APL micro. PLANNER micro. TAL MIDAS MIDL MIIS MIKE MILITRAN MIMIC MIMOLA Mini-ML Mini PL/I MINITAB II MINT Miracula Miranda MIRFAC MISHAP MITILAC MIXAL MJS ML ML-2000 MLAB ML/I MLISP ML-Linda ML Threads. Mma MML MOBSSL-UAF Mock Lisp MODCAL Mode MODEF MODEL MODSIM II Modula-2* Modula-2+ Modula-3* Modula-3 pi Modula-Prolog Modula/R Modular C Modular Prolog Modulex Mona Moo. Z MOPS MORAL MORTRAN Mouse Moxie MP-1 MPGL MPL II MPPL M-Prolog MPS III MPSX MRS MSG. 84 MUCAL Muddle mu. FP Mul-T multi. C Multi. Lisp Multi-Pascal Multi. Scheme MUMPS MU-Prolog Mu. Simp Muse Music MUSL MYSTIC NASTRAN Napier NAPLPS NAPSS NASTRAN NATURAL Natural English Nawk NB NDL Nebula NELIAC Neon NERECO NESL NETL New Flavors NEWP News. Clip Newspeak Newsqueak Newton Nexpert Object NFQL NGL NIAL NICOL I NIKL NIL NJCL n. ML NODAL Noddy NOMAD Nonpareil NORC COMPILER NORD PL Nother NPL NPPL N-Prolog Nqthm Nroff NUCLEOL Nuprl NU-Prolog NYAP NYU OMNIFAX O 2 Oaklisp OBE Oberon-2 Oberon-V OBJ 2 OBJ 3 Object CHILL Object Lisp Object. LOGO Object Oberon Object-CHILL Object-COBOL Object-Oriented Turing Object. PAL Object Pascal Object-Z Objective C Objlog Obj. Vlisp Obj. VProlog Obliq Oblog OBSCURE Oc OCAL occam 2 occam 3 OCL OCODE Octave odl OIL OISC OLDAS OLGA Omega OMNICODE OMNIFAX OMNITAB Ondine Ontic OO-CHILL OOF OOPS OOT OOZE OPAL-0 OPAL O-plan OPS 5 OPTRAN Orca OREGANO Orient 84/K ORTHOCARTAN Orwell OSCAR O'small OSQL OSSL Ottawa Euclid OWHY OWL Ox Oz P+ P 4 PABC PACT I PACTOLUS Paddle PAF PAGE Pai. Lisp PAISley PAL Pam Pandora PANON Paragon Paralation LISP Paralation C Par. Alfl Parallaxis Parallel C Parallel FORTH Parallel Pascal Parallel SML Parasol Paris Parlance Parlog++ PARMACS Par. Mod PARSEC Parsley PARTS PARULEL Pascal++ Pascal-2 Pascal 80 Pascal+CSP Pascal-FC Pascal/L Pascal-Linda Pascal-m Pascal-P Pascal Plus Pascal/R Pascal-SCPasqual PASSIM PASRO PAT Path Pascal PC p. C++ PCLIPS PCN P-code PC-TILES PDELAN PDIL PDL 2 PDS/ Ma. Gen PEARL Pebbleman PECOS PEEL PEF PENCIL Pepper PEPsy Perl PFL Pfortran p. H PHOCUS PIC Pick BASIC PICL Pictorial Janus pidgen+ PIE PIL/I PILE PILOT PINBOL PIRL PIT PL-11 PL 360 PL 516 PL-6 PL. 8 Pla PLACE PLAGO PLAIN PLAN Planet PLANIT Plankalkul PLANNER PLANS PLASMA Plasyd Platon PLAY Playground PL/C PL/I SUBSET PL/I Subset G PL/I-FORMACPlisp PLITS PL/MP PL/PROPHET PL/S PL/ Seq PLZ/ASM PLUM Plural Eu. Lisp PLUSS PLZ PM PML PNU-Prolog POCAL POFAC POGO Polka Poly POLYGOTH Ponder POOL 2 POOL-I POOL-T POP-1 POP-2 POP-10 Pop 11 POP-9 X POP++ POPCORN Poplar POPLER POPLOG Pop. Talk Portable Standard Lisp PORTAL Port Language POSE POSTQUEL Post. Script POSYBL Power. Fu. L PPLambda P-Prolog PRA pre-cc PREP PRESTO PRINT I PRISM PRL Probe PROCOL PROFILE PROGENY Prograph PROGRES PROJECT Prolog-2 Prolog-III Prolog++ Prolog-D-Linda Prolog-Linda PROMAL PROMELA Pronet PROOF/L Proposal Writing PROSE Pro. Set PROSPER Pro. Talk PROTEUS Protosynthex PS 440 PS-ALGOL p. Sather PSETL PSML P-TAC PUB PUFFT PUMPKIN PVM Python Q QA 4 QBE Qlambda QLISP QLOG Q'NIAL QPE Q-systems Quake QUEASY QUEL Quest QUICK Quicksilver QUIKSCRIPT QUIKTRAN QUIN Quintec-Objects Quty QX Raddle RAIL RAISE RAL RAMIS II Rapidwrite RAPT RASP RATEL RATFIV RATFOR RAWOOP-SNAP R: BASE RBASIC RBCSP rc RCC RCL RDL Real-Time Euclid Real-Time Mentat Real-Time Pascal REC Recital RECOL Red REDCODE Redi. Lisp REDUCE Refal REF-ARF Refined C (RC) Refined Fortran (RF) REG-SYMBOLIC REGTRAL Relational Language RELATIVE RELCODE REL English Render. Man Shading Language RENDEZVOUS REPL Required-COBOL Retrieve Revised ALGOL 60 REXX Rez RIGAL Rigel RIPscrip RLL RMAG ROADS ROBEX Robotalk Roff ROME Rossette RPG RPL-1 RPL RPT RSL RTC++ RT-CDL RTL/1 RTL/2 Ruby RUFL RUNCIBLE RUNOFF RUSH Russell RUTH S S* S*A S*M S 3 SAAL SAC-1 SAC 2 SAD SAM SAFARI Safe. Ada SAIL SAINT SALEM S-Algol SALT SAM 76 SAMe. DL Sandman SAP SARG SASL+LV SASL-YACC Sather-K SCALLOP SCAN SCEPTRE Scheme-Linda School. Schoonschip SCL Scode SCOOPS SCRAP Scratchpad I Screamer Screenwrite Scribe SCRIPT Script. X SCROLL scsh SDF SDL 92 SDMS SEAL Sed SEESAW SEL Self SEM Seneca SEPIA Sequel SESL SETL 2 SETL/E SETS SEUS SEXI SFD-ALGOL SFLV SGML sh SHACO SHADOW Sharp APL SHEEP SHELL Short Code or SHORTCODE Show-And-Tell SICStus Prolog SIFT Sig SIGLA SIGNAL SIL Silage SIMAN SIMCMP SIML/I Simone SIMPAC SIMPAS SIMPLE SIMPL/I SIMPL-T SIMSCRIPT SIMULA I SIMULA 67 SIMULA - Current version of SIMULA 67. Used as the introductory programming language at Lund Inst Tech, Sweden and U Bergen, Norway. "Object-Oriented Programming with SIMULA", Bjorn. Kirkerud, A-W 1989. "Data Processing - Programming Languages Simulating Digital Systems SINA SIPLANSiprol SIR Siri SISAL 90 Sketchpad Skim SKOL SL 5 SLAM SLANG S-Lang SLIM SLIPS SLLIC Sloop SMALGOL SMALL Small-C Smalltalk-80 Smalltalk. Agents Smalltalk DB Smalltalk/V Small. VDM Small. World SMART SMIL SML# SML/NJ SMo. LCS SMP SNAP SNOBOL 2 SNOBOL 3 SNOBOL 4 SITBOL SNOOPS SO 2 SOAP SOAR SOCRATIC SODAS SOHIO SOLO Solve SP SPADE SPARKS Speakeasy Spec SPECIAL SPECOL SPEEDSpeedcoding 3 SPEEDEX SP/k SPG SPITBOL SPL/I SPLINTER Split-C SPLX SPM Spool SPRING SPRINT SPSS SPUR Squiggol SQL Module Language Square Squeak SR SRC Modula-3 SRDLSrl SSL STAB-11 STAC STAGE 2 Standard Lisp Standard ML STAR 0 Star. LISP Star. MOD Starset Statemate Steelman STENSOR Sticks&Stones STIL STING STOIC Stoneman STP 4 Strand Strawman STREAM STRESS STROBES STRUDL STRUM 2 STSC APL STUDENT Student PL/I STUDIO Successo. R Sue SUGAR SUIF SUILVEN SUMMER SESSION SUPERMAC Super Pascal Super. Talk Sure SURGE Sweet. Lambda SYDEL SYGMA Sylvan SYMBAL Symb. Math SYMBOLANG SYMBOLIC ASSEMBLY Symbolic Mathematical Laboratory Symmetric LISP SYMPL SYN Synchronous C++ SYSLISP T TABLET TABSOL TACL TACPOL TALE TALL TAO TARTAN TASM TASS TAWK Taxis TBILTbl Tcode TCOL. Ada tcsh Tcsim TDFL TECO TELCOMP Telescript Telon TELOS TELSIM Temp. Log TEMPO Tempura Ten 15 TERMAC Terse Te. X TFDL TGS-II THEO Theseus Thing. Lab Tinman tinman+ TINT Tiny TIPL TK!Solver TL 0 TL 1 TL/I TMDL TMG TOK Toronto Euclid TPL TPS TPU TRAC Trafola-H Traits TRANDIR TRANQUIL TRANS-USE TRANSCODE TRANSIT TRANSLANG TREETRAN Trellis TRIGMAN Trilogy TRIX Troff TROLL True BASIC TS Tsim TSL-1 Tui Tuki TUPLE Tuple Space Smalltalk Turbo Pascal Turbo Prolog Turing Plus Turingol TUTOR Twentel TWIG TXL TYPOL UAN UBASIC u. C++ UCSD Pascal U-Code UDL/I UHELP UGLIAC UHELP UIL ULP u. ML UNBASIC UNCOL UNICODE UNIFORM UNIQUE UNISAP UNITY Uranus USE USL USSA utility-coder UTOPIST V VAL Valid VCODE VDM++ VDM-SL Vector C VECTRAN Verdi VEL Verilog VGQF VHDL Vienna Definition Language Vienna Fortran Views VIF Viron VITAL VIVID viz Vlisp VML VMPL VSP VULCAN WAFL WAM WATBOL WATFIV WATFOR WAVE WEB WFL Wisp Wizard Woodenman WOOL WPL+ WPOP WRITEACOURSE WSFN WSL X-1 Xbase XBASIC XC XDL Xfun Xi XICS XL XLISPPLUS XNF XPC XPL XPOP XScheme XTRAN Y Yaa yacc YALLL YAPS YASOS Yay Yellow Yerk YLISP Z Z++ ZAP Zed ZENO ZERO ZEST Zeta. Lisp ZIL Zipcode zsh ZOPL ZUG Zuse Zz C++ Java Pascal

Anwendungen System-Realisierung Algorithmik Theorie

Algorithmik: die Kunst der kleinen, feinen Programme! Es gibt einige „Standard-Probleme“ in der Informatik: • • • Verwalten von Daten („Datenstrukturen“) Suche in den Daten sortieren Kürzeste Wege finden. . . Algorithmen und Datenstrukturen: • schnell • kompakt • korrekt • . . .

Programm korrekt – Beweisen Sie das! Die Aufgabe: der Marienkäfer soll endlos der Wand entlang laufen!

Algorithmik: Was tun Informatiker hier? Algorithmen entwickeln, testen, optimieren. . . Forschung & Entwicklung Universitäten Eher grössere Firmen haben solche Abteilungen Forschungsarbeit durch Doktoranden und Professoren

Anwendungen System-Realisierung Algorithmik Theorie

Willst Du mich heiraten?

. . . und wenn sie nicht gestorben sind, so leben sie. . . Eine mögliche „stabile Verheiratung“: alle sind glücklich verheiratet!

. . . noch heute. . . Eine mögliche „stabile Verheiratung“: alle sind glücklich verheiratet!

Probleme, Probleme! NP-vollständig – die ultimativ schwierigen Probleme NP – nicht effizient lösbare Probleme Anzahl „stabiler Verheiratungen“? Faktorisierung einer Zahl: n = p 1*. . . *pk P – „effizient“ lösbare Probleme Gibt es eine „stabile Verheiratung“?

Von Igeln und von Hasen – was heisst hier „effizient“? NP – nicht effizient lösbare Probleme Faktorisierung einer Zahl: n = p 1*. . . *pk P – „effizient“ lösbare Probleme Gibt es eine „stabile Verheiratung“?

Die 1‘ 000 US$ Frage P = NP oder P # NP ? Eigenschaft von NP-vollständigen Problemen: wenn jemand für eines davon eine „effiziente“ Lösung findet, wäre das der Beweis dafür, dass alle NP-Probleme effizient gelöst werden können: P = NP!

Theorie: Was tun Informatiker hier? Sie denken. Sie grübeln. Sie beweisen. Vielleicht. Sie veröffentlichen. In obskuren Zeitschriften. Auguste Rodin, „Der Denker“

Das ist Informatik! Anwendungen: das „Gesicht“ der Informatik Marketing & Verkauf; Installation & Betrieb System-Realisierung: Projekte Programmierung, Projektleitung Algorithmik: klein, aber fein! Forschung & Entwicklung Theorie: was ewig währt Die Grübler