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: Miranda:Javier
Contributed to:
200720062005
2005
20042004200320022001Wrote 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–?.