E-LIB Suche - Ergebnisse für: Oliveira, José Nuno

1

Why Adjunctions Matter—A Functional Programmer Perspective:

, In: Recent Trends in Algebraic Development Techniques; Lecture Notes in Computer Science,

Oliveira, José Nuno - p. 25-59 , 2023

2

On difunctions:

Backhouse, Roland ; Oliveira, José Nuno
Journal of Logical and Algebraic Methods in Programming. 134 (2023) - p. 100878 , 2023

Link: https://doi.org/10.1016/..

3

A tribute to José Manuel Valença:

Oliveira, José Nuno ; Pinto, Jorge Sousa ; Barbosa, Luís Soares.
Journal of Logical and Algebraic Methods in Programming. 128 (2022) - p. 100792 , 2022

Link: https://doi.org/10.1016/..

4

Programming from metaphorisms:

Oliveira, José Nuno
Journal of Logical and Algebraic Methods in Programming. 94 (2018) - p. 15-44 , 2018

Link: https://doi.org/10.1016/..

5

"Keep definition, change category" — A practical approach t..:

Oliveira, José Nuno ; Miraldo, Victor Cacciari
Journal of Logical and Algebraic Methods in Programming. 85 (2016) 4 - p. 449-474 , 2016

Link: https://doi.org/10.1016/..

6

A linear algebra approach to OLAP:

Macedo, Hugo Daniel ; Oliveira, José Nuno
Formal Aspects of Computing. 27 (2015) 2 - p. 283-307 , 2015

Link: https://doi.org/10.1007/..

7

A study of risk-aware program transformation:

Murta, Daniel ; Oliveira, José Nuno
Science of Computer Programming. 110 (2015) - p. 51-77 , 2015

Link: https://doi.org/10.1016/..

8

Typing linear algebra: A biproduct-oriented approach:

Macedo, Hugo Daniel ; Oliveira, José Nuno
Science of Computer Programming. 78 (2013) 11 - p. 2160-2191 , 2013

Link: https://doi.org/10.1016/..

9

Programming from Galois connections:

Mu, Shin-Cheng ; Oliveira, José Nuno
The Journal of Logic and Algebraic Programming. 81 (2012) 6 - p. 680-704 , 2012

Link: https://doi.org/10.1016/..

10

FME 2001: Formal Methods for Increasing Software Productivi..

International Symposium of Formal Methods Europe Berlin, Ge... Lecture Notes in Computer Science ; 2021;SpringerLink, Bücher;Springer eBook Collection, Computer Science

Oliveira, José Nuno ; Zave, Pamela , 2001

Link: https://doi.org/10.1007/..

11

Mathematics of Program Construction

5th International Conference, MPC 2000, Ponte de Lima, Port... Lecture Notes in Computer Science ; 1837

Backhouse, Roland ; Oliveira, José Nuno , 2000

Link: https://doi.org/10.1007/..

12

CAD tool extension for formal building description language:

Oliveira, José Nuno
Advances in Engineering Software. 29 (1998) 7-9 - p. 571-586 , 1998

Link: https://doi.org/10.1016/..

13

Teaching formal methods

second international conference, TFM 2009, Eindhoven, The N... Lecture notes in computer science ; 5846

Gibbons, Jeremy ; Nuno Oliveira, José , 2009

Link: http://dx.doi.org/10.100..

14

On difunctions:

Backhouse, Roland ; Oliveira, José Nuno
https://nottingham-repository.worktribe.com/output/22996648. , 2023

Link: https://doi.org/10.1016/..

15

Calculating risk in functional programming:

Murta, Daniel ; Oliveira, Jose Nuno
http://arxiv.org/abs/1311.3687. , 2013

Link: http://arxiv.org/abs/131..