Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

Identifikátory výsledku

  • Kód výsledku v IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F11%3A10109135" target="_blank" >RIV/00216208:11320/11:10109135 - isvavai.cz</a>

  • Výsledek na webu

    <a href="http://disl.origo.ethz.ch" target="_blank" >http://disl.origo.ethz.ch</a>

  • DOI - Digital Object Identifier

Alternativní jazyky

  • Jazyk výsledku

    angličtina

  • Název v původním jazyce

    DiSL rev 488

  • Popis výsledku v původním jazyce

    DiSL is a new language (framework) especially designed for dynamic program analysis. DiSL offers an open join point model where any region of bytecodes can be a shadow, synthetic local variables for efficient data passing, efficient access to comprehensive static and dynamic context information, and weave-time execution of user-defined static analysis code. DiSL offers much better code coverage, incurs significantly less overhead, and eases the integration of new analysis features in comparison to otherAOP based languages (frameworks) like AspectJ.

  • Název v anglickém jazyce

    DiSL rev 488

  • Popis výsledku anglicky

    DiSL is a new language (framework) especially designed for dynamic program analysis. DiSL offers an open join point model where any region of bytecodes can be a shadow, synthetic local variables for efficient data passing, efficient access to comprehensive static and dynamic context information, and weave-time execution of user-defined static analysis code. DiSL offers much better code coverage, incurs significantly less overhead, and eases the integration of new analysis features in comparison to otherAOP based languages (frameworks) like AspectJ.

Klasifikace

  • Druh

    R - Software

  • CEP obor

    JC - Počítačový hardware a software

  • OECD FORD obor

Návaznosti výsledku

  • Projekt

    <a href="/cs/project/GCP202%2F10%2FJ042" target="_blank" >GCP202/10/J042: Vyhodnocování kvalitativních vlivů rozhodnutí z fáze softwarového návrhu pomocí modelování</a><br>

  • Návaznosti

    P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Ostatní

  • Rok uplatnění

    2011

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

Údaje specifické pro druh výsledku

  • Interní identifikační kód produktu

    D3S-SW-2011-06

  • Technické parametry

    podrobně na http://disl.origo.ethz.ch, alternativně http://d3s.mff.cuni.cz/software/disl

  • Ekonomické parametry

    open source licence bez licenčních poplatků

  • IČO vlastníka výsledku

    00216208

  • Název vlastníka

    Univerzita Karlova v Praze