Charles Explorer logo
🇨🇿

Automatická redukce zdrojových kódů

Publikace na Matematicko-fyzikální fakulta |
2010

Abstrakt

Příspěvek popisuje Reduktor, program, který automaticky odstraní nepoužívané části zdrojových kódů v jazyce Mercury.