Bruk av Maude med eksterne objekter

Bruk av Maude med eksterne objekter

Språket og systemet Maude støtter nå kommunikasjon med eksterne objekter, som operativsystemkall, TCP sockets, filsystem, etc. Se kapittel 9 i Maude 3.4-manualen. Manualen gir et enkelt eksempel på en meget enkel http-klient vi kan programmere i Maude vha sockets.

Spørsmålet er om man kan bruke Maude's forbindelse med slike eksterne objekter til å implementere i Maude reelle ting som en enkel web browser eller et slags search engine eller noe tilsvarende.  I denne oppgaven kunne man prøve å utvikle en eller annen slik applikasjon i Maude. Eller noe annet man er interessert i.

Merk: jeg selv har ingen erfaring i browsere eller søketeknologi, og jeg vet heller ikke om grensesnittet/forbindelsene til omverdenen som Maude tilbyr er tilstrekkelig til å utvikle selv en begrenset prototype. (Så dette er et potensielt risky (men kanskje morsomt?) prosjekt.)

Bygger på: IN2100.

 

 

Published Oct. 22, 2021 11:05 PM - Last modified Sep. 24, 2024 1:47 PM

Supervisor(s)

Scope (credits)

60