help

Você está em: Start > Publications > Memoized zipper-based attribute grammars and their higher order extension > View related publications

Instalation Map

Publication

Publication Search

Publications with the same journal as the Memoized zipper-based attribute grammars and their higher order extension publication

Group by: Order:

Article in International Scientific Journal

Typed connector families and their semantics

Proença, J (Author) (Other); Clarke, D (Author) (Other)

2017

Indexing

The CAOS framework for Scala: Computer-aided design of SOS

Proença, J (Author) (FCUP); Edixhoven, L (Author) (Other)

2025

Indexing

Special issue on selected papers from the 14th International Conference on Formal Aspects of Component Software (FACS 2017)

Proença, J (Author) (Other); Lumpe, M (Author) (Other)

2022

Ranking programming languages by energy efficiency

Rui Pereira (Author) (Other); Marco Couto (Author) (Other); Francisco Ribeiro (Author) (Other); Rui Rua (Author) (Other); Jácome Cunha (Author) (FEUP); João Paulo Fernandes (Author) (FEUP); João Saraiva (Author) (Other)

2021

Indexing

Multiple intermediate structure deforestation by shortcut fusion

Pardo, A (Author) (Other); Joao Paulo Fernandes (Author) (Other); Saraiva, J (Author) (Other)

2016

Indexing

Model-based programming environments for spreadsheets

Cunha, J (Author) (FCUP); Mendes, J (Author) (Other); Saraiva, J (Author) (Other); Visser, J (Author) (Other)

2014

Indexing

Hubs for VirtuosoNext: Online verification of real-time coordinators

Cledou, G (Author) (Other); Proenca, J (Author) (Other); Sputh, BHC (Author) (Other); Verhulst, E (Author) (Other)

2021

Indexing

Formal verification of side-channel countermeasures using self-composition

Bacelar Almeida, JB (Author) (Other); Barbosa, M (Author) (FCUP); Pinto, JS (Author) (Other); Vieira, B (Author) (Other)

2013

Indexing

Experiences on teaching alloy with an automated assessment platform

Macedo, N (Author) (FEUP); Alcino Cunha (Author) (Other); Renato Carvalho (Author) (Other); Ricardo Silva (Author) (Other); Ana C. R. Paiva (Author) (FEUP); Miguel Sozinho Ramalho (Author) (Other); Daniel Silva (Author) (Other)

2021

Indexing

Embedding attribute grammars and their extensions using functional zippers

Martins, P (Author) (Other); Joao Paulo Fernandes (Author) (Other); Saraiva, J (Author) (Other); Van Wyk, E (Author) (Other); Sloane, A (Author) (Other)

2016

Indexing

Channel-based coordination via constraint satisfaction

Clarke, D (Author) (Other); Proença, J (Author) (Other); Lazovik, A (Author) (Other); Arbab, F (Author) (Other)

2011

Indexing

Certifying execution time in multicores

Rodrigues, V (Author) (Other); Akesson, B (Author) (Other); Florido, M (Author) (FCUP); De Sousa, SM (Author) (Other); Pedroso, JP (Author) (FCUP); Vasconcelos, P (Author) (FCUP)

2015

Indexing

CAOVerif: An open-source deductive verification platform for cryptographic software implementations

Almeida, JB (Author) (Other); Barbosa, M (Author) (FCUP); Filliatre, JC (Author) (Other); Pinto, JS (Author) (Other); Vieira, B (Author) (Other)

2014

Indexing