Filters








5 Hits in 6.2 sec

PET

Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla
2010 Proceedings of the ACM SIGPLAN 2010 workshop on Partial evaluation and program manipulation - PEPM '10  
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

Martin Hofmann
2010 Proceedings of the ACM SIGPLAN 2010 workshop on Partial evaluation and program manipulation - PEPM '10  
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

Xin Li, Mizuhito Ogawa
2010 Proceedings of the ACM SIGPLAN 2010 workshop on Partial evaluation and program manipulation - PEPM '10  
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

Christopher Brown, Simon Thompson
2010 Proceedings of the ACM SIGPLAN 2010 workshop on Partial evaluation and program manipulation - PEPM '10  
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!

José Pedro Magalhães, Stefan Holdermans, Johan Jeuring, Andres Löh
2010 Proceedings of the ACM SIGPLAN 2010 workshop on Partial evaluation and program manipulation - PEPM '10  
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