( en | de | ru )

 

Disambiguierung von "Mariño, Julio"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Using Static Analysis to Compile Non-sequential Functional Logic Programs.

, und . ICLP, Seite 614. MIT Press, (1999)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Marino Philippi

Daniela Marino

Enzo Marino

Marino Perini

Marino Philippi

 

Weitere Publikationen von Autoren mit dem selben Namen

Runtime Verification in Erlang by Using Contracts., , , und . WFLP, Volume 11285 von Lecture Notes in Computer Science, Seite 56-73. Springer, (2018)Jsongen: a quickcheck based library for testing JSON web services., , , und . Erlang Workshop, Seite 33-41. ACM, (2014)Executable contracts for Elixir., , , , , , und . Erlang Workshop, Seite 40-46. ACM, (2022)Teaching Students Property-Based Testing., , , und . EUROMICRO-SEAA, Seite 437-442. IEEE Computer Society, (2014)A model-driven approach to teaching concurrency., , und . TOCE, 13 (1): 5:1-5:19 (2013)Teaching How to Derive Correct Concurrent Programs from State-Based Specifications and Code Patterns., , , und . TFM, Volume 3294 von Lecture Notes in Computer Science, Seite 85-106. Springer, (2004)Using Static Analysis to Compile Non-sequential Functional Logic Programs., und . ICLP, Seite 614. MIT Press, (1999)Automatic Coding Rule Conformance Checking Using Logic Programs, , , , , und . CoRR, (2007)Implementing Constructive Intensional Negation., , und . New Generation Comput., 27 (1): 25-56 (2008)Towards a Semantics-Aware Transformation Toolchain for Heterogeneous Systems., , , und . CoRR, (2016)