Filters








217,377 Hits in 12.3 sec

Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation (Preliminary Version)

Vincent Balat, Olivier Danvy
<span title="1997-06-13">1997</span> <i title="Aarhus University Library"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/433eg2tipzegfkgt5m5cmv46zq" style="color: black;">BRICS Report Series</a> </i> &nbsp;
We investigate the synergy between type-directed partial evaluation and run-time code generation for the Caml dialect of ML.  ...  <br />We conclude this note with a preview of our current work on scaling<br />up strong normalization by run-time code generation to the Caml<br />module language.  ...  Conclusion and Issues We have obtained strong normalization in ML by pairing type-directed partial evaluation and run-time code generation.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.7146/brics.v4i43.18969">doi:10.7146/brics.v4i43.18969</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2u3gn2vthnh7vekesxcvymykkm">fatcat:2u3gn2vthnh7vekesxcvymykkm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190427083940/https://tidsskrift.dk/brics/article/download/18969/16608" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.7146/brics.v4i43.18969"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

A compiled implementation of strong reduction

Benjamin Grégoire, Xavier Leroy
<span title="">2002</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ug3n3jfg4jdcpdvbrhe3m4txqa" style="color: black;">Proceedings of the seventh ACM SIGPLAN international conference on Functional programming - ICFP &#39;02</a> </i> &nbsp;
Motivated by applications to proof assistants based on dependent types, we develop and prove correct a strong reducer and βequivalence checker for the λ-calculus with products, sums, and guarded fixpoints  ...  complemented by a recursive "read back" procedure.  ...  and explained to us by Alexandre Miquel, and partly inspired this work.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/581478.581501">doi:10.1145/581478.581501</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icfp/GregoireL02.html">dblp:conf/icfp/GregoireL02</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hyc6jim7rreu3jfllyghftt3ii">fatcat:hyc6jim7rreu3jfllyghftt3ii</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20050118185926/http://pauillac.inria.fr:80/~xleroy/publi/strong-reduction.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/2a/ed/2aedcd78a2cfaf5b50cc7de1fb4db2e161dd263b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/581478.581501"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

A compiled implementation of strong reduction

Benjamin Grégoire, Xavier Leroy
<span title="2002-09-17">2002</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/xu5bk2lj5rbdxlx6222nw7tsxi" style="color: black;">SIGPLAN notices</a> </i> &nbsp;
Motivated by applications to proof assistants based on dependent types, we develop and prove correct a strong reducer and βequivalence checker for the λ-calculus with products, sums, and guarded fixpoints  ...  complemented by a recursive "read back" procedure.  ...  and explained to us by Alexandre Miquel, and partly inspired this work.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/583852.581501">doi:10.1145/583852.581501</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/uftwfjnttve7bbxcdzfts6tb4i">fatcat:uftwfjnttve7bbxcdzfts6tb4i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20050118185926/http://pauillac.inria.fr:80/~xleroy/publi/strong-reduction.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/2a/ed/2aedcd78a2cfaf5b50cc7de1fb4db2e161dd263b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/583852.581501"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Automatic autoprojection of higher order recursive equations [chapter]

Anders Bondorf
<span title="">1990</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
K e y w o r d s Partial evaluation, self-application, binding time analysis, semantics directed compiler generation.  ...  a stand-alone compiler by self-applying the partial evaluator.  ...  Acknowledgements This work has been carried out within the Similix project, a joint work of Olivier Danvy and the author. I am most grateful to Olivier for his many comments and proposals.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-52592-0_56">doi:10.1007/3-540-52592-0_56</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xpawd7jw4jfshgcncmom3eao5m">fatcat:xpawd7jw4jfshgcncmom3eao5m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20181030045022/https://link.springer.com/content/pdf/10.1007%2F3-540-52592-0_56.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/96/c8/96c898bd0b0984a67fbbc0dd1f5737728ff1ddd8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-52592-0_56"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A unifying approach to goal-directed evaluation

Olivier Danvy, Bernd Grobauer, Morten Rhiger
<span title="">2002</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/tg7qlmhqujdc7af72ot22mh7y4" style="color: black;">New generation computing</a> </i> &nbsp;
Through various back ends, including a run-time code generator, we generate ML code, C code, and OCaml byte code.  ...  We then compile Icon programs by specializing their interpreter (i.e., by using the first Futamura projection), using type-directed partial evaluation.  ...  Acknowledgments: Thanks are due to the anonymous referees for comments and to Andrzej Filinski for discussions.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/bf03037259">doi:10.1007/bf03037259</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/m3wmy4imfrbb3clvsxembhd6ya">fatcat:m3wmy4imfrbb3clvsxembhd6ya</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706072613/http://www.brics.dk/RS/01/29/BRICS-RS-01-29.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/2b/5c/2b5c3b47df9a0158fbc6d91d335945c200a46373.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/bf03037259"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A Unifying Approach to Goal-Directed Evaluation

