Universidade do Minho Escola de Engenharia Nuno Filipe Moreira Macedo A Relational Approach to

Source URL: alfa.di.uminho.pt

Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants Nuno Macedo, Hugo Pacheco, and Alcino Cunha HASLab — High Assurance Software Laboratory INESC TEC & Universidade do Minho,

Source URL: alfa.di.uminho.pt

Automatic Unbounded Verification of Alloy Specifications with Prover9 Alcino Cunha and Nuno Macedo HASLab — High Assurance Software Laboratory INESC TEC & Universidade do Minho, Braga, Portugal May 2011

Source URL: alfa.di.uminho.pt

Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants Nuno Macedo, Hugo Pacheco, Alcino Cunha {nfmmacedo,hpacheco,alcino}@di.uminho.pt Techn. Report TR-HASLab:03:2012

Source URL: alfa.di.uminho.pt

Towards a Framework for Multidirectional Model Transformations Nuno Macedo Alcino Cunha

Source URL: alfa.di.uminho.pt

“Political Economy, Economic Policy and Accumulation of Capital: Ideas, Tensions & Options in Mozambique” Carlos Nuno Castel-Branco

Source URL: www.iese.ac.mz

Provably Correct Peephole Optimizations with Alive Nuno P. Lopes Microsoft Research, UK David Menendez

Source URL: www.cs.utah.edu

• Compiler construction
• Compilers
• Compiler optimizations
• C programming language
• LLVM
• Compiler
• Static single assignment form
• GNU Compiler Collection
• Type system
• Software
• Computing
• Programming language implementation

Water, energy and limits to growth Dr. Carles Ibàñez & Dr. Nuno Caiola IRTA, Aquatic Ecosystems Program , Catalonia Oxford, April 2012

Source URL: www.water.ox.ac.uk

• Energy economics
• Energy development
• Low-carbon economy
• Technology development
• Energy industry
• World energy consumption
• Energy security
• Renewable energy
• Energy conservation
• Energy
• Technology
• Energy policy

Capital accumulation, public debt & social policy: debunking ‘paradoxes’ of the Mozambican ‘miracle’ Carlos Nuno Castel-Branco

Source URL: www.iese.ac.mz

Observatório das Desigualdades e-Working Paper N.º doi: CIESODWP042014 A mão esquerda e a mão direita do Estado português: que atuais tendências? Maria do Carmo Botelho, Rosário Mauritti, Nuno Nune

Source URL: repositorio.iscte-iul.pt