Filters








284,793 Hits in 4.9 sec

An Experiment Combining Specialization with Abstract Interpretation

John P. Gallagher, Robert Glück
2020 Electronic Proceedings in Theoretical Computer Science  
This language-independent framework provides a practical approach to implementing a variety of powerful specializers, and contributes to a stream of research on using interpreters and specialization to  ...  It was previously shown that control-flow refinement can be achieved by a program specializer incorporating property-based abstraction, to improve termination and complexity analysis tools.  ...  A binding-time analysis [11] can determine which parts of the program to be specialised are guaranteed to be static. Abstract interpreter specialization.  ... 
doi:10.4204/eptcs.320.11 fatcat:7jr7azpbqvf2xiyeg7yles35e4

Accurate program analyses for successful specialization of legacy system software

Gilles Muller, Renaud Marlet, Eugen-Nicolae Volanschi
2000 Theoretical Computer Science  
Choosing the accuracy of program analyses is a crucial issue when designing and developing a partial evaluator capable of treating realistic programs, and in particular legacy software.  ...  The Sun RPC implementation consists of a stack of small parameterized layers. This structure is representative of a certain programming style in operating system and network development.  ...  Acknowledgements The authors would like to thank the other designers and implementors of Tempo (Charles Consel, Jacques Noyà e, Luke Hornof, Julia Lawall, Scott Thibault, Fran cois  ... 
doi:10.1016/s0304-3975(00)00052-9 fatcat:2xl56a57gbdbfcofolpbx5vhze

Towards efficient partial evaluation

Karoline Malmkjær
1993 Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '93  
We discuss examples to illustrate the effect on specialization and to demonstrate that we can even obtain better residual programs.  ...  In many special cases a simpler technique would suffice. In this paper, we identify some classes of such special cases by considering the purpose of the global log.  ...  Acknowledgements Thanks to Anders Bondorf, for letting me play with a prerelease version of Similix-5, to the anonymous referees, for asking several good questions that I had to find answers to and for  ... 
doi:10.1145/154630.154634 dblp:conf/pepm/Malmkjaer93 fatcat:qfopyzzcbnb27alhd5q2c7js6e

Foreword to the special issue on the 2017 Static Analysis Symposium

Francesco Ranzato
2019 Formal methods in system design  
The series of Static Analysis Symposia serves as a primary venue for the presentation of theoretical, practical, and applicational advances in the area of static analysis of programs and systems.  ...  This volume of Formal Methods in System Design (FMSD) features extended and revised versions of a selection of papers presented at the Static Analysis Symposium (SAS) held on 2017 in New York, NY.  ...  Background This special issue of Formal Methods in System Design (FMSD) features extended and revised versions of a selection of papers presented at the 24th Static Analysis Symposium (SAS), held on August  ... 
doi:10.1007/s10703-019-00340-1 fatcat:an5ityhcpbbr5h5cqxqqud7v2a

Automatic Specialization of Java Programs in the Distributed Environment [chapter]

Jung Gyu Park, Myong-Soon Park
2002 Lecture Notes in Computer Science  
The platform neutrality of Java programs allows them to run on heterogeneous computers.  ...  Unlike traditional program specialization, our specialization method does not encode the result of specialization only into run-time code.  ...  When multi-valued static expressions were marked as dynamic instead of static, only one specialized shader was generated.  ... 
doi:10.1007/3-540-45801-8_71 fatcat:jdm2ajivsjconncj437groqle4

A theory of logic program specialization and generalization for dealing with input data properties [chapter]

Alberto Pettorossi, Maurizio Proietti
1996 Lecture Notes in Computer Science  
We address the problem of specializing logic programs w.r.t. the contexts where they are used. We assume that these contexts are speci ed by means of computable properties of the input data.  ...  We describe a general method by which, given a program P , we can derive a specialized program P 1 such that P and P 1 are equivalent w.r.t. every input data satisfying a given property.  ...  Acknowledgements We would like to thank the organizers of the Dagstuhl Seminar on \Partial Evaluation" for their kind invitation and the anonymous referees for comments and suggestions.  ... 
doi:10.1007/3-540-61580-6_19 fatcat:7miblqmwujcstjhaa46df5lrwq

Static Software Watermarking Using Graph-Reckoning: Piracy Control for Information Systems

Sohail Sarwar, University of Gujrat, Pakistan, Muhammad Safyan, Zia Ul Qayyum, Muddassir Iqbal, Yasir Yasir, Farrukh Latif
2019 Journal of Advances in Information Technology  
The watermark generation exploits the program constructs (as properties and their relations) in flow graphs.  ...  The watermarks generated are embedded in methods for keeping track of actual program ownership.  ...  Sometimes special output is not produced instead sequence of operation or data structure values, based on special input is treated as dynamic watermarks. D.  ... 
doi:10.12720/jait.10.4.165-168 fatcat:zzzcxuowkzbljant2bkfhynkku

Bootstrapping higher-order program transformers from interpreters

Michael Sperber, Robert Glück, Peter Thiemann
1996 Proceedings of the 1996 ACM symposium on Applied Computing - SAC '96  
Our work is based on the interpretive approach and exploits the language preservation property of offline partial evaluators.  ...  Partial evaluation can automatically generate program transformers from interpreters.  ...  The reducer processes the annotated program and the static part of the input. Driven by the annotations, it reduces static expressions and rebuilds dynamic ones.  ... 
doi:10.1145/331119.331417 dblp:conf/sac/SperberGT96 fatcat:4y3w7di4jbc2lkx27ifr4swoly

Towards bridging the gap between programming languages and partial evaluation

Anne-Françoise Le Meur, Julia L. Lawall, Charles Consel
2002 Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation - PEPM '02  
One reason is the difficulty of adequately describing specialization opportunities.  ...  Partial evaluation is a program-transformation technique that automatically specializes a program with respect to user-supplied invariants.  ...  If the data of one of the vectors is static, Data structure vec: The scenarios VecDS (line 1) and VecSS (line 2) describe binding-time properties of the structure vec that can allow useful specialization  ... 
doi:10.1145/503032.503033 dblp:conf/pepm/MeurLC02 fatcat:rldmeaqe6ja7vlc4axuchowwsa

Towards bridging the gap between programming languages and partial evaluation

Anne-Françoise Le Meur, Julia L. Lawall, Charles Consel
2002 SIGPLAN notices  
One reason is the difficulty of adequately describing specialization opportunities.  ...  Partial evaluation is a program-transformation technique that automatically specializes a program with respect to user-supplied invariants.  ...  If the data of one of the vectors is static, Data structure vec: The scenarios VecDS (line 1) and VecSS (line 2) describe binding-time properties of the structure vec that can allow useful specialization  ... 
doi:10.1145/509799.503033 fatcat:pfg5cly2szdlvlj3gaoyh2hk5y

Parameterized partial evaluation

Charles Consel, Siau Cheng Khoo
1993 ACM Transactions on Programming Languages and Systems  
INTRODUCTION Besides specializing programs with respect to concrete values, it is often necessary to specialize programs with respect to abstract values, i.e., static properties such as signs, ranges,  ...  Specializing programs with respect to static properties is a natural extension of partial evaluation and significantly contributes towards adapting partial evaluation to larger varieties of applications  ... 
doi:10.1145/169683.174155 fatcat:x5qgpftsavahblatlm3wwkinwm

Parameterized partial evaluation

Charles Consel, Siau Cheng Khoo
1991 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation - PLDI '91  
INTRODUCTION Besides specializing programs with respect to concrete values, it is often necessary to specialize programs with respect to abstract values, i.e., static properties such as signs, ranges,  ...  Specializing programs with respect to static properties is a natural extension of partial evaluation and significantly contributes towards adapting partial evaluation to larger varieties of applications  ... 
doi:10.1145/113445.113454 dblp:conf/pldi/ConselK91 fatcat:mgzbc3mbljfinlr6ettzexbstu

Parameterized partial evaluation

Charles Consel, Siau Cheng Khoo
1991 SIGPLAN notices  
INTRODUCTION Besides specializing programs with respect to concrete values, it is often necessary to specialize programs with respect to abstract values, i.e., static properties such as signs, ranges,  ...  Specializing programs with respect to static properties is a natural extension of partial evaluation and significantly contributes towards adapting partial evaluation to larger varieties of applications  ... 
doi:10.1145/113446.113454 fatcat:md74w42qdzgepd3b6qnhvigak4

Partially static operations

Peter Thiemann
2013 Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation - PEPM '13  
A partial evaluator performs evaluation steps on values with a static binding time whereas it generates code for values with a dynamic binding time.  ...  We introduce this notion in an online setting, generalize it, generate a binding-time analysis for it, and implement an offline program generator supporting partially static operations with it.  ...  Introduction A program specializer transforms a program by taking advantange of known properties of the input data.  ... 
doi:10.1145/2426890.2426906 dblp:conf/pepm/Thiemann13 fatcat:xxehwptd6jbkzcjilsvsisjray

Dynamic determinacy analysis

Max Schäefer, Manu Sridharan, Julian Dolby, Frank Tip
2013 Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation - PLDI '13  
., identify dead code or specialize uses of dynamic language constructs such as eval, replacing them with equivalent static constructs.  ...  Finally, we report on two case studies that explored how static analysis for JavaScript could leverage the information gathered by dynamic determinacy analysis.  ...  On 14 out of the remaining 24 programs, our analysis could specialize all uses of eval.  ... 
doi:10.1145/2491956.2462168 dblp:conf/pldi/SchaferSDT13 fatcat:ocicxp34dfgddknmri6cngg3ie
« Previous Showing results 1 — 15 out of 284,793 results