A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
Filters
Comparative Study of Refactoring Haskell and Erlang Programs
2006
2006 Sixth IEEE International Workshop on Source Code Analysis and Manipulation
Preserved Fulltext
Taking Haskell and Erlang as examples, we investigate the application of refactoring techniques to functional programs, and building tools for supporting interactive refactoring. ...
refactoring Haskell and Erlang programs. module Fact(fac) where fac :: Int -> Int fac 0 = 1 fac n | n>0 = n * fac(n-1) ...
for Haskell. ...
doi:10.1109/scam.2006.8
dblp:conf/scam/LiT06
fatcat:4tfmrahgd5aw5kut5qe7kquo7y
Refactoring Functional Programs
[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 2017; you can also visit the original URL.
The file type is application/pdf.
The overall goals of the project proposed here are to compile a library of refactorings for functional programs and to implement a tool to support refactoring for programs in Haskell. ...
A common example of refactoring is the replacement of a concrete data type by an abstract data type (ADT): all direct references to the representation type must be replaced by uses of the ADT selectors ...
Project Aims I to develop a functional perspective on recent, practice-driven research into flexible program structure and refactoring II to develop a catalogue of candidate refactorings for a modern functional ...
doi:10.1007/11546382_9
fatcat:2qboqlsidbcndbc32amijvxtw4
Programmable Rewriting Strategies in Haskell
2005
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.
Programmable rewriting strategies provide a valuable tool for implementing traversal functionality in grammar-driven (or schema-driven) tools. ...
The working Haskell programmer has access to programmable rewriting strategies via two similar options: (i) the Strafunski bundle for generic functional programming and language processing, and (ii) the ...
.: • State-of-the-art Haskell refactoring tools [29] . • Language extension for Fortran [9] . • Java refactoring [27] (a subset of Java to be precise). • Simple software metrics for Java [28] . • ...
doi:10.1016/j.entcs.2004.11.021
fatcat:2nuur7prgnc3jgm4xc6q5glz6a
Views, Program Transformations, and the Evolutivity Problem in a Functional Language
[article]
2011
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Other Versions
We consider two possible architectures in Haskell for the classical example of the expression problem. ...
We show how the Haskell Refactorer can be used to transform one view into the other, and the other way back. ...
Decomposing the transformation into refactoring operations We describe in this section the steps to transform P fun into P data with the Haskell Refactorer. ...
arXiv:1005.1213v2
fatcat:vdzhbm46vjclxkk376tkkb43oa
Refactoring Smelly Spreadsheet Models
[chapter]
2014
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 2017; you can also visit the original URL.
The file type is application/pdf.
Finally we present the integration of both smells and refactorings under the MDSheet framework. ...
We also propose a set of refactorings suggesting how spreadsheet models can become simpler to understand, manipulate and evolve. ...
We would like to thank Jorge Mendes, Jácome Cunha, and João Saraiva for the help incorporating the ClassSheet smells in the MDSheet framework. ...
doi:10.1007/978-3-319-09156-3_39
fatcat:6vrslqulznchjit2rpoftbvyem
Systems demonstration
2014
Proceedings of the 2014 ACM SIGPLAN symposium on Haskell - Haskell '14
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.
Therefore such languages are not used for operating systems programming, where the virtues of types are most desired. ...
We have implemented CLHs in Ajhc, a Haskell compiler derived from jhc, rewritten some NetBSD sound drivers using Ajhc, and benchmarked them. ...
We thank Hiroki MIZUNO and Hidekazu SEGAWA for their assistance in the development of Ajhc. ...
doi:10.1145/2633357.2633370
dblp:conf/haskell/OkabeM14
fatcat:pwkqopp7rjcfjajxylxzfht4ee
A language-independent parallel refactoring framework
2012
Proceedings of the Fifth Workshop on Refactoring Tools - WRT '12
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.
The time is rapidly approaching when most programming will be for parallel systems. ...
While refactoring has so far mainly been applied to sequential programs, it is our contention that refactoring can play a key role in significantly improving the programmability of parallel systems, by ...
We would also like to thank the anonymous reviewers for their invaluable comments. ...
doi:10.1145/2328876.2328884
dblp:conf/icse/BrownHDK12
fatcat:5ujoz52tkvax7cb7egshdoq4o4
Shallow EDSLs and Object-Oriented Programming: Beyond Simple Compositionality
2019
The Art, Science, and Engineering of 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 2019; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2019 pre-print arXiv:1902.00548v1 fatcat:4chlah44fbebvhvhtcql3n3ite
Importance: This work is important for two reasons. ...
We further illustrate our approach with a case study on refactoring a deep external SQL query processor to make it more modular, shallow, and embedded. ...
Cook, Jeremy Gibbons, Ralf Hinze, Martin Erwig, and the anonymous reviewers of GPCE, ICFP, JFP, and Programming for their valuable comments that significantly improved this work. ...
doi:10.22152/programming-journal.org/2019/3/10
fatcat:p3kdnd5d4nhkhkrjkax5wlwhpa
Property-Based Testing - The ProTest Project
[chapter]
2010
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 2018; you can also visit the original URL.
The file type is application/pdf.
It is noted for its success in the ATM telecoms switches by Ericsson, one of the project partners. ...
And to do so we will build automated tools that will generate and run tests, monitor execution at run-time, and log events for analysis. ...
To ensure that Wrangler refactors test data correctly, we designed some invariants which should hold for a refactoring. ...
doi:10.1007/978-3-642-17071-3_13
fatcat:lmmpqlf74ndqfljsqwfj3nrx6y
Evaluating refactorings for spreadsheet models
2016
Journal of Systems and Software
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.
Our motivation for such research was to improve the model and its conforming instance: the spreadsheet data. ...
Reasoning about spreadsheets at the model level enhances a model-driven spreadsheet environment where a ClassSheet model and its conforming instance (the spreadsheet data) automatically co-evolves after ...
Ciência e a Tecnologia (Portuguese Foundation for Science and Technology) within project FCOMP-01-0124-FEDER-020484. ...
doi:10.1016/j.jss.2016.04.043
fatcat:fhd43ykedvhhpmce7px6nh2yqa
Using Function Generalization to Design a Cosequential Processing Framework
2006
Proceedings of the 39th Annual Hawaii International Conference on System Sciences (HICSS'06)
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 2010; you can also visit the original URL.
The file type is application/pdf.
The authors thank Yi Liu for her useful suggestions concerning this work and for drawing Fig. 10 . ...
This work was supported, in part, by a grant from Acxiom Corporation titled "The Acxiom Laboratory for Software Architecture and Component Engineering (ALSACE)." ...
Because the data types for the two input sequences may differ and both may differ from the output data type, we must introduce record transformation functions that convert the input data types to the output ...
doi:10.1109/hicss.2006.522
dblp:conf/hicss/CunninghamT06
fatcat:dxhztohkdna2fjfdclefgppomm
Refactoring: Current Research and Future Trends
2003
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 2005; you can also visit the original URL.
The file type is application/pdf.
In this paper we provide an extensive overview of existing research in the field of software restructuring and refactoring, from a formal as well as a practical point of view. ...
Acknowledgement This research is funded by the FWO Project G.0452.03 "A formal foundation for software refactoring" and is carried out in the context of the scientific networks "Formal Foundations of Software ...
We thank Kim Mens, Johan Fabry, Johan Brichau for their comments on drafts of this paper. ...
doi:10.1016/s1571-0661(05)82624-6
fatcat:2ieuvmhoy5eenktwrkfttqxpkq
Transformations everywhere
2004
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 2019; you can also visit the original URL.
The file type is application/pdf.
Software engineering and software re-engineering rely on such transformations, which are automated in, for example, tools for refactoring, migration, program specialisation, compiler optimisation, database ...
Three papers relate to refactoring-to the composition problem, to reasoning about correctness, and to the details of challenging refactoring samples. ...
Finally, my gratitude is due to Jan Bergstra, the Editor-in-Chief of the SCP Journal, for proposing this project, and for appointing me as a guest editor, which I consider an honour. ...
doi:10.1016/j.scico.2004.03.001
fatcat:5mds3hcyajglnovydp7uc7c6qy
CyBy2: a strongly typed, purely functional framework for chemical data management
2019
Journal of Cheminformatics
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.
We present the development of CyBy2, a versatile framework for chemical data management written in purely functional style in Scala, a modern multi-paradigm programming language. ...
Techniques for writing type level specifications giving strong guarantees about the correctness of the implementation are described, together with the resulting gain in confidence during refactoring. ...
Acknowledgements SH and RR are grateful to the Zurich University of Applied Sciences (ZHAW) for financial support. ...
doi:10.1186/s13321-019-0403-2
pmid:33430953
fatcat:wpqesp5kk5httleodeosru66pu
Safe Concurrency Introduction through Slicing
2015
Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation - PEPM '15
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 2018; you can also visit the original URL.
The file type is application/pdf.
In this paper, we introduce three novel refactorings for retrofitting concurrency to Erlang applications, and demonstrate how the use of program slicing makes the automation of these refactorings possible ...
Traditional refactoring is about modifying the structure of existing code without changing its behaviour, but with the aim of making code easier to understand, modify, or reuse. ...
Acknowledgments This research is supported by EU FP7 project RELEASE, grant number 287510, (www.release-project.eu); we thank our funders and colleagues for their support and collaboration. ...
doi:10.1145/2678015.2682533
dblp:conf/pepm/LiT15
fatcat:jswfb3temjc5bpddfgwcfgbhay
« Previous
Showing results 1 — 15 out of 502 results