|
|
|
|
| Bachelorprojekt - Softwareteknologi | Projekt nr. 0165: Dimension Types |
| Aktuelle | Tidligere |
Nogle programmeringsprog har slet igen typer, hvilket kan give anledning til mange underlige dynamiske fejl. Derfor har mange programmeringssprog typer, som skal sikre at man ikke accepterer programmer, der fx ganger en tekststreng med en sandhedsværdi. Men stort set ingen programmeringsprog understøtter videnskabelige beregninger, således at man ikke fejlagtigt kommer til at lægge centimeter og tommer sammen.
Der er en meget klassisk historie om et rumfartsprojekt, der mistede en dyr satellit, netop på grund af en programmerigsfejl af denne type.
Projektet kunne tage udgangspunkt i et while lignende sprog, tilpassende semantikken til at holde styr på "dimensioner" , og lave en analyse (der kan vokse fra simpel til meget avanceret), der holder styr på om man laver sådanne fejl, og evt. indsætte automatiske program transformationer (såkaldte coercions ) de steder, hvor der ellers ville være problemer.
(At lave en tilsvarende udvikling for C, C++ eller Java ville nok mere være et masters projekt.)
| Forudsætninger: | 02141 Datalogisk Modellering |
Vejleder(e): Flemming Nielson
| Sidst opdateret: Oct 30, 2015 af Hans Henrik Løvengreen |