Dezyne: Paving the Way to Practical Formal Software Engineering
van Beusekom, Rutger, de Jonge, Bert, Hoogendijk, Paul, Nieuwenhuizen, Jan
Published in Electronic proceedings in theoretical computer science (06.08.2021)
Published in Electronic proceedings in theoretical computer science (06.08.2021)
Get full text
Journal Article
Dezyne: Paving the Way to Practical Formal Software Engineering
Rutger van Beusekom, de Jonge, Bert, Hoogendijk, Paul, Nieuwenhuizen, Jan
Published in arXiv.org (06.08.2021)
Published in arXiv.org (06.08.2021)
Get full text
Paper
Journal Article
Generic functional programming with types and relations
Bird, Richard, De Moor, Oege, Hoogendijk, Paul
Published in Journal of functional programming (01.01.1996)
Published in Journal of functional programming (01.01.1996)
Get full text
Journal Article
Final Dialgebras: From Categories to Allegories
Backhouse, Roland, Hoogendijk, Paul
Published in Informatique théorique et applications (Imprimé) (01.07.1999)
Published in Informatique théorique et applications (Imprimé) (01.07.1999)
Get full text
Journal Article
Conference Proceeding
Processing system including a reconfigurable channel infrastructure comprising a control chain with combination elements for each processing element and a programmable switch between each pair of neighboring processing elements for efficient clustering of processing elements
Pires Dos Reis Moreira, Orlando Miguel, Augusteijn, Alexander, De Oliveira Kastrup Pereira, Bernardo, Yedema, Wim Feike Dominicus, Hoogendijk, Paul Ferenc, Mallon, Willem Charles
Year of Publication 31.08.2010
Get full text
Year of Publication 31.08.2010
Patent
Processing system including a reconfigurable channel infrastructure comprising a control chain with combination elements for each processing element and a programmable switch between each pair of neighboring processing elements for efficient clustering of processing elements
PIRES DOS REIS MOREIRA ORLANDO MIGUEL, DE OLIVEIRA KASTRUP PEREIRA BERNARDO, YEDEMA WIM FEIKE DOMINICUS, MALLON WILLEM CHARLES, AUGUSTEIJN ALEXANDER, HOOGENDIJK PAUL FERENC
Year of Publication 31.08.2010
Get full text
Year of Publication 31.08.2010
Patent