Filters








222,895 Hits in 5.9 sec

Implementation of data types by algebraic methods

Edward K. Blum, Francesco Parisi-Presicce
1983 Journal of computer and system sciences (Print)  
Goguen, Thatcher, Wagner, and Wright [4, 51 have developed the algebraic method of treating data types to a high level of sophistication.  ...  of data types and complex computer programs which perform computations on data types.  ... 
doi:10.1016/0022-0000(83)90045-4 fatcat:jkbquxnykjhthhes4hnmdy7bmq

Extensible algebraic datatypes with defaults

Matthias Zenger, Martin Odersky
2001 SIGPLAN notices  
Extensible algebraic datatypes have been successfully applied in the implementation of an extensible Java compiler.  ...  A major problem for writing extensible software arises when recursively defined datatypes and operations on these types have to be extended simultaneously without modifying existing code.  ...  They implemented extensions of JaCo and provided feedback on the implementation.  ... 
doi:10.1145/507669.507665 fatcat:q3xbdh3m7ff2xpxxxjg6f4fhz4

Extensible algebraic datatypes with defaults

Matthias Zenger, Martin Odersky
2001 Proceedings of the sixth ACM SIGPLAN international conference on Functional programming - ICFP '01  
Extensible algebraic datatypes have been successfully applied in the implementation of an extensible Java compiler.  ...  A major problem for writing extensible software arises when recursively defined datatypes and operations on these types have to be extended simultaneously without modifying existing code.  ...  They implemented extensions of JaCo and provided feedback on the implementation.  ... 
doi:10.1145/507663.507665 fatcat:rsci56sjjbg6hfcatpkeqes6km

Extensible algebraic datatypes with defaults

Matthias Zenger, Martin Odersky
2001 Proceedings of the sixth ACM SIGPLAN international conference on Functional programming - ICFP '01  
Extensible algebraic datatypes have been successfully applied in the implementation of an extensible Java compiler.  ...  A major problem for writing extensible software arises when recursively defined datatypes and operations on these types have to be extended simultaneously without modifying existing code.  ...  They implemented extensions of JaCo and provided feedback on the implementation.  ... 
doi:10.1145/507635.507665 dblp:conf/icfp/ZengerO01 fatcat:2tx33p7xefeoxi5gxaivga3vwu

Scrap your boilerplate with object algebras

Haoyuan Zhang, Zewei Chu, Bruno C. d. S. Oliveira, Tijs van der Storm
2015 Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2015  
This paper presents a type-safe Java framework called Shy that removes much of this boilerplate code. In Shy Object Algebras are used to describe complex and extensible AST structures.  ...  Using Java annotations Shy generates generic boilerplate code for various types of traversals.  ...  Tse for valuable feedback on previous drafts of this work.  ... 
doi:10.1145/2814270.2814279 dblp:conf/oopsla/ZhangCOS15 fatcat:3rrsgzwbyfbfvpuhetogptbdfy

Scrap your boilerplate with object algebras

Haoyuan Zhang, Zewei Chu, Bruno C. d. S. Oliveira, Tijs van der Storm
2015 SIGPLAN notices  
This paper presents a type-safe Java framework called Shy that removes much of this boilerplate code. In Shy Object Algebras are used to describe complex and extensible AST structures.  ...  Using Java annotations Shy generates generic boilerplate code for various types of traversals.  ...  Tse for valuable feedback on previous drafts of this work.  ... 
doi:10.1145/2858965.2814279 fatcat:wciegrbuzvaivgoszdsm7iiihm

Extensibility for the Masses [chapter]

Bruno C. d. S. Oliveira, William R. Cook
2012 Lecture Notes in Computer Science  
In the paper we develop an increasingly more complex set of features for a mini-imperative language, and we discuss a real-world application of object algebras in an implementation of remote batches.  ...  Object algebras also have much in common with the traditional forms of the Visitor pattern, but without many of its drawbacks: they are extensible, remove the need for accept methods, and do not compromise  ...  This research was funded by the UT Austin-Portugal Colab Program and by Singapore Ministry of Education research grant MOE2010-T2-2-073.  ... 
doi:10.1007/978-3-642-31057-7_2 fatcat:wv2fjsvleze5dhjgv5zcgrfaia

Extensible language implementation with object algebras (short paper)

Maria Gouseti, Chiel Peters, Tijs van der Storm
2014 Proceedings of the 2014 International Conference on Generative Programming: Concepts and Experiences - GPCE 2014  
Object Algebras are a recently introduced design pattern to make the implementation of recursive data types more extensible.  ...  This experience has led to a simple, yet powerful set of tools for the practical and flexible implementation of highly extensible languages.  ...  Introduction Object Algebras are a programming technique to make the implementation of recursive data types more extensible [2] .  ... 
doi:10.1145/2658761.2658765 dblp:conf/gpce/GousetiPS14 fatcat:55g2buypuzdudob4w7czostv6u

Extensible language implementation with object algebras (short paper)

Maria Gouseti, Chiel Peters, Tijs van der Storm
2014 SIGPLAN notices  
Object Algebras are a recently introduced design pattern to make the implementation of recursive data types more extensible.  ...  This experience has led to a simple, yet powerful set of tools for the practical and flexible implementation of highly extensible languages.  ...  Introduction Object Algebras are a programming technique to make the implementation of recursive data types more extensible [2] .  ... 
doi:10.1145/2775053.2658765 fatcat:pdcfcpqdfbcqba2kn2ih6jk42y

Design and evaluation of a linear algebra package for Java

G. Almasi, F. G. Gustavson, J. E. Moreira
2000 Proceedings of the ACM 2000 conference on Java Grande - JAVA '00  
Type specific methods capture the lower level optimizations for operations on matrices of single-precision, double-precision, or complex numbers.  ...  We adopted an object-oriented design in which the linear algebra operations are implemented as strategy design pattems.  ...  Acknowledgements: The authors wish to thank Sid Chatterjee for fruitful discussions during the development of the linear algebra package for Java.  ... 
doi:10.1145/337449.337534 dblp:conf/java/AlmasiGM00 fatcat:c7xjyvvhtbcatdbw2gphgvc2zq

An Innovative Teaching Tool for the Verification of Abstract Data Type Implementations from Formal Algebraic Specifications

Rafael del Vado Víırseda, Fernando Pérez Morente
2012 Procedia Computer Science  
The observation of the implementation under test is done for each abstract data type through explicit methods defined by the user.  ...  This paper presents an educational tool for testing abstract data types implemented in C++ against formal algebraic specifications written in Maude, a formal specification language based on rewriting logic  ...  Acknowledgments The work of this author has been partially supported by the Spanish projects FAST-STAMP (TIN2008-06622-C03-01), PROMETIDOS-CM (S2009TIC-1465), GPD (UCM-BSCH-GR58/08-910502), and PIMCD n  ... 
doi:10.1016/j.procs.2012.04.192 fatcat:yondn25he5ht5c5nqg6wzwk5uu

Page 4654 of Mathematical Reviews Vol. , Issue 85j [page]

1985 Mathematical Reviews  
Blum, Edward K. (1-SCA); 85j:68078 Parisi-Presicce, Francesco (1-SCA) Implementation of data types by algebraic methods. J. Comput. System Sci. 27 (1983), no. 2, 304-330.  ...  (Compare this with the definitions of a many-sorted algebra as a collection of sets, together with a ranked set of functions on the sets.) Just what does it mean to implement an abstract data type?  ... 

Finally, a Polymorphic Linear Algebra Language (Pearl)

Amir Shaikhha, Lionel Parreaux, Michael Wagner
2019 European Conference on Object-Oriented Programming  
Many different data analytics tasks boil down to linear algebra primitives. In practice, for each different type of workload, data scientists use a particular specialised library.  ...  In this paper, we present Pilatus, a polymorphic iterative linear algebra language, applicable to various types of data analytics workloads.  ...  1 We used Scala as the implementation language for Pilatus, but other programming languages with support for lambda expressions and multi-stage programming could be used as well; most of the techniques  ... 
doi:10.4230/lipics.ecoop.2019.25 dblp:conf/ecoop/ShaikhhaP19 fatcat:uw35z2shozcs3lghnngzenfrwe

Abstract specification of structures and methods in symbolic mathematical computation

C. Limongelli, M. Temperini
1992 Theoretical Computer Science  
The resulting programming system should be able to support the formal definition of mathematical data structures and methods at their highest level of abstraction, to perform computations on instances  ...  This paper describes a methodology based on the object-oriented programming paradigm, to support the design and implementation of a symbolic computation system.  ...  The implementation of these data structures can exploit the polymorphism induced by the hierarchy of the data type definition.  ... 
doi:10.1016/0304-3975(92)90167-e fatcat:opbpbveopjcqhbi7xm3tdyg2zq

Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development

H. Ehrig, B. Mahr, I. Classen, F. Orejas
1992 Computer journal  
The intention of this part 1 of an overview paper on algebraic specifications is an informal introduction to formal methods for software development in general and to applications of algebraic specifications  ...  In part 2 of this paper we give a survey of the research field of algebraic specifications developed within the last two decades, which shows how the classical view of algebraic specifications has been  ...  This means that the semantics is given by one abstract data type, i.e. an isomorphism class of data types.  ... 
doi:10.1093/comjnl/35.5.460 fatcat:bydbyk3m4bc3vnr6xnn5no27lq
« Previous Showing results 1 — 15 out of 222,895 results