BibSLEIGH — Manuel

Travelled to:

1 × Denmark
1 × France
1 × Hungary
1 × India
1 × Ireland
2 × Japan
2 × Spain
3 × Italy
9 × USA

Collaborated with:

M.V.Hermenegildo P.C.d.Guzmán J.F.Morales A.Casas J.Arias E.Mera P.López-García G.Puebla D.C.Gras J.Correas J.M.Gómez D.S.Warren L.M.G.Henríquez S.Tamarit G.Vigueras J.Mariño Z.Drey P.J.Stuckey R.Haemmerlé D.Tang E.Pontelli G.Gupta C.Silva R.Rocha D.Cabeza G.Marpons-Ucero J.Mariño-Carballo Á.Herranz-Nieva J.J.Moreno-Navarro L.Fredlund

Talks about:

program (10) execut (10) implement (9) parallel (9) tabl (9) use (7) logic (6) base (6) toward (5) independ (4)

Person: Manuel Carro

DBLP: Carro:Manuel

Facilitated 1 volumes:

Contributed to:

2015

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

1999

1995

1994

1993

2016

Wrote 31 papers:

ICLP-2015-AriasC #execution #interface #towards: Towards a Generic Interface to Integrate CLP and Tabled Execution (JA, MC), pp. 204–206.
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.
PADL-2013-DreyMHC #debugging: Reversible Language Extensions and Their Application in Debugging (ZD, JFM, MVH, MC), pp. 206–221.
PADL-2013-GuzmanCH: Supporting Pruning in Tabled LP (PCdG, MC, MVH), pp. 60–76.
FLOPS-2012-GuzmanCHS #framework #implementation: A General Implementation Framework for Tabled CLP (PCdG, MC, MVH, PJS), pp. 104–119.
ICLP-J-2012-MoralesHCH #compilation #javascript #lightweight: Lightweight compilation of (C)LP to JavaScript (JFM, RH, MC, MVH), pp. 755–773.
PADL-2012-GuzmanCCH #approach: A Segment-Swapping Approach for Executing Trapped Computations (PCdG, AC, MC, MVH), pp. 138–152.
ICLP-J-2011-GuzmanCCH #backtracking #independence #parallel: Parallel backtracking with answer memoing for independent and-parallelism (PCdG, AC, MC, MVH), pp. 555–574.
ICLP-J-2010-GuzmanCW #evaluation #on-demand: Swapping evaluation: A memory-scalable solution for answer-on-demand tabling (PCdG, MC, DSW), pp. 401–416.
ICLP-2009-GuzmanCH #implementation #multi: A Tabling Implementation Based on Variables with Multiple Bindings (PCdG, MC, MVH), pp. 190–204.
PADL-2009-GuzmanCH #execution #program transformation #towards: Towards a Complete Scheme for Tabled Execution Based on Program Transformation (PCdG, MC, MVH), pp. 224–238.
ICLP-2008-CasasCH #implementation #independence #nondeterminism #strict: A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism (AC, MC, MVH), pp. 651–666.
ICLP-2008-GuzmanCH #execution #program transformation #sketching: A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation (PCdG, MC, MVH), pp. 795–800.
PADL-2008-CasasCH #execution #implementation #independence #strict #towards: Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism (AC, MC, MVH), pp. 230–247.
PADL-2008-GuzmanCHSR #continuation #implementation: An Improved Continuation Call-Based Implementation of Tabling (PCdG, MC, MVH, CS, RR), pp. 197–213.
PADL-2008-Marpons-UceroMCHMF #automation #consistency #logic programming #using: Automatic Coding Rule Conformance Checking Using Logic Programming (GMU, JMC, MC, ÁHN, JJMN, LÅF), pp. 18–34.
PPDP-2008-MeraLCH #automaton #estimation #execution #towards: Towards execution time estimation in abstract machine-based languages (EM, PLG, MC, MVH), pp. 174–184.
PPDP-2008-MoralesCH #automaton #generative #using: Comparing tag scheme variations using an abstract machine generator (JFM, MC, MVH), pp. 32–43.
LOPSTR-2007-CasasCH #algorithm #independence #logic programming #source code #strict: Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs (AC, MC, MVH), pp. 138–153.
PADL-2007-MeraLPCH #execution #profiling #static analysis: Combining Static Analysis and Profiling for Estimating Execution Times (EM, PLG, GP, MC, MVH), pp. 140–154.
ICLP-2006-MeraLPCH #estimation #execution #logic programming #profiling #static analysis #using: Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation (EM, PLG, GP, MC, MVH), pp. 431–432.
LOPSTR-2006-MoralesCH #automaton #optimisation #prolog #towards: Towards Description and Optimization of Abstract Machines in an Extension of Prolog (JFM, MC, MVH), pp. 77–93.
ICLP-2005-MoralesCPH #automaton #generative #implementation #performance: A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization (JFM, MC, GP, MVH), pp. 21–36.
PADL-2004-CorreasGCCH #implementation #persistent: A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations) (JC, JMG, MC, DC, MVH), pp. 104–119.
PADL-2004-MoralesCH #c #compilation #prolog #using: Improved Compilation of Prolog to C Using Moded Types and Determinism Information (JFM, MC, MVH), pp. 86–103.
ICLP-2003-CorreasGCGH #persistent: A Generic Persistence Model for (C)LP Systems (JC, JMG, MC, DCG, MVH), pp. 481–482.
ICLP-1999-CarroH #concurrent #database #prolog #thread #using: Concurrency in Prolog Using Threads and a Shared Database (MC, MVH), pp. 320–334.
ICLP-1995-HermenegildoGC #concurrent #implementation #logic programming #parallel #using: Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems (MVH, DCG, MC), pp. 631–645.
ILPS-1994-TangPGC #backtracking #logic programming #optimisation #parallel #performance: Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems (DT, EP, GG, MC), pp. 683–684.
ICLP-1993-CarroGH #execution #logic programming #paradigm #parallel #source code #visualisation: Some Paradigms for Visualizing Parallel Execution of Logic Programs (MC, LMGH, MVH), pp. 184–200.
PPDP-2016-AriasC #design #evaluation #execution: Description and evaluation of a generic design to integrate CLP and tabled execution (JA, MC), pp. 10–23.