Travelled to:1 × Belgium
1 × France
1 × Japan
4 × USA
Collaborated with:J.J.Moreno-Navarro Á.Herranz-Nieva R.Monjaraz S.Muñoz-Hernández S.Tamarit G.Vigueras M.Carro R.J.Rodríguez L.Fredlund
Talks about:program (5) logic (3) sequenti (2) function (2) analysi (2) static (2) compil (2) use (2) non (2) transform (1)
Person: Julio Mariño
DBLP: Mari=ntilde=o:Julio
Contributed to:
2015
2014
2012
2011
200420001999Wrote 7 papers:
- PADL-2015-TamaritVCM #c #haskell #implementation #program transformation #rule-based #source code
- A Haskell Implementation of a Rule-Based Program Transformation for C Programs (ST, GV, MC, JM), pp. 105–114.
- SEFM-2014-RodriguezFHM #erlang #execution #state machine #uml #verification
- Execution and Verification of UML State Machines with Erlang (RJR, LÅF, ÁHN, JM), pp. 284–289.
- PPDP-2012-MonjarazM #haskell #π-calculus
- From the π-calculus to flat GHC (RM, JM), pp. 163–172.
- ICLP-2011-Herranz-NievaM #logic programming #object-oriented #source code #specification #synthesis
- Synthesis of Logic Programs from Object-Oriented Formal Specifications (ÁHN, JM), pp. 95–105.
- FLOPS-2004-Munoz-HernandezMM
- Constructive Intensional Negation (SMH, JM, JJMN), pp. 39–54.
- PADL-2000-MarinoM #functional #logic programming #source code #static analysis #using
- Using Static Analysis to Compile Non-sequential Functional Logic Programs (JM, JJMN), pp. 63–80.
- ICLP-1999-MarinoM #functional #logic programming #source code #static analysis #using
- Using Static Analysis to Compile Non-sequential Functional Logic Programs (JM, JJMN), p. 614.