Julio Mariño

From MaRDI portal
Person:511022

Available identifiers

zbMath Open marino.julioMaRDI QIDQ511022

List of research outcomes





PublicationDate of PublicationType
Generation of algebraic data type values using evolutionary algorithms2025-01-27Paper
Executable contracts for Elixir2024-11-26Paper
A formal semantics for agent distribution and fault tolerance in Jason2023-06-19Paper
Constraint logic programming with a relational machine2017-02-14Paper
Declarative compilation for constraint logic programming2015-10-02Paper
Synthesis of logic programs from object-oriented formal specifications2012-08-29Paper
First-order unification using variable-free relational algebra2012-06-08Paper
Implementing constructive intensional negation2009-09-03Paper
Functional and Logic Programming2007-09-25Paper
Demand analysis with partial predicates2007-03-23Paper

Research outcomes over time

This page was built for person: Julio Mariño

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:511022&oldid=6911295"
Powered by MediaWiki