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 × France
1 × Portugal
1 × Switzerland
1 × United Kingdom
2 × USA
Collaborated with:
E.Schonberg F.G.Santana E.Martel L.Hernández F.García-Rodríguez J.F.Gálvez G.Dismukes M.A.Rivas M.G.Harbour H.H.Kirtchev J.Martin A.Gonzalez A.Alvarez S.Arévalo J.M.Santos E.Pulido
Talks about:
ada (6) gnat (4) interfac (3) compil (3) implement (2) distribut (2) program (2) system (2) applic (2) type (2)

Person: Javier Miranda

DBLP DBLP: Miranda:Javier

Contributed to:

Ada-Europe 20072007
Ada-Europe 20062006
Ada-Europe 20052005
SIGAda 20052005
PDP 20042004
SIGAda 20042004
Ada-Europe 20032003
PDP 20022002
PDP 20012001

Wrote 11 papers:

AdaEurope-2007-Garcia-RodriguezMG #ada #compilation #garbage collection #precise
Incorporating Precise Garbage Collection in an Ada Compiler (FGR, JM, JFG), pp. 235–245.
AdaEurope-2006-MirandaS #c++ #interface
Abstract Interface Types in GNAT: Conversions, Discriminants, and C++ (JM, ES), pp. 179–190.
AdaEurope-2005-MirandaSD #ada #compilation #implementation #interface
The Implementation of Ada 2005 Interface Types in the GNAT Compiler (JM, ES, GD), pp. 208–219.
AdaEurope-2005-RivasMH #ada #policy #scheduling
Integrating Application-Defined Scheduling with the New Dispatching Policies for Ada Tasks (MAR, JM, MGH), pp. 220–235.
SIGAda-2005-MirandaSK #ada #compilation #implementation #interface
The implementation of ada 2005 synchronized interfaces in the GNAT compiler (JM, ES, HHK), pp. 41–48.
PDP-2004-MartelMSH #distributed
Remote Management of Distributed Applications (EM, JM, FGS, LH), p. 159–?.
SIGAda-2004-MirandaS #ada #named
GNAT: on the road to Ada 2005 (JM, ES), pp. 51–60.
AdaEurope-2003-MartelSMH #visual notation
A Graphical Environment for GLADE (EM, FGS, JM, LH), pp. 182–195.
PDP-2002-GuerraMSMHP #distributed #programming
Programming Distributed Systems with Group_IO (FGS, JM, JMS, EM, LH, EP), pp. 188–197.
PDP-2002-MirandaGMG #ada #preprocessor
A Technique to Build Ada Preprocessors (JM, FGS, JM, AG), pp. 196–200.
PDP-2001-MirandaSAA #programming
Programming Cooperative Systems in Drago (JM, FGS, AA, SA), p. 211–?.

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.