Publications

Publications with the same journal as the Automatic Amortised Analysis of Dynamic Memory Allocation for Lazy Functional Programs publication

Group by: Tipo Ano Order: Title Year Type of publication

Another Publication in an International Scientific Journal

CONFERENCE REPORT ON PDK91 - INTERNATIONAL WORKSHOP ON PROCESSING DECLARATIVE KNOWLEDGE

Cristina Ribeiro (Author) (FEUP)

1992

Indexing

ISI Web of Knowledge

Article in International Scientific Journal

Recursion patterns and time-analysis

Barbosa, A (Author) (Other); Cunha, A (Author) (Other); Pinto, JS (Author) (Other)

2005

Indexing

ISI Web of Knowledge - 1 Citation

Scopus - 1 Citation

PADL '00: Workshop on Practical Aspects of Declarative Languages

Enrico Pontelli (Author) (Other); Vítor Santos Costa (Author) (FCUP)

2000

From simulation to practice: Cache performance study of a prolog system

Lopes, R (Author) (FCUP); Castro, LF (Author) (Other); Costa, VS (Author) (FCUP)

2003

Scientific classification Indexing

ISI Web of Knowledge - 1 Citation

Scopus - 1 Citation

FOS: Computer and information sciences

CONCURRENCY ANNOTATIONS IN C++

BAQUERO, C (Author) (Other); MOURA, F (Author) (Other)

1994

Indexing

ISI Web of Knowledge - 2 Citations

Scopus - 5 Citations

Andorra I

Costa, VS (Author) (FCUP); Warren, DHD (Author) (Other); Yang, R (Author) (Other)

1991

Records 1 to 6 from 6

 

1