Olivier Danvy, Bernd Grobauer, Morten Rhiger
<span title="2001-07-04">2001</span> <i title="Aarhus University Library"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/433eg2tipzegfkgt5m5cmv46zq" style="color: black;">BRICS Report Series</a> </i> &nbsp;
Through various back ends, including a run-time code generator, we generate ML code, C code, and OCaml byte code.  ...  <br /> <br />We then compile Icon programs by specializing their interpreter (i.e., by using the first Futamura projection), using type-directed partial evaluation.  ...  Acknowledgments: Thanks are due to the anonymous referees for comments and to Andrzej Filinski for discussions.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.7146/brics.v8i29.21689">doi:10.7146/brics.v8i29.21689</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/52umqvgd25aq7g66wrtkanx7ni">fatcat:52umqvgd25aq7g66wrtkanx7ni</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706072613/http://www.brics.dk/RS/01/29/BRICS-RS-01-29.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/2b/5c/2b5c3b47df9a0158fbc6d91d335945c200a46373.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.7146/brics.v8i29.21689"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

A Unifying Approach to Goal-Directed Evaluation [chapter]

Olivier Danvy, Bernd Grobauer, Morten Rhiger
<span title="">2001</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Through various back ends, including a run-time code generator, we generate ML code, C code, and OCaml byte code.  ...  We then compile Icon programs by specializing their interpreter (i.e., by using the first Futamura projection), using type-directed partial evaluation.  ...  Acknowledgments: Thanks are due to the anonymous referees for comments and to Andrzej Filinski for discussions.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-44806-3_7">doi:10.1007/3-540-44806-3_7</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4idvx2rajzcinbrlothnjmgeby">fatcat:4idvx2rajzcinbrlothnjmgeby</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706072613/http://www.brics.dk/RS/01/29/BRICS-RS-01-29.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/2b/5c/2b5c3b47df9a0158fbc6d91d335945c200a46373.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-44806-3_7"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Clean: a Programming Environment Based on Term Graph Rewriting

M.J. Plasmeijer
<span title="">1995</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
The main features of the lazy functional language Concurrent Clean and of its semantics based on Term Graph Rewriting are presented.  ...  on another processor Due to the strong typing of Clean and the obligation to initialize all objects being created run-time errors can only occur in a very limited number of cases: when partial functions  ...  A graph is in strong root normal form if the graph does not partially match a n y rule. It is decidable whether or not a graph is 5 in strong root normal form.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s1571-0661(05)80199-9">doi:10.1016/s1571-0661(05)80199-9</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zftwpw2dyfcaviju6ielefmmma">fatcat:zftwpw2dyfcaviju6ielefmmma</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190307011248/https://core.ac.uk/download/pdf/82345983.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/2d/3a/2d3aba1c8b7bf5f94dacd095969db244d270e432.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s1571-0661(05)80199-9"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

Two Flavors of Offine Partial Evaluation [chapter]

Simon Helsen, Peter Thiemann
<span title="">1998</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
We present a comparison of type-directed partial evaluation with standard offline partial evaluation in both a qualitative and quantitative way.  ...  Type-directed partial evaluation is a new approach to program specialization for functional programming languages.  ...  Disregarding program generator generation time, we illustrated that the time taken by a cogen-based partial evaluator is similar to the time taken by a TDPE system.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-49366-2_15">doi:10.1007/3-540-49366-2_15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/svqlua5hizb73jzzgmnz66gct4">fatcat:svqlua5hizb73jzzgmnz66gct4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20110401011615/http://swen.uwaterloo.ca/~shelsen/papers/helsen-thiemann-asian-98.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/2a/e7/2ae77b9ed47a14a053337420f44b838eb59237c0.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-49366-2_15"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Type-Directed Partial Evaluation

Olivier Danvy
<span title="1995-11-01">1995</span> <i title="Aarhus University Library"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/vl2v2lu6c5c6hhhrquezudynja" style="color: black;">DAIMI Report Series</a> </i> &nbsp;
and coercions), compiler optimization, and run-time code generation (including decompilation).  ...  As such, type-directed partial evaluation essentially achieves lambda-calculus normalization.  ...  All of the examples were run with R . K ent Dybvig's Chez Scheme system and with A u brey Ja er's SCM system. Most were type-checked using S t andard ML of New Jersey.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.7146/dpb.v24i494.7022">doi:10.7146/dpb.v24i494.7022</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vioyao7qrrbljnnppgwr3ig7ce">fatcat:vioyao7qrrbljnnppgwr3ig7ce</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20050318123146/http://repository.readscheme.org:80/ftp/papers/brics/PB-494.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/32/a7/32a7abf60c51ea505a6e638c4a2cfcd47727fef5.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.7146/dpb.v24i494.7022"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Partial preprocessing C code for variability analysis

