Typing linear algebra: A biproduct-oriented approach
HD Macedo, JN Oliveira - Science of Computer Programming, 2013 - Elsevier
Interested in formalizing the generation of fast running code for linear algebra applications,
the authors show how an index-free, calculational approach to matrix algebra can be …
the authors show how an index-free, calculational approach to matrix algebra can be …
Towards a linear algebra of programming
JN Oliveira - Formal Aspects of Computing, 2012 - Springer
The algebra of programming (AoP) is a discipline for programming from specifications using
relation algebra. Specification vagueness and nondeterminism are captured by …
relation algebra. Specification vagueness and nondeterminism are captured by …
Matrices as arrows! A biproduct approach to typed linear algebra
HD Macedo, JN Oliveira - International Conference on Mathematics of …, 2010 - Springer
Motivated by the need to formalize generation of fast running code for linear algebra
applications, we show how an index-free, calculational approach to matrix algebra can be …
applications, we show how an index-free, calculational approach to matrix algebra can be …
Weighted automata as coalgebras in categories of matrices
JN Oliveira - International Journal of Foundations of Computer …, 2013 - World Scientific
The evolution from non-deterministic to weighted automata represents a shift from qualitative
to quantitative methods in computer science. The trend calls for a language able to reconcile …
to quantitative methods in computer science. The trend calls for a language able to reconcile …
Typed linear algebra for weigthed (probabilistic) automata
JN Oliveira - Implementation and Application of Automata: 17th …, 2012 - Springer
There is a need for a language able to reconcile the recent upsurge of interest in quantitative
methods in the software sciences with logic and set theory that have been used for so many …
methods in the software sciences with logic and set theory that have been used for so many …
Towards linear algebras of components
HD Macedo, JN Oliveira - International Workshop on Formal Aspects of …, 2010 - Springer
Introduction In a recent article [1], David Parnas questions the traditional use of formal
methods in software development, which he considers an underdeveloped body of …
methods in software development, which he considers an underdeveloped body of …
Matrices as arrows! A biproduct approach to typed linear algebra
JNF Oliveira, HD Macedo - 2010 - repositorium.uminho.pt
Motivated by the need to formalize generation of fast running code for linear algebra
applications, we show how an index-free, calculational approach to matrix algebra can be …
applications, we show how an index-free, calculational approach to matrix algebra can be …