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

Result code in 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>

Result on the web

<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

—

Result language

angličtina

Original language name

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

Original language description

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

Czech name

—

Czech description

—

Type

R - Software

CEP classification

—

OECD FORD branch

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

Project

<a href="/en/project/LL1908" target="_blank" >LL1908: Efficient Finite Automata for Automated Reasoning</a><br>

Continuities

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

Publication year

2020

Confidentiality

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

Internal product ID

chipmunk

Technical parameters

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.

Economical parameters

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ů.

Owner IČO

00216305

Owner name

Vysoké učení technické v Brně