Filters








5 Hits in 10.9 sec

Generic framework for integration of programming languages into netbeans ide

Jan Jancura, Daniel Prusa
2008 Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '08  
It is also possible to provide custom Java methods to enhance the definition's capabilities. The concept aims at good maintenance and performance of implemented languages.  ...  We present a generic framework that can be used for an easy integration of editing and visualization support for a programming language or files with a structure into NetBeans IDE.  ...  The support concerns mostly editing and visualization Copyright is held by Sun Microsystems, Inc. PEPM'08, January 7-8, 2008, San Francisco, California, USA. ACM 978-1-59593-977-7/08/0001. features.  ... 
doi:10.1145/1328408.1328426 dblp:conf/pepm/JancuraP08 fatcat:ghlumizs7fgajbniav6ezzbjda

Heap recycling for lazy languages

Jurriaan Hage, Stefan Holdermans
2008 Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '08  
The resulting calculus, that is based on a combination of type-based uniqueness and constructor analysis, is guaranteed to maintain referential transparency and is fully compatible with existing run-time  ...  Pure functional programming languages preclude destructive updates of heap-allocated data.  ...  Acknowledgments The authors would like to thank Jeroen Fokker, Alexey Rodriquez, and the anonymous referees for their helpful comments.  ... 
doi:10.1145/1328408.1328436 dblp:conf/pepm/HageH08 fatcat:35lt2aeivjd5fpy6tl5i35q77u

Automating branch-and-bound for dynamic programs

Jakob Puchinger, Peter J. Stuckey
2008 Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '08  
We compare the different transformed versions on a number of example dynamic programs, and show the benefits in search space and time that can result.  ...  We consider a dynamic program as simply a recursive program that is evaluated with memoization and lookup of answers.  ...  Acknowledgments We would like to thank Moshe Sniedovich for helpful discussions on this subject, and Ting Chen for his work on an earlier prototype transformer, as well as the referees whose comments helped  ... 
doi:10.1145/1328408.1328421 dblp:conf/pepm/PuchingerS08 fatcat:cjd5yljsfzblxcnqs2eh4efqmy

Data dependencies and program slicing

Isabella Mastroeni, Damiano Zanardini
2008 Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '08  
Moreover, the notion of abstract dependency, based on properties instead of exact data values, is investigated in its theoretical meaning.  ...  We claim that slicing can be defined, and therefore calculated, parametrically on the chosen notion of dependency, which implies a different result when building the program dependency graph.  ...  Acknowledgments This work was funded in part by the Information Society Technologies program of the European Commission, Future and Emerging Technologies under the IST-15905 MOBIUS project, by the Spanish  ... 
doi:10.1145/1328408.1328428 dblp:conf/pepm/MastroeniZ08 fatcat:4zpgfmj3pncvvh6egxttdqnzea

Mechanical verification of refactorings

Nik Sultana, Simon Thompson
2008 Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '08  
It also reflects on some of the difficulties of performing such formalisations, the interaction between refactoring and phases such as type-checking and parsing, and the generation of correct implementations  ...  Refactorings are program transformations applied to improve the design of source code. Well-structured source code is easier and cheaper to maintain, and this motivates the use of refactoring.  ...  /2006/007; the second author acknowledges the support of the EPSRC for building the HaRe and Wrangler tools.  ... 
doi:10.1145/1328408.1328417 dblp:conf/pepm/SultanaT08 fatcat:5ygcrbwngrethdlgc7iqte6ugm