Filters








10,403 Hits in 8.7 sec

Mechanisms for naming An algebraic approach with an application to Java

Loe M.G. Feijs
2001 Science of Computer Programming  
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

Sven Apel, Christian Kastner, Christian Lengauer
2013 IEEE Transactions on Software Engineering  
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

Julien Guyon, Pierre-Etienne Moreau, Antoine Reilles
2004 Electronical Notes in Theoretical Computer Science  
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

Laurent Bernardin, Bruce Char, Erich Kaltofen
1999 Proceedings of the 1999 international symposium on Symbolic and algebraic computation - ISSAC '99  
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

Bogdan Oancea, Ion Gh. Rosca, Tudorel Andrei, Andreea Iluzia Iacob
2011 Procedia Computer Science  
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

Johannes Henkel, Christoph Reichenbach, Amer Diwan
2008 ACM Transactions on Software Engineering and Methodology  
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

Markus Lumpe
2007 Electronical Notes in Theoretical Computer Science  
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

Sven Apel, Christian Lengauer, Bernhard Möller, Christian Kästner
2010 Science of Computer Programming  
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

Hanh Nhi Tran, Christian Percebois, Ali Abou Dib, Louis Féraud, Sergei Soloviev
2010 Electronic Communications of the EASST  
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]

Iaroslav Postovalov
2021 arXiv   pre-print
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

Matthias Zenger, Martin Odersky
2001 SIGPLAN notices  
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

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.  ...  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

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.  ...  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]

Sebastian Pavel, Jacques Noyé, Pascal Poizat, Jean-Claude Royer
2005 Lecture Notes in Computer Science  
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]

S. Cimato
1999 Formal Methods for Open Object-Based Distributed Systems  
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