A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Mechanisms for naming An algebraic approach with an application to Java
2001
Science of Computer Programming
Preserved Fulltext
These concepts are developed and then they are applied to aspects of Java to see whether indeed they lead to compact characterizations of the language's mechanisms for naming. ...
The present paper investigates the hypothesis that a variety of mechanisms for naming can be understood as algebraic concepts. ...
Acknowledgements We like to thank Jan Bergstra, Frank van der Linden, Andrà e Engels and Michel Reniers for their support and help. ...
doi:10.1016/s0167-6423(00)00003-4
fatcat:7zijkjqucnewvbcandj6zkrsyy
Language-Independent and Automated Software Composition: The FeatureHouse Experience
2013
IEEE Transactions on Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
We discuss perspectives of our approach and demonstrate how we extended FEATUREHOUSE with support for XML languages (in particular, XHTML, XMI/UML, and Ant) and alternative composition approaches (in particular ...
We use attribute grammars to automate the integration of additional languages. In particular, we have integrated Java, C#, C, Haskell, Alloy, and JavaCC. ...
ACKNOWLEDGMENTS We are grateful to Don Batory for helpful comments on earlier drafts of this paper, Sebastian Scharinger and Alexander von Rhein for implementing the Java and C# parsers of FSTCOMPOSER, ...
doi:10.1109/tse.2011.120
fatcat:qknmw5o25zentlklv4x5vnyh4y
An Integrated Development Environment for Pattern Matching Programming
2004
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
By integrating a Tom editor, an automatic build process, and an error management mechanism, we demonstrate the integration of an algebraic programming environment in Eclipse. ...
Tom is an extension of Java which adds pattern matching facilities independently of the used data-structure. ...
We plan to improve our plug-in with the following new features: • auto-completion of field-names and algebraic constructors. ...
doi:10.1016/j.entcs.2004.02.045
fatcat:5ynr6kvcofgltgtq4qvqztr7ea
Symbolic computation in Java
1999
Proceedings of the 1999 international symposium on Symbolic and algebraic computation - ISSAC '99
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
Acknowledgement The authors thank the referees for their helpful comments. ...
It adopted Smalltalk's approach of an interpreted intermediate instruction set, namely, Java's byte code and virtual machine. ...
For integrating Java into programs written in other languages that approach is not an optimal solution since we would need to create Java wrappers for integrating legacy code. ...
doi:10.1145/309831.309946
dblp:conf/issac/BernardinCK99
fatcat:wd4kvix74rdftgiiq2pp7srvsa
Evaluating Java performance for linear algebra numerical computations
2011
Procedia Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
In this paper we evaluate the performance of a Java library in the context of designing numerical solutions for linear algebra problems. ...
We developed a Java library for matrix computations and show that using a set of optimization techniques Java can achieve performance comparable with other libraries developed in C or Fortran. ...
Acknowledgements The work related to this paper was supported by the CNCSIS-UEFISCSU projects PNII -IDEI ID_1814 and ID_1793. ...
doi:10.1016/j.procs.2010.12.080
fatcat:il3s5gpfibds7dluql6k3wu5gi
Developing and debugging algebraic specifications for Java classes
2008
ACM Transactions on Software Engineering and Methodology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
Given an algebraic specification of a class, our interpreter generates a prototype which can be used within an application just like any regular Java class. ...
To address the practical difficulties with formal specifications, we describe and evaluate a tool to help programmers write and debug algebraic specifications. ...
POPL, ECOOP, and ICSE for listening to our ideas and giving great feedback. ...
doi:10.1145/1363102.1363105
fatcat:6p67i33mqnd7zijocddgsjplk4
Applications = Components + GLoo
2007
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
However, the biggest obstacle for a successful use of this maxim originates from the choice of the scripting mechanisms being used to define applications as compositions of reusable software components ...
We are advocating a component-oriented software development approach that provides support for a clear separation between the computational and the compositional entities of an application. ...
The author would like to thank the anonymous reviewers for their valuable comments and discussions. ...
doi:10.1016/j.entcs.2006.09.035
fatcat:cgolcrov3zgzhdx3svfhgya5pm
An algebraic foundation for automatic feature-based program synthesis
2010
Science of Computer Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Furthermore, our algebraic framework is meant to serve as a basis for the development of the technology of automatic feature-based program synthesis and architectural metaprogramming. ...
We present a feature algebra that captures the key ideas of feature orientation and that provides a common ground for current and future research in this field, on which also alternative options can be ...
Acknowledgments We thank Don Batory, Tony Hoare, Peter Höfner and the anonymous AMAST'08 and SCP reviewers for helpful comments. ...
doi:10.1016/j.scico.2010.02.001
fatcat:h6oosbwcgvakvcmn5xtvcbazce
Attribute Computations in the DPoPb Graph Transformation Engine
2010
Electronic Communications of the EASST
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Most of the existing systems adopt the standard algebraic approach where graphs are attributed using sigma-algebras. ...
We also present an implementation of the DPoPb system in the Haskell language which thoroughly covers the semantics of this graph rewriting system. ...
With respect to functional programming languages, Java lacks some conciseness. Some libraries have been proposed to implement the lazy-evaluation mechanism for object-oriented environments. ...
doi:10.14279/tuj.eceasst.32.511
dblp:journals/eceasst/TranPDFS10
fatcat:cxme6lkusnexddfpklmq5anbta
Compilation of mathematical expressions in Kotlin
[article]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Other Versions
There are different approaches to this problem from creating an embedded domain-specific language (eDSL) with its own parser and interpreter specifically for that task, to using a full-fledged embedded ...
This article is dedicated to a middle-ground solution implemented in the KMath library, which uses the Kotlin object builder DSL and its own algebraic abstractions to generate an AST for mathematical operations ...
The author would like to thank the members of the KMath development team (Alexander Nozik, Peter Klimai, and Roland Grinis) and Breandan Considine for the discussion and revision of the work. ...
arXiv:2102.07924v3
fatcat:dxd3ipen6nbw7cdjo3u55jzqya
Extensible algebraic datatypes with defaults
2001
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
Extensible algebraic datatypes have been successfully applied in the implementation of an extensible Java compiler. ...
We show that it is possible to encode extensible algebraic datatypes in an object-oriented language, using a new design pattern for extensible visitors. ...
Acknowledgments Special thanks to Christoph Zenger and Michel Schinz for numerous helpful discussions. ...
doi:10.1145/507669.507665
fatcat:q3xbdh3m7ff2xpxxxjg6f4fhz4
Extensible algebraic datatypes with defaults
2001
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming - ICFP '01
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
Extensible algebraic datatypes have been successfully applied in the implementation of an extensible Java compiler. ...
We show that it is possible to encode extensible algebraic datatypes in an object-oriented language, using a new design pattern for extensible visitors. ...
Acknowledgments Special thanks to Christoph Zenger and Michel Schinz for numerous helpful discussions. ...
doi:10.1145/507663.507665
fatcat:rsci56sjjbg6hfcatpkeqes6km
Extensible algebraic datatypes with defaults
2001
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming - ICFP '01
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
Extensible algebraic datatypes have been successfully applied in the implementation of an extensible Java compiler. ...
We show that it is possible to encode extensible algebraic datatypes in an object-oriented language, using a new design pattern for extensible visitors. ...
Acknowledgments Special thanks to Christoph Zenger and Michel Schinz for numerous helpful discussions. ...
doi:10.1145/507635.507665
dblp:conf/icfp/ZengerO01
fatcat:2tx33p7xefeoxi5gxaivga3vwu
A Java Implementation of a Component Model with Explicit Symbolic Protocols
[chapter]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
It describes a component model with explicit symbolic protocols based on STSs, and its implementation in Java. ...
Component-Based Software Engineering (CBSE) has now emerged as a discipline for system development. ...
A component corresponds to a controller encapsulating the STS part and a Java application provided with a well-defined component interface. ...
doi:10.1007/11550679_9
fatcat:rwsn6p2ylff45j4d4redkqd2me
Specifying Component-Based Java Applications
[chapter]
1999
Formal Methods for Open Object-Based Distributed Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We propose a interface specification language for Java modules and a methodology to support the design of Java components. ...
We show how such a notation helps in designing software systems built of Java components, like JavaBeans. P. Ciancarini et al. (eds.), Formal Methods for Open Object-Based Distributed Systems ...
Ljala (Larch-interface Java language) has been developed following the approach used for Larch/C++ [10] with the necessary modifications in order to support Concurrency. ...
doi:10.1007/978-0-387-35562-7_9
fatcat:ifxgk3bqjbbgbiznygnm2d66d4
« Previous
Showing results 1 — 15 out of 10,403 results