George Souza Oliveira

Publication Activity (10 Years)

Years Active: 2012-2014
Publications (10 Years): 0

Top Topics

Constraint Logic Programming

Theorem Proving

General Purpose

Mixed Model Assembly

Top Venues

Publications

George Souza Oliveira, Anderson Faustino da Silva
Towards an Efficient Prolog System by Code Introspection. CoRR (2014)
George Souza Oliveira, Anderson Faustino da Silva
Prolog: A Linguagem, A Máquina Abstrata de Warren e Implementações. RITA 20 (2) (2013)
George Souza Oliveira, Anderson Faustino da Silva
Compilação Just-In-Time: Histórico, Arquitetura, Princípios e Sistemas. RITA 20 (2) (2013)
Tiago Cariolano de Souza Xavier, George Souza Oliveira, Ewerton Daniel de Lima, Anderson Faustino da Silva
A Detailed Analysis of the LLVM's Register Allocators. SCCC (2012)