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