Chipmunk: The tool allows one to match patterns using counting-set automata.

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F20%3APR34394" target="_blank" >RIV/00216305:26230/20:PR34394 - isvavai.cz</a>

Výsledek na webu

<a href="https://www.fit.vut.cz/research/product/685/" target="_blank" >https://www.fit.vut.cz/research/product/685/</a>

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Chipmunk: The tool allows one to match patterns using counting-set automata.

Popis výsledku v původním jazyce

The tool allows efficient matching regular expressions (regexes) with bounded repetition using deterministic automata with registers.

Název v anglickém jazyce

Chipmunk: The tool allows one to match patterns using counting-set automata.

Popis výsledku anglicky

The tool allows efficient matching regular expressions (regexes) with bounded repetition using deterministic automata with registers.

Druh

R - Software

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

<a href="/cs/project/LL1908" target="_blank" >LL1908: Efektivní konečné automaty pro automatické usuzování</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2020

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Interní identifikační kód produktu

chipmunk

Technické parametry

Volně šiřitelný software poskytovaný pod licencí GNU GPL (přesné znění licence je dostupné na stránce http://www.gnu.org/licenses/gpl.html). Pro další informace o licenčních podmínkách prosím kontaktujte: Mgr. Radka Báčová, Výzkumné centrum informačních technologií, Fakulta informačních technologií VUT v Brně, Božetěchova 2, 612 66 Brno, 541 141 473.

Ekonomické parametry

Software je volně dostupný včetně zdrojových textů. Software umožňuje zvýšit kvalitu klíčových částí kritických paralelních softwarových systémů.

IČO vlastníka výsledku

00216305

Název vlastníka

Vysoké učení technické v Brně