Treffer 1 - 2 von 2 für Suche 'Amaro, Maycon J. J.', Suchdauer: 0,32s Treffer weiter einschränken
  1. 1
    The Design of a Verified Derivative-Based Parsing Tool for Regular Expressions

    The Design of a Verified Derivative-Based Parsing Tool for Regular Expressions von Cardoso, Elton, Amaro, Maycon, Feitosa, Samuel, Reis, Leonardo, Du Bois, André, Ribeiro, Rodrigo

    Veröffentlicht in CLEI electronic journal

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    A Sound Strategy to Compile General Recursion into Finite Depth Pattern Matching

    A Sound Strategy to Compile General Recursion into Finite Depth Pattern Matching von Amaro, Maycon J. J., Feitosa, Samuel S., Ribeiro, Rodrigo G.


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: