BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × USA
2 × Italy
2 × Spain
2 × United Kingdom
Collaborated with:
M.V.Hermenegildo M.Carro N.Stulova R.Haemmerlé B.Kafle J.P.Gallagher Z.Drey G.Puebla Maximiliano Klemen Pedro López-García 0001
Talks about:
abstract (4) prolog (3) machin (3) extens (3) check (3) use (3) program (2) modular (2) languag (2) generat (2)

Person: José F. Morales

DBLP DBLP: Morales:Jos=eacute=_F=

Contributed to:

ICLP 20152015
LOPSTR 20142014
PPDP 20142014
PADL 20132013
ICLP 20122012
LOPSTR 20112011
PPDP 20082008
LOPSTR 20062006
ICLP 20052005
PADL 20042004
CAV (1) 20162016
PPDP 20162016
PPDP 20182018

Wrote 13 papers:

ICLP-J-2015-StulovaMH #runtime
Practical run-time checking via unobtrusive property caching (NS, JFM, MVH), pp. 726–741.
LOPSTR-2014-MoralesH #prolog
Pre-indexed Terms for Prolog (JFM, MVH), pp. 317–331.
PPDP-2014-StulovaMH #debugging #higher-order #source code
Assertion-based Debugging of Higher-Order (C)LP Programs (NS, JFM, MVH), pp. 225–235.
PADL-2013-DreyMHC #debugging
Reversible Language Extensions and Their Application in Debugging (ZD, JFM, MVH, MC), pp. 206–221.
ICLP-J-2012-MoralesHCH #compilation #javascript #lightweight
Lightweight compilation of (C)LP to JavaScript (JFM, RH, MC, MVH), pp. 755–773.
LOPSTR-2011-MoralesHH #composition #logic
Modular Extensions for Modular (Logic) Languages (JFM, MVH, RH), pp. 139–154.
PPDP-2008-MoralesCH #automaton #generative #using
Comparing tag scheme variations using an abstract machine generator (JFM, MC, MVH), pp. 32–43.
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-MoralesCH #c #compilation #prolog #using
Improved Compilation of Prolog to C Using Moded Types and Determinism Information (JFM, MC, MVH), pp. 86–103.
CAV-2016-KafleGM #abstract interpretation #automaton #finite #horn clause #named #using #verification
Rahft: A Tool for Verifying Horn Clauses Using Abstract Interpretation and Finite Tree Automata (BK, JPG, JFM), pp. 261–268.
PPDP-2016-StulovaMH #runtime #static analysis
Reducing the overhead of assertion run-time checks via static analysis (NS, JFM, MVH), pp. 90–103.
PPDP-2018-KlemenS0MH #performance #runtime #source code
Static Performance Guarantees for Programs with Runtime Checks (MK, NS, PLG0, JFM, MVH), p. 13.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.