Preverjanje pravilnosti programov z odvisnimi tipi v programskem jeziku Idris : diplomsko delo

Repas, Blaž (avtor), Mihelič, Jurij (mentor)

• Jezik: Slovenski jezik
• Ključne besede: odvisni tipi, pravilnost programov, programski jezik Idris, računalništvo, računalništvo in informatika, univerzitetni študij, diplomske naloge
• Vrsta gradiva: Diplomsko delo/naloga
• Tipologija: 2.11 - Diplomsko delo
• Organizacija: FRI - Fakulteta za računalništvo in informatiko
• Kraj izida: Ljubljana
• Založnik: B. Repas
• Leto izida: 2014
• Št. strani: 77 str.
• PID: 20.500.12556/RUL-158077
• UDK: 004.42(043.2)
• COBISS.SI-ID: 1536094403
• Datum objave v RUL: 26.05.2024

Sekundarni jezik

• Jezik: Angleški jezik
• Ključne besede: dependent types, program correctness, Idris programming language, computer science, computer and information science, diploma