Metadata
Author: cordis
Data
German[de]
Reqs löst mit Hilfe von Gittern Restriktionen, während der Analysator selbst unter Verwendung einer modularen Restriktionserzeugungstechnik implementiert wird und für die Analyse von Java-Programmteilen genutzt wird.
English[en]
Reqs solves systems of constraints over lattices, whilst the analyser itself is implemented using a modular constraint generation technique, and is designed to analyse fragments of Java programs.
Spanish[es]
Reqs soluciona los sistemas limitados en red, mientras que el propio analizador se implementa mediante una técnica de generación modular, y está diseñado para analizar fragmentos de programas Java.
French[fr]
Reqs résout les systèmes de contraintes sur des réseaux, tandis que l'analyseur lui-même est implémenté à l'aide d'une technique de génération de contraintes modulaire et est conçu pour analyser des fragments de programmes Java.
Italian[it]
Reqs risolve sistemi di limiti su reticoli, mentre l'analizzatore in sé è implementato usando una tecnica modulare di generazione di limiti, ed è progettato per analizzare frammenti di programmi Java.