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
PET
2010
Proceedings of the ACM SIGPLAN 2010 workshop on Partial evaluation and program manipulation - PEPM '10
Preserved Fulltext
PET is a prototype Partial Evaluation-based Test case generation tool for a subset of Java bytecode programs. ...
This has required the development of a partial evaluator for CLP with appropriate control strategies to ensure the required coverage criteria and to generate test-case generators. ...
Acknowledgments This work was funded in part by the Information Society Technologies program of the European Commission, Future and Emerging Technologies under the IST-231620 HATS project, by the MEC under ...
doi:10.1145/1706356.1706363
dblp:conf/pepm/AlbertGP10
fatcat:sywvgcxktnberms7myhcmqdqfe
IGOR2 - an analytical inductive functional programming system
2010
Proceedings of the ACM SIGPLAN 2010 workshop on Partial evaluation and program manipulation - PEPM '10
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.
subset of the input/output (I/O) behaviour of a function. ...
Organised as an uniformed-cost search, the hypothesis with the lowest costs is developed and replaced by its successors until the best does not contain any unbound variables. ...
To copy otherwise, to republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. PEPM'10, January 18-19, 2010, Madrid, Spain. ...
doi:10.1145/1706356.1706364
dblp:conf/pepm/Hofmann10
fatcat:jasu3d4q3bec7o3pf7ad7rqmji
Conditional weighted pushdown systems and applications
2010
Proceedings of the ACM SIGPLAN 2010 workshop on Partial evaluation and program manipulation - PEPM '10
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.
Pushdown systems are well understood as abstract models of programs with (recursive) procedures. ...
As an example, we lift a stacking-based pointsto analysis for Java designed in the framework of weighted pushdown systems to a more precise counterpart in the framework of conditional weighted pushdown ...
The authors would like to thank anonymous reviewers for their valuable comments. ...
doi:10.1145/1706356.1706382
dblp:conf/pepm/LiO10
fatcat:nekp6nimcbaz3ftdzfcde2cgna
Clone detection and elimination for Haskell
2010
Proceedings of the ACM SIGPLAN 2010 workshop on Partial evaluation and program manipulation - PEPM '10
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.
This paper presents a new technique for the detection and removal of duplicated Haskell code. ...
The system is implemented within the refactoring framework of the Haskell Refactorer (HaRe), and uses an Abstract Syntax Tree (AST) based approach. ...
To copy otherwise, to republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. PEPM'10, January 18-19, 2010, Madrid, Spain. ...
doi:10.1145/1706356.1706378
dblp:conf/pepm/BrownT10
fatcat:f5vfaxmqdbdjng2k2camrlhoci
Optimizing generics is easy!
2010
Proceedings of the ACM SIGPLAN 2010 workshop on Partial evaluation and program manipulation - PEPM '10
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.
Datatype-generic programming increases program reliability by reducing code duplication and enhancing reusability and modularity. ...
Our benchmark confirms that generic programs, when compiled with the standard optimization flags of the Glasgow Haskell Compiler (GHC), are substantially slower than their hand-written counterparts. ...
(NWO) through its projects on "Scriptable Compilers" (612.063.406) and "Real-life Datatype-Generic programming" (612.063.613). ...
doi:10.1145/1706356.1706366
dblp:conf/pepm/MagalhaesHJL10
fatcat:4ek6oe7z5rat7chn44ambuqg3e