I agree that this site is using cookies. You can find further informations here.
X
MARIÑO, JULIO
434  results:
Search for persons X
?
1

Generation and Refinement of Testing Models:

, In: Proceedings of the 22nd ACM SIGPLAN International Workshop on Erlang,
Bueso de Barrio, Luis Eduardo ; Fredlund, Lars-Åke ; Benac Earle, Clara.. - p. 14-23 , 2023
Link: https://dl.acm.org/doi/1..
 
?
2

A formal semantics for agent distribution and fault toleran..:

Fernández Díaz, Álvaro ; Fredlund, Lars-Åke ; Benac-Earle, Clara.
Journal of Logical and Algebraic Methods in Programming.  133 (2023)  - p. 100874 , 2023
Link: https://doi.org/10.1016/..
 
?
3

Executable contracts for Elixir:

, In: Proceedings of the 21st ACM SIGPLAN International Workshop on Erlang,
Pérez, Sergio ; de Barrio, Luis Eduardo Bueso ; Ballesteros, Ignacio... - p. 40-46 , 2022
Link: https://dl.acm.org/doi/1..
 
?
4

Makina: a new QuickCheck state machine library:

, In: Proceedings of the 20th ACM SIGPLAN International Workshop on Erlang,
de Barrio, Luis Eduardo Bueso ; Fredlund, Lars-Åke ; Herranz, Ángel.. - p. 41-53 , 2021
Link: https://dl.acm.org/doi/1..
 
?
5

Runtime Verification in Erlang by Using Contracts:

, In: Functional and Constraint Logic Programming; Lecture Notes in Computer Science,
Fredlund, Lars-Åke ; Mariño, Julio ; Pérez, Sergio. - p. 56-73 , 2019
Link: https://doi.org/10.1007/..
 
?
6

Synthesis of verifiable concurrent Java components from for..:

Mariño, Julio ; Alborodo, Raúl N. N. ; Fredlund, Lars-Åke.
Software & Systems Modeling.  18 (2017)  1 - p. 71-105 , 2017
Link: https://doi.org/10.1007/..
 
?
7

Constraint logic programming with a relational machine:

Gallego Arias, Emilio Jesús ; Lipton, James ; Mariño, Julio
Formal Aspects of Computing.  29 (2017)  1 - p. 97-124 , 2017
Link: https://doi.org/10.1007/..
 
?
8

Jsongen : a quickcheck based library for testing JSON we..:

, In: Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang,
Benac Earle, Clara ; Fredlund, Lars-Åke ; Herranz, Ángel. - p. 33-41 , 2014
Link: https://dl.acm.org/doi/1..
 
?
9

A model-driven approach to teaching concurrency:

Carro, Manuel ; Herranz, Ángel ; Mariño, Julio
ACM Transactions on Computing Education.  13 (2013)  1 - p. 1-19 , 2013
Link: https://doi.org/10.1145/..
 
?
10

A model-driven approach to teaching concurrency:

Carro, Manuel ; Herranz, Ángel ; Mariño, Julio
ACM Transactions on Computing Education (TOCE).  13 (2013)  1 - p. 1-19 , 2013
Link: https://dl.acm.org/doi/1..
 
?
11

From the π-calculus to flat GHC:

, In: Proceedings of the 14th symposium on Principles and practice of declarative programming,
Monjaraz, Rubén ; Mariño, Julio - p. 163-172 , 2012
Link: https://dl.acm.org/doi/1..
 
?
12

A Tool for the Integration of Constraint Solving in Spreads..:

Fernández-Soriano, Ana María ; Mariño, Julio ; Herranz, Ángel
Electronic Notes in Theoretical Computer Science.  282 (2012)  - p. 35-45 , 2012
Link: https://doi.org/10.1016/..
 
?
13

Session details: Applications:

, In: Proceedings of the 14th symposium on Principles and practice of declarative programming,
Mariño, Julio , 2012
Link: https://dl.acm.org/doi/1..
 
?
14

Functional and Constraint Logic Programming 

19th International Workshop, WFLP 2010, Madrid, Spain, Janu...  Lecture Notes in Computer Science ; 6559;SpringerLink, Bücher
Mariño, Julio , 2011
Link: http://dx.doi.org/10.100..
 
?
15

Functional and constraint logic programming 

19th international workshop, WFLP 2010, Madrid, Spain, Janu...  Lecture notes in computer science ; 6559
Mariño, Julio , 2011
Link: http://dx.doi.org/10.100..
 
1-15