Treffer 1 - 20 von 60 für Suche 'BALLIS, DEMIS', Suchdauer: 1,09s Treffer weiter einschränken
  1. 1
    Imposing assertions in Maude via program transformation

    Imposing assertions in Maude via program transformation von Alpuente, María, Ballis, Demis, Sapiña, Julia

    Veröffentlicht in MethodsX

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    A partial evaluation methodology for optimizing rewrite theories incrementally

    A partial evaluation methodology for optimizing rewrite theories incrementally von Alpuente, María, Ballis, Demis, Escobar, Santiago, Galán Pascual, Daniel, Sapiña, Julia

    Veröffentlicht in MethodsX

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    ccReact: a rewriting framework for the formal analysis of reaction systems

    ccReact: a rewriting framework for the formal analysis of reaction systems von Ballis, Demis, Brodo, Linda, Falaschi, Moreno, Olarte, Carlos


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Modeling and Analyzing Reaction Systems in Maude

    Modeling and Analyzing Reaction Systems in Maude von Ballis, Demis, Brodo, Linda, Falaschi, Moreno

    Veröffentlicht in Electronics (Basel)

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Optimizing Maude Programs via Program Specialization

    Optimizing Maude Programs via Program Specialization von Alpuente, María, Ballis, Demis, Escobar, Santiago, Meseguer, Jose, Sapiña, Julia


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Symbolic Specialization of Rewriting Logic Theories with Presto

    Symbolic Specialization of Rewriting Logic Theories with Presto von ALPUENTE, MARÍA, ESCOBAR, SANTIAGO, SAPIÑA, JULIA, BALLIS, DEMIS


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Debugging of Web Applications with Web-TLR

    Debugging of Web Applications with Web-TLR von Alpuente, María, Ballis, Demis, Espert, Javier, Frechina, Francisco, Romero, Daniel


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Process Calculi and Rewriting Techniques for Analyzing Reaction Systems

    Process Calculi and Rewriting Techniques for Analyzing Reaction Systems von Ballis, Demis, Brodo, Linda, Falaschi, Moreno, Olarte, Carlos


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Symbolic Analysis of Maude Theories with Narval

    Symbolic Analysis of Maude Theories with Narval von ALPUENTE, MARÍA, ESCOBAR, SANTIAGO, SAPIÑA, JULIA, BALLIS, DEMIS


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Using conditional trace slicing for improving Maude programs

    Using conditional trace slicing for improving Maude programs von Alpuente, María, Ballis, Demis, Frechina, Francisco, Romero, Daniel

    Veröffentlicht in Science of computer programming

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    A rewriting logic approach to the formal specification and verification of web applications

    A rewriting logic approach to the formal specification and verification of web applications von Alpuente, María, Ballis, Demis, Romero, Daniel

    Veröffentlicht in Science of computer programming

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Foreword

    Foreword von Ballis, Demis, Kutsia, Temur

    Veröffentlicht in Journal of symbolic computation

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Debugging Maude programs via runtime assertion checking and trace slicing

    Debugging Maude programs via runtime assertion checking and trace slicing von Alpuente, María, Ballis, Demis, Frechina, Francisco, Sapiña, Julia


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way)

    Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way) von Alpuente, María, Ballis, Demis, Frechina, Francisco, Sapiña, Julia


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Variant-Based Equational Anti-unification

    Variant-Based Equational Anti-unification von Alpuente, María, Ballis, Demis, Escobar, Santiago, Sapiña, Julia


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Inferring Safe Maude Programs with ÁTAME

    Inferring Safe Maude Programs with ÁTAME von Alpuente, María, Ballis, Demis, Sapiña, Julia


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Transformation and Debugging of Functional Logic Programs

    Transformation and Debugging of Functional Logic Programs von Alpuente, Maria, Ballis, Demis, Falaschi, Moreno


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne

    Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne von Alpuente, María, Ballis, Demis, Frechina, Francisco, Sapiña, Julia


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Model-Checking Web Applications with Web-TLR

    Model-Checking Web Applications with Web-TLR von Alpuente, María, Ballis, Demis, Espert, Javier, Romero, Daniel


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Symbolic Specialization of Rewriting Logic Theories with Presto

    Symbolic Specialization of Rewriting Logic Theories with Presto von Alpuente, María, Ballis, Demis, Escobar, Santiago, Sapiña, Julia

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: