Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Julio Mariño-Carballo

◀ ▶ joint publications with Juan José Moreno-Navarro

> Home > Persons > Julio Mariño-Carballo

Publications

2009
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/Herranz-NievaMCM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/Herranz-NievaMCM09
Ángel Herranz-Nieva, Julio Mariño, Manuel Carro, Juan José Moreno-Navarro:
Modeling Concurrent Systems with Shared Resources. FMICS 2009: 102-116
2008
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/ngc/MarinoMM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ngc/MarinoMM08
Julio Mariño, Juan José Moreno-Navarro, Susana Muñoz-Hernández:
Implementing Constructive Intensional Negation. New Gener. Comput. 27(1): 25-56 (2008)
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/padl/Marpons-UceroMCHMF08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/Marpons-UceroMCHMF08
Guillem Marpons-Ucero, Julio Mariño-Carballo, Manuel Carro, Ángel Herranz-Nieva, Juan José Moreno-Navarro, Lars-Åke Fredlund:
Automatic Coding Rule Conformance Checking Using Logic Programming. PADL 2008: 18-34
[c13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Marpons-UceroMCHFMP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Marpons-UceroMCHFMP09
Guillem Marpons-Ucero, Julio Mariño, Manuel Carro, Ángel Herranz-Nieva, Lars-Åke Fredlund, Juan José Moreno-Navarro, Álvaro Polo:
A Coding Rule Conformance Checker Integrated into GCC. PROLE 2008: 149-159
2007
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/MarinoHM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/MarinoHM07
Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro:
Demand analysis with partial predicates. Theory Pract. Log. Program. 7(1-2): 153-182 (2007)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0711-0344
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0711-0344
Guillem Marpons-Ucero, Julio Mariño, Ángel Herranz-Nieva, Lars-Åke Fredlund, Manuel Carro, Juan José Moreno-Navarro:
Automatic Coding Rule Conformance Checking Using Logic Programs. CoRR abs/0711.0344 (2007)
2006
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-cs-0602008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-cs-0602008
Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro:
Demand Analysis with Partial Predicates. CoRR abs/cs/0602008 (2006)
2004
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/flops/Munoz-HernandezMM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flops/Munoz-HernandezMM04
Susana Muñoz-Hernández, Julio Mariño, Juan José Moreno-Navarro:
Constructive Intensional Negation. FLOPS 2004: 39-54
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/tfm/CarroMHM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/CarroMHM04
Manuel Carro, Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro:
Teaching How to Derive Correct Concurrent Programs from State-Based Specifications and Code Patterns. TFM 2004: 85-106
2002
[e1]
- view
  - table of contents in dblp
  - no references & citations available
- export record
  dblp key:
  - conf/agp/2002
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agp/2002
Juan José Moreno-Navarro, Julio Mariño-Carballo:
AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002. Facultad de Informática, Universidad Politécnica de Madrid 2002 [contents]
2000
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/padl/MarinoM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/MarinoM00
Julio Mariño, Juan José Moreno-Navarro:
Using Static Analysis to Compile Non-sequential Functional Logic Programs. PADL 2000: 63-80
[c6]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/wflp/MarinoHM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wflp/MarinoHM00
Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro:
Partial Predicates for Demand Analysis. WFLP 2000: 324-339
1999
[c5]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/iclp/MarinoM99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/MarinoM99
Julio Mariño, Juan José Moreno-Navarro:
Using Static Analysis to Compile Non-sequential Functional Logic Programs. ICLP 1999: 614
1998
[c4]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/agp/MarinoM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agp/MarinoM98
Julio Mariño, Juan José Moreno-Navarro:
Recovering Sequentiality in Functional-Logic Programs. APPIA-GULP-PRODE 1998: 137-150
1996
[c3]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/agp/Moreno-NavarroMPHG96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agp/Moreno-NavarroMPHG96
Juan José Moreno-Navarro, Julio Mariño, Andrés del Pozo-Prieto, Ángel Herranz-Nieva, Julio García-Martín:
Adding Type Classes to Functional-Logic Languages. APPIA-GULP-PRODE 1996: 427-438
1993
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/plilp/Moreno-NavarroKMWH93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plilp/Moreno-NavarroKMWH93
Juan José Moreno-Navarro, Herbert Kuchen, Julio Mariño-Carballo, Stephan Winkler, Werner Hans:
Efficient Lazy Narrowing using Demandedness Analysis. PLILP 1993: 167-183
1992
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/Jimenez-MartinMM92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/Jimenez-MartinMM92
José André Jimènez-Martin, Julio Mariño-Carballo, Juan José Moreno-Navarro:
Efficient Compilation of Lazy Narrowing into Prolog. LOPSTR 1992: 253-270

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.