Christian Kästner, Paolo G. Giarrusso, Klaus Ostermann
<span title="">2011</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/wa3vuzcwpngijonis3kzgcnjq4" style="color: black;">Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems - VaMoS &#39;11</a> </i> &nbsp;
Given a feature selection, code fragments can be excluded from compilation with #ifdef and similar directives.  ...  The partial preprocessor is part of a larger endeavor in the TypeChef project to check variability implementations (syntactic correctness, type correctness) in C projects such as the Linux kernel. 1  ...  Any code that could be generated for any possible feature selection will be generated by the partial preprocessor.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1944892.1944908">doi:10.1145/1944892.1944908</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/vamos/KastnerGO11.html">dblp:conf/vamos/KastnerGO11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/45hz6akwynar5l2tnerutumzfe">fatcat:45hz6akwynar5l2tnerutumzfe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20151006163317/http://www.cs.cmu.edu/~ckaestne/pdf/vamos11.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/38/d3/38d3f19fdf7e9e9a0e97dbd045a9a92361c68799.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1944892.1944908"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

A Unification of Inheritance and Automatic Program Specialization [chapter]

Ulrik P. Schultz
<span title="">2004</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
The object-oriented style of programming facilitates program adaptation and enhances program genericness, but at the expense of efficiency.  ...  Automatic program specialization can be used to generate specialized, efficient implementations for specific scenarios, but requires the program to be structured appropriately for specialization and is  ...  A critical property of JUST is that types help control side-effects both at compile-time and at run-time.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-30175-2_13">doi:10.1007/978-3-540-30175-2_13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rjxzgfoewrdr3oczk7fdaqi4zq">fatcat:rjxzgfoewrdr3oczk7fdaqi4zq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809055636/http://websrv0a.sdu.dk/ups/papers/gpce04.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/2a/a6/2aa61e33fe2af8bed45f74f71de3e422865db657.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-30175-2_13"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Fortran program specialization

Paul Kleinrubatscher, Albert Kriegshaber, Robert Zöchling, Robert Glück
<span title="1995-04-01">1995</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/xu5bk2lj5rbdxlx6222nw7tsxi" style="color: black;">SIGPLAN notices</a> </i> &nbsp;
The partial evaluator is based on the off-line approach and uses a binding-time analysis prior to the specialization phase.  ...  A partial evaluator is a tool for program transformation which takes as input a general program and a part of its input, and produces as output a specialized program.  ...  Special thanks are due to Lars Ole Andersen for his continued interest and encouragement, and for thorough comments on an earlier version of this paper. This has been a great help.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/202176.202184">doi:10.1145/202176.202184</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6itjgxhy5rbflejjtvoxj2bfja">fatcat:6itjgxhy5rbflejjtvoxj2bfja</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809070743/http://repository.readscheme.org/ftp/papers/topps/D-194.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/92/07/9207d53a0bfe3a02091d77cd644bf28f191f3c8e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/202176.202184"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

A modal type system for multi-level generating extensions with persistent code

Yosihiro Yuse, Atsushi Igarashi
<span title="">2006</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/mht6wa2vdbg7dn6n6lws4hpzti" style="color: black;">Proceedings of the 8th ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP &#39;06</a> </i> &nbsp;
such as subject reduction, confluence and strong normalization.  ...  The key idea of the type system is correspondence of (1) linearly ordered times in the logic to computation stages; (2) a formula A (next A) to a type of code that runs at the next stage; and (3) a formula  ...  Acknowledgments We thank Hidehiko Masuhara and anonymous referees for comments to improve presentation.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1140335.1140360">doi:10.1145/1140335.1140360</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ppdp/YuseI06.html">dblp:conf/ppdp/YuseI06</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/kvccqmqwbvefpleywiyplmpz44">fatcat:kvccqmqwbvefpleywiyplmpz44</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808171008/http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/papers/pdf/lambdaCB-PPDP06.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/41/6f/416f9ce29eade123637f86ed078345712ee3b5e5.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1140335.1140360"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Checking Strong Specifications Using an Extensible Software Model Checking Framework [chapter]

Robby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff
<span title="">2004</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
A wide variety of assertion languages and associated validation techniques have been developed, but run-time monitoring is commonly thought to be the only practical solution.  ...  We discuss the advantages of model checking relative to other specification validation techniques and present data that suggest that the cost of model checking strong program specifications is practical  ...  [10] ) is similar to jmlc in that it generates run-time assertions for checking Java. Another direction is to compare OCL specifications with other UML models (cf.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-24730-2_31">doi:10.1007/978-3-540-24730-2_31</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2f2jwgmjtfbp7d7kfm4wzclpse">fatcat:2f2jwgmjtfbp7d7kfm4wzclpse</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809154636/http://people.cs.ksu.edu/~edwin/papers/SAnToS-TR2003-10.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/1c/ca/1cca26b26d2d3679814d3a3be2358a71b4f931c5.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-24730-2_31"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 217,377 results