Zerny, Ian On graph rewriting, reduction, and evaluation in the presence of cycles. (English) Zbl 1425.68175 High.-Order Symb. Comput. 26, No. 1-4, 63-84 (2013). MSC: 68Q42 68N30 PDFBibTeX XMLCite \textit{I. Zerny}, High.-Order Symb. Comput. 26, No. 1--4, 63--84 (2013; Zbl 1425.68175) Full Text: DOI
Clerici, Silvia; Zoltan, Cristina; Prestigiacomo, Guillermo Graphical and incremental type inference. A graph transformation approach. (English) Zbl 1360.68320 High.-Order Symb. Comput. 26, No. 1-4, 29-62 (2013). MSC: 68N18 68Q42 PDFBibTeX XMLCite \textit{S. Clerici} et al., High.-Order Symb. Comput. 26, No. 1--4, 29--62 (2013; Zbl 1360.68320) Full Text: DOI Link
Horstmeyer, Thomas; Loogen, Rita Graph-based communication in Eden. (English) Zbl 1360.68330 High.-Order Symb. Comput. 26, No. 1-4, 3-28 (2013). MSC: 68N18 68N19 PDFBibTeX XMLCite \textit{T. Horstmeyer} and \textit{R. Loogen}, High.-Order Symb. Comput. 26, No. 1--4, 3--28 (2013; Zbl 1360.68330) Full Text: DOI
Zsók, Viktória (ed.); Page, Rex (ed.); Lawall, Julia (ed.) Editorial TFP 2009/2010. (English) Zbl 1360.00142 High.-Order Symb. Comput. 26, No. 1-4, 1-2 (2013). MSC: 00B25 68-06 68N18 PDFBibTeX XMLCite \textit{V. Zsók} (ed.) et al., High.-Order Symb. Comput. 26, No. 1--4, 1--2 (2013; Zbl 1360.00142) Full Text: DOI
Capper, John; Nilsson, Henrik Structural types for systems of equations: type refinements for structurally dynamic first-class modular systems of equations. (English) Zbl 1360.68317 High.-Order Symb. Comput. 25, No. 2-4, 275-310 (2012). MSC: 68N18 PDFBibTeX XMLCite \textit{J. Capper} and \textit{H. Nilsson}, High.-Order Symb. Comput. 25, No. 2--4, 275--310 (2012; Zbl 1360.68317) Full Text: DOI
Sasano, Isao; Goto, Takumi An approach to completing variable names for implicitly typed functional languages. (English) Zbl 1360.68340 High.-Order Symb. Comput. 25, No. 1, 127-163 (2012). MSC: 68N18 68N30 PDFBibTeX XMLCite \textit{I. Sasano} and \textit{T. Goto}, High.-Order Symb. Comput. 25, No. 1, 127--163 (2012; Zbl 1360.68340) Full Text: DOI
Degen, Markus; Thiemann, Peter; Wehr, Stefan The interaction of contracts and laziness. (English) Zbl 1360.68325 High.-Order Symb. Comput. 25, No. 1, 85-125 (2012). MSC: 68N18 68N30 PDFBibTeX XMLCite \textit{M. Degen} et al., High.-Order Symb. Comput. 25, No. 1, 85--125 (2012; Zbl 1360.68325) Full Text: DOI
Kobayashi, Naoki; Matsuda, Kazutaka; Shinohara, Ayumi; Yaguchi, Kazuya Functional programs as compressed data. (English) Zbl 1360.68332 High.-Order Symb. Comput. 25, No. 1, 39-84 (2012). MSC: 68N18 68P30 68Q60 PDFBibTeX XMLCite \textit{N. Kobayashi} et al., High.-Order Symb. Comput. 25, No. 1, 39--84 (2012; Zbl 1360.68332) Full Text: DOI
Matsuda, Kazutaka; Inaba, Kazuhiro; Nakano, Keisuke Polynomial-time inverse computation for accumulative functions with multiple data traversals. (English) Zbl 1360.68366 High.-Order Symb. Comput. 25, No. 1, 3-38 (2012). MSC: 68N30 68N18 68Q45 PDFBibTeX XMLCite \textit{K. Matsuda} et al., High.-Order Symb. Comput. 25, No. 1, 3--38 (2012; Zbl 1360.68366) Full Text: DOI
Kiselyov, Oleg (ed.); Lawall, Julia (ed.); Thompson, Simon (ed.) Editorial PEPM 2012. (English) Zbl 1360.00129 High.-Order Symb. Comput. 25, No. 1, 1-2 (2012). MSC: 00B25 68-06 68N18 PDFBibTeX XMLCite \textit{O. Kiselyov} (ed.) et al., High.-Order Symb. Comput. 25, No. 1, 1--2 (2012; Zbl 1360.00129) Full Text: DOI
el Boustani, Nabil; Hage, Jurriaan Improving type error messages for generic Java. (English) Zbl 1256.68026 High.-Order Symb. Comput. 24, No. 1-2, 3-39 (2011). MSC: 68N15 68N20 PDFBibTeX XMLCite \textit{N. el Boustani} and \textit{J. Hage}, High.-Order Symb. Comput. 24, No. 1--2, 3--39 (2011; Zbl 1256.68026) Full Text: DOI
Simmons, Robert J.; Pfenning, Frank Logical approximation for program analysis. (English) Zbl 1256.68045 High.-Order Symb. Comput. 24, No. 1-2, 41-80 (2011). MSC: 68N30 68Q55 PDFBibTeX XMLCite \textit{R. J. Simmons} and \textit{F. Pfenning}, High.-Order Symb. Comput. 24, No. 1--2, 41--80 (2011; Zbl 1256.68045) Full Text: DOI Link
Chen, Kung; Weng, Shu-Chun; Lin, Jia-Yin; Wang, Meng; Khoo, Siau-Cheng Side-effect localization for lazy, purely functional languages via aspects. (English) Zbl 1256.68031 High.-Order Symb. Comput. 24, No. 1-2, 151-189 (2011). MSC: 68N18 68Q55 PDFBibTeX XMLCite \textit{K. Chen} et al., High.-Order Symb. Comput. 24, No. 1--2, 151--189 (2011; Zbl 1256.68031) Full Text: DOI Link
Pardo, Alberto; Fernandes, João Paulo; Saraiva, João Shortcut fusion rules for the derivation of circular and higher-order programs. (English) Zbl 1256.68034 High.-Order Symb. Comput. 24, No. 1-2, 115-149 (2011). MSC: 68N18 68P05 PDFBibTeX XMLCite \textit{A. Pardo} et al., High.-Order Symb. Comput. 24, No. 1--2, 115--149 (2011; Zbl 1256.68034) Full Text: DOI Link
Salama, Cherif; Malecha, Gregory; Taha, Walid; Grundy, Jim; O’Leary, John Static consistency checking for Verilog wire interconnects. (English) Zbl 1256.68027 High.-Order Symb. Comput. 24, No. 1-2, 81-114 (2011). MSC: 68N17 68N15 PDFBibTeX XMLCite \textit{C. Salama} et al., High.-Order Symb. Comput. 24, No. 1--2, 81--114 (2011; Zbl 1256.68027) Full Text: DOI
Asai, Kenichi; Kiselyov, Oleg; Shan, Chung-chieh Functional un\(|\)unparsing. (English) Zbl 1256.68029 High.-Order Symb. Comput. 24, No. 4, 311-340 (2011). MSC: 68N18 68N15 PDFBibTeX XMLCite \textit{K. Asai} et al., High.-Order Symb. Comput. 24, No. 4, 311--340 (2011; Zbl 1256.68029) Full Text: DOI
Kerneis, Gabriel; Chroboczek, Juliusz Erratum to: “Continuation-passing C, compiling threads to events through continuations”. (English) Zbl 1256.68039 High.-Order Symb. Comput. 24, No. 4, 387-387 (2011). MSC: 68N20 68N19 PDFBibTeX XMLCite \textit{G. Kerneis} and \textit{J. Chroboczek}, High.-Order Symb. Comput. 24, No. 4, 387--387 (2011; Zbl 1256.68039) Full Text: DOI
Iwasaki, Hideya; Morimoto, Takeshi; Takano, Yasunao Pruning with improving sequences in lazy functional programs. (English) Zbl 1256.68033 High.-Order Symb. Comput. 24, No. 4, 281-309 (2011). MSC: 68N18 PDFBibTeX XMLCite \textit{H. Iwasaki} et al., High.-Order Symb. Comput. 24, No. 4, 281--309 (2011; Zbl 1256.68033) Full Text: DOI
Liu, Yu David; Skalka, Christian; Smith, Scott F. Type-specialized staged programming with process separation. (English) Zbl 1256.68022 High.-Order Symb. Comput. 24, No. 4, 341-385 (2011). MSC: 68N15 68M14 PDFBibTeX XMLCite \textit{Y. D. Liu} et al., High.-Order Symb. Comput. 24, No. 4, 341--385 (2011; Zbl 1256.68022) Full Text: DOI
Kerneis, Gabriel; Chroboczek, Juliusz Continuation-passing C, compiling threads to events through continuations. (English) Zbl 1256.68038 High.-Order Symb. Comput. 24, No. 3, 239-279 (2011). MSC: 68N20 68N19 68N15 PDFBibTeX XMLCite \textit{G. Kerneis} and \textit{J. Chroboczek}, High.-Order Symb. Comput. 24, No. 3, 239--279 (2011; Zbl 1256.68038) Full Text: DOI arXiv
Garrigue, Jacques; Nakata, Keiko Path resolution for nested recursive modules. (English) Zbl 1256.68032 High.-Order Symb. Comput. 24, No. 3, 207-237 (2011). MSC: 68N18 68N30 PDFBibTeX XMLCite \textit{J. Garrigue} and \textit{K. Nakata}, High.-Order Symb. Comput. 24, No. 3, 207--237 (2011; Zbl 1256.68032) Full Text: DOI
Niqui, M.; Rutten, J. J. M. M. A proof of Moessner’s theorem by coinduction. (English) Zbl 1256.68120 High.-Order Symb. Comput. 24, No. 3, 191-206 (2011). MSC: 68Q65 03B35 68Q85 PDFBibTeX XMLCite \textit{M. Niqui} and \textit{J. J. M. M. Rutten}, High.-Order Symb. Comput. 24, No. 3, 191--206 (2011; Zbl 1256.68120) Full Text: DOI
Lawall, Julia (ed.); Puebla, Germán (ed.); Vidal, Germán (ed.) Special issue: Selected papers based on the presentations at the ACM SIGPLAN workshop on partial evaluation and program manipulation (PEPM), Savannah, GA, USA, January 19–20, 2009. (English) Zbl 1294.68021 High.-Order Symb. Comput. 24, No. 1-2, 189 p. (2011). MSC: 68-06 68Nxx 00B25 PDFBibTeX XML
Chadwick, Bryan; Lieberherr, Karl A functional approach to generic programming using adaptive traversals. (English) Zbl 1256.68030 High.-Order Symb. Comput. 23, No. 4, 433-463 (2010). MSC: 68N18 68P05 PDFBibTeX XMLCite \textit{B. Chadwick} and \textit{K. Lieberherr}, High.-Order Symb. Comput. 23, No. 4, 433--463 (2010; Zbl 1256.68030) Full Text: DOI
Swierstra, Wouter More dependent types for distributed arrays. (English) Zbl 1256.68025 High.-Order Symb. Comput. 23, No. 4, 489-506 (2010). MSC: 68N15 68N99 PDFBibTeX XMLCite \textit{W. Swierstra}, High.-Order Symb. Comput. 23, No. 4, 489--506 (2010; Zbl 1256.68025) Full Text: DOI
Achten, Peter; van Eekelen, Marko; Koopman, Pieter; Morazán, Marco T. Trends in trends in functional programming 1999/2000 versus 2007/2008. (English) Zbl 1256.68028 High.-Order Symb. Comput. 23, No. 4, 465-487 (2010). MSC: 68N18 68N19 PDFBibTeX XMLCite \textit{P. Achten} et al., High.-Order Symb. Comput. 23, No. 4, 465--487 (2010; Zbl 1256.68028) Full Text: DOI
Serrano, Manuel; Queinnec, Christian A multi-tier semantics for Hop. (English) Zbl 1256.68024 High.-Order Symb. Comput. 23, No. 4, 409-431 (2010). MSC: 68N15 68M11 68Q55 PDFBibTeX XMLCite \textit{M. Serrano} and \textit{C. Queinnec}, High.-Order Symb. Comput. 23, No. 4, 409--431 (2010; Zbl 1256.68024) Full Text: DOI
Henglein, Fritz; Larsen, Ken Friis Generic multiset programming with discrimination-based joins and symbolic Cartesian products. (English) Zbl 1232.68028 High.-Order Symb. Comput. 23, No. 3, 337-370 (2010). MSC: 68N19 68P15 PDFBibTeX XMLCite \textit{F. Henglein} and \textit{K. F. Larsen}, High.-Order Symb. Comput. 23, No. 3, 337--370 (2010; Zbl 1232.68028) Full Text: DOI
Holdermans, Stefan; Hage, Jurriaan Making “stricterness” more relevant. (English) Zbl 1232.68026 High.-Order Symb. Comput. 23, No. 3, 315-335 (2010). MSC: 68N15 68N20 PDFBibTeX XMLCite \textit{S. Holdermans} and \textit{J. Hage}, High.-Order Symb. Comput. 23, No. 3, 315--335 (2010; Zbl 1232.68026) Full Text: DOI
Lakhotia, Arun; Boccardo, Davidson R.; Singh, Anshuman; Manacero, Aleardo jun. Context-sensitive analysis without calling-context. (English) Zbl 1232.68031 High.-Order Symb. Comput. 23, No. 3, 275-313 (2010). MSC: 68N99 PDFBibTeX XMLCite \textit{A. Lakhotia} et al., High.-Order Symb. Comput. 23, No. 3, 275--313 (2010; Zbl 1232.68031) Full Text: DOI
Rudolph, Johannes; Thiemann, Peter Mnemonics: type-safe bytecode generation at run time. (English) Zbl 1234.68055 High.-Order Symb. Comput. 23, No. 3, 371-407 (2010). MSC: 68N15 68N20 PDFBibTeX XMLCite \textit{J. Rudolph} and \textit{P. Thiemann}, High.-Order Symb. Comput. 23, No. 3, 371--407 (2010; Zbl 1234.68055) Full Text: DOI
Middelkoop, Arie; Dijkstra, Atze; Swierstra, S. Doaitse A lean specification for gadts: System F with first-class equality proofs. (English) Zbl 1232.68029 High.-Order Symb. Comput. 23, No. 2, 145-166 (2010). MSC: 68N30 68Q65 PDFBibTeX XMLCite \textit{A. Middelkoop} et al., High.-Order Symb. Comput. 23, No. 2, 145--166 (2010; Zbl 1232.68029) Full Text: DOI
Grov, Gudmund; Michaelson, Greg Hume box calculus: Robust system development through software transformation. (English) Zbl 1234.68054 High.-Order Symb. Comput. 23, No. 2, 191-226 (2010). MSC: 68N15 68N30 PDFBibTeX XMLCite \textit{G. Grov} and \textit{G. Michaelson}, High.-Order Symb. Comput. 23, No. 2, 191--226 (2010; Zbl 1234.68054) Full Text: DOI
Herman, David; Tomb, Aaron; Flanagan, Cormac Space-efficient gradual typing. (English) Zbl 1232.68025 High.-Order Symb. Comput. 23, No. 2, 167-189 (2010). MSC: 68N15 68Q55 PDFBibTeX XMLCite \textit{D. Herman} et al., High.-Order Symb. Comput. 23, No. 2, 167--189 (2010; Zbl 1232.68025) Full Text: DOI
Sculthorpe, Neil; Nilsson, Henrik Keeping calm in the face of change. Towards optimisation of FRP by reasoning about change. (English) Zbl 1232.68027 High.-Order Symb. Comput. 23, No. 2, 227-271 (2010). MSC: 68N18 68N19 68Q55 PDFBibTeX XMLCite \textit{N. Sculthorpe} and \textit{H. Nilsson}, High.-Order Symb. Comput. 23, No. 2, 227--271 (2010; Zbl 1232.68027) Full Text: DOI
Alves, Sandra; Fernández, Maribel; Florido, Mário; Mackie, Ian Linearity and iterator types for Gödel’s system \(\mathcal T\). (English) Zbl 1242.03032 High.-Order Symb. Comput. 23, No. 1, 1-27 (2010). MSC: 03B40 03F52 68Q05 PDFBibTeX XMLCite \textit{S. Alves} et al., High.-Order Symb. Comput. 23, No. 1, 1--27 (2010; Zbl 1242.03032) Full Text: DOI
Simon, Axel; King, Andy The two variable per inequality abstract domain. (English) Zbl 1232.68030 High.-Order Symb. Comput. 23, No. 1, 87-143 (2010). MSC: 68N30 68N20 90C10 PDFBibTeX XMLCite \textit{A. Simon} and \textit{A. King}, High.-Order Symb. Comput. 23, No. 1, 87--143 (2010; Zbl 1232.68030) Full Text: DOI Link
Spoto, Fausto; Payet, Étienne Magic-sets for localised analysis of Java bytecode. (English) Zbl 1244.68052 High.-Order Symb. Comput. 23, No. 1, 29-86 (2010). Reviewer: Luigi Palopoli (Rende) MSC: 68Q55 68N30 68N19 PDFBibTeX XMLCite \textit{F. Spoto} and \textit{É. Payet}, High.-Order Symb. Comput. 23, No. 1, 29--86 (2010; Zbl 1244.68052) Full Text: DOI HAL
Gallagher, John P. (ed.); Voigtländer, Janis (ed.) Special issue: PEPM 2010, ACM SIGPLAN 2010 workshop on partial evaluation and program manipulation, Madrid, Spain, January 18–19, 2010. Selected papers. (English) Zbl 1254.68029 High.-Order Symb. Comput. 23, No. 3, 273-407 (2010). MSC: 68-06 68Nxx 00B25 PDFBibTeX XML
Johann, Patricia; Ghani, Neil A principled approach to programming with nested types in Haskell. (English) Zbl 1183.68141 High.-Order Symb. Comput. 22, No. 2, 155-189 (2009). MSC: 68N15 PDFBibTeX XMLCite \textit{P. Johann} and \textit{N. Ghani}, High.-Order Symb. Comput. 22, No. 2, 155--189 (2010; Zbl 1183.68141) Full Text: DOI
Monniaux, David A minimalistic look at widening operators. (English) Zbl 1183.68200 High.-Order Symb. Comput. 22, No. 2, 145-154 (2009). MSC: 68N99 PDFBibTeX XMLCite \textit{D. Monniaux}, High.-Order Symb. Comput. 22, No. 2, 145--154 (2010; Zbl 1183.68200) Full Text: DOI
Stump, Aaron Directly reflective meta-programming. (English) Zbl 1183.68164 High.-Order Symb. Comput. 22, No. 2, 115-144 (2009). MSC: 68N18 68N15 PDFBibTeX XMLCite \textit{A. Stump}, High.-Order Symb. Comput. 22, No. 2, 115--144 (2010; Zbl 1183.68164) Full Text: DOI Link
Landin, Peter J. Calculations. (English) Zbl 1209.68083 High.-Order Symb. Comput. 22, No. 4, 333-359 (2009). MSC: 68N15 PDFBibTeX XMLCite \textit{P. J. Landin}, High.-Order Symb. Comput. 22, No. 4, 333--359 (2009; Zbl 1209.68083) Full Text: DOI
Clark, Tony Stories about calculations: Remembering Peter Landin. (English) Zbl 1209.68134 High.-Order Symb. Comput. 22, No. 4, 331-332 (2009). MSC: 68N99 PDFBibTeX XMLCite \textit{T. Clark}, High.-Order Symb. Comput. 22, No. 4, 331--332 (2009; Zbl 1209.68134) Full Text: DOI
Landin, P. J. Getting rid of labels. (English) Zbl 1211.68053 High.-Order Symb. Comput. 22, No. 4, 315-329 (2009). MSC: 68N15 PDFBibTeX XMLCite \textit{P. J. Landin}, High.-Order Symb. Comput. 22, No. 4, 315--329 (2009; Zbl 1211.68053) Full Text: DOI
Tennent, R. D. An introduction to Landin’s “Getting rid of labels”. (English) Zbl 1211.68057 High.-Order Symb. Comput. 22, No. 4, 313-314 (2009). MSC: 68N15 PDFBibTeX XMLCite \textit{R. D. Tennent}, High.-Order Symb. Comput. 22, No. 4, 313--314 (2009; Zbl 1211.68057) Full Text: DOI
Hammond, Kevin; Michaelson, Greg The Peter Landin prize. (English) Zbl 1213.68189 High.-Order Symb. Comput. 22, No. 4, 305-312 (2009). MSC: 68N18 68-03 PDFBibTeX XMLCite \textit{K. Hammond} and \textit{G. Michaelson}, High.-Order Symb. Comput. 22, No. 4, 305--312 (2009; Zbl 1213.68189) Full Text: DOI
Boca, Paul P. Personal recollections of Peter Landin: 1987-2009. (English) Zbl 1205.01030 High.-Order Symb. Comput. 22, No. 4, 299-303 (2009). MSC: 01A70 68-03 PDFBibTeX XMLCite \textit{P. P. Boca}, High.-Order Symb. Comput. 22, No. 4, 299--303 (2009; Zbl 1205.01030) Full Text: DOI
Bornat, Richard Peter Landin: a computer scientist who inspired a generation. (English) Zbl 1205.01031 High.-Order Symb. Comput. 22, No. 4, 295-298 (2009). MSC: 01A70 68-03 PDFBibTeX XMLCite \textit{R. Bornat}, High.-Order Symb. Comput. 22, No. 4, 295--298 (2009; Zbl 1205.01031) Full Text: DOI
Dargaye, Zaynah; Leroy, Xavier A verified framework for higher-order uncurrying optimizations. (English) Zbl 1209.68106 High.-Order Symb. Comput. 22, No. 3, 199-231 (2009). MSC: 68N18 PDFBibTeX XMLCite \textit{Z. Dargaye} and \textit{X. Leroy}, High.-Order Symb. Comput. 22, No. 3, 199--231 (2009; Zbl 1209.68106) Full Text: DOI
Asai, Kenichi On typing delimited continuations: Three new solutions to the printf problem. (English) Zbl 1202.68084 High.-Order Symb. Comput. 22, No. 3, 275-291 (2009). MSC: 68N15 68N18 PDFBibTeX XMLCite \textit{K. Asai}, High.-Order Symb. Comput. 22, No. 3, 275--291 (2009; Zbl 1202.68084) Full Text: DOI Link
Ariola, Zena M.; Herbelin, Hugo; Sabry, Amr A type-theoretic foundation of delimited continuations. (English) Zbl 1213.68187 High.-Order Symb. Comput. 22, No. 3, 233-273 (2009). MSC: 68N18 03B70 PDFBibTeX XMLCite \textit{Z. M. Ariola} et al., High.-Order Symb. Comput. 22, No. 3, 233--273 (2009; Zbl 1213.68187) Full Text: DOI Link
Naylor, Matthew; Runciman, Colin Expressible sharing for functional circuit description. (English) Zbl 1183.68163 High.-Order Symb. Comput. 22, No. 1, 67-80 (2009). MSC: 68N18 PDFBibTeX XMLCite \textit{M. Naylor} and \textit{C. Runciman}, High.-Order Symb. Comput. 22, No. 1, 67--80 (2009; Zbl 1183.68163) Full Text: DOI
Hirschowitz, Tom; Leroy, Xavier; Wells, J. B. Compilation of extended recursion in call-by-value functional languages. (English) Zbl 1183.68140 High.-Order Symb. Comput. 22, No. 1, 3-66 (2009). MSC: 68N15 68N20 PDFBibTeX XMLCite \textit{T. Hirschowitz} et al., High.-Order Symb. Comput. 22, No. 1, 3--66 (2009; Zbl 1183.68140) Full Text: DOI arXiv
Pettorossi, Alberto; Proietti, Maurizio Totally correct logic program transformations via well-founded annotations. (English) Zbl 1194.68095 High.-Order Symb. Comput. 21, No. 1-2, 193-234 (2008); erratum ibid. 21, No. 1-2, 235 (2008). MSC: 68N17 68N99 PDFBibTeX XMLCite \textit{A. Pettorossi} and \textit{M. Proietti}, High.-Order Symb. Comput. 21, No. 1--2, 193--234 (2008; Zbl 1194.68095) Full Text: DOI Link
Ochoa, Claudio; Silva, Josep; Vidal, Germán Dynamic slicing of lazy functional programs based on redex trails. (English) Zbl 1192.68139 High.-Order Symb. Comput. 21, No. 1-2, 147-192 (2008). MSC: 68N18 PDFBibTeX XMLCite \textit{C. Ochoa} et al., High.-Order Symb. Comput. 21, No. 1--2, 147--192 (2008; Zbl 1192.68139) Full Text: DOI Link
Review, A. Systematic Program transformations for light-weight CPU accounting and control in the Java virtual machine. (English) Zbl 1194.68094 High.-Order Symb. Comput. 21, No. 1-2, 119-146 (2008). MSC: 68N15 68N25 PDFBibTeX XMLCite \textit{A. S. Review}, High.-Order Symb. Comput. 21, No. 1--2, 119--146 (2008; Zbl 1194.68094) Full Text: DOI Link
Hu, Zhenjiang; Mu, Shin-Cheng; Takeichi, Masato A programmable editor for developing structured documents based on bidirectional transformations. (English) Zbl 1194.68096 High.-Order Symb. Comput. 21, No. 1-2, 89-118 (2008). MSC: 68N18 68N99 PDFBibTeX XMLCite \textit{Z. Hu} et al., High.-Order Symb. Comput. 21, No. 1--2, 89--118 (2008; Zbl 1194.68096) Full Text: DOI
Durán, Francisco; Lucas, Salvador; Marché, Claude; Meseguer, José; Urbain, Xavier Proving operational termination of membership equational programs. (English) Zbl 1192.68154 High.-Order Symb. Comput. 21, No. 1-2, 59-88 (2008). MSC: 68N99 03B70 68Q42 PDFBibTeX XMLCite \textit{F. Durán} et al., High.-Order Symb. Comput. 21, No. 1--2, 59--88 (2008; Zbl 1192.68154) Full Text: DOI Link
Debois, Søren Imperative-program transformation by instrumented-interpreter specialization. (English) Zbl 1176.68103 High.-Order Symb. Comput. 21, No. 1-2, 37-58 (2008). MSC: 68Q45 PDFBibTeX XMLCite \textit{S. Debois}, High.-Order Symb. Comput. 21, No. 1--2, 37--58 (2008; Zbl 1176.68103) Full Text: DOI
Barker, Steve; Leuschel, Michael; Varea, Mauricio Efficient and flexible access control via Jones-optimal logic program specialisation. (English) Zbl 1189.68043 High.-Order Symb. Comput. 21, No. 1-2, 5-35 (2008). MSC: 68P15 68Q60 PDFBibTeX XMLCite \textit{S. Barker} et al., High.-Order Symb. Comput. 21, No. 1--2, 5--35 (2008; Zbl 1189.68043) Full Text: DOI Link
Amtoft, Torben Flow-sensitive type systems and the ambient calculus. (English) Zbl 1175.68268 High.-Order Symb. Comput. 21, No. 4, 411-442 (2008). MSC: 68Q85 68N30 68Q55 PDFBibTeX XMLCite \textit{T. Amtoft}, High.-Order Symb. Comput. 21, No. 4, 411--442 (2008; Zbl 1175.68268) Full Text: DOI
Owens, Scott; Slind, Konrad Adapting functional programs to higher order logic. (English) Zbl 1175.68103 High.-Order Symb. Comput. 21, No. 4, 377-409 (2008). MSC: 68N18 68W30 PDFBibTeX XMLCite \textit{S. Owens} and \textit{K. Slind}, High.-Order Symb. Comput. 21, No. 4, 377--409 (2008; Zbl 1175.68103) Full Text: DOI
Siskind, Jeffrey Mark; Pearlmutter, Barak A. Nesting forward-mode AD in a functional framework. (English) Zbl 1175.68104 High.-Order Symb. Comput. 21, No. 4, 361-376 (2008). MSC: 68N18 PDFBibTeX XMLCite \textit{J. M. Siskind} and \textit{B. A. Pearlmutter}, High.-Order Symb. Comput. 21, No. 4, 361--376 (2008; Zbl 1175.68104) Full Text: DOI Link
Ziarek, Lukasz; Weeks, Stephen; Jagannathan, Suresh Flattening tuples in an SSA intermediate representation. (English) Zbl 1175.68107 High.-Order Symb. Comput. 21, No. 3, 333-358 (2008). MSC: 68N20 PDFBibTeX XMLCite \textit{L. Ziarek} et al., High.-Order Symb. Comput. 21, No. 3, 333--358 (2008; Zbl 1175.68107) Full Text: DOI
Bischof, Christian H.; Hovland, Paul D.; Norris, Boyana On the implementation of automatic differentiation tools. (English) Zbl 1168.65324 High.-Order Symb. Comput. 21, No. 3, 311-331 (2008). MSC: 65D25 68W30 PDFBibTeX XMLCite \textit{C. H. Bischof} et al., High.-Order Symb. Comput. 21, No. 3, 311--331 (2008; Zbl 1168.65324) Full Text: DOI
Glück, Robert An investigation of Jones optimality and BTI-universal specializers. (English) Zbl 1188.68112 High.-Order Symb. Comput. 21, No. 3, 283-309 (2008). MSC: 68N99 PDFBibTeX XMLCite \textit{R. Glück}, High.-Order Symb. Comput. 21, No. 3, 283--309 (2008; Zbl 1188.68112) Full Text: DOI
Skalka, Christian Types and trace effects for object orientation. (English) Zbl 1175.68098 High.-Order Symb. Comput. 21, No. 3, 239-282 (2008). MSC: 68N15 68N19 68Q60 PDFBibTeX XMLCite \textit{C. Skalka}, High.-Order Symb. Comput. 21, No. 3, 239--282 (2008; Zbl 1175.68098) Full Text: DOI
Shan, Chung-chieh A static simulation of dynamic delimited control. (English) Zbl 1128.68010 High.-Order Symb. Comput. 20, No. 4, 371-401 (2007). MSC: 68N01 PDFBibTeX XMLCite \textit{C.-c. Shan}, High.-Order Symb. Comput. 20, No. 4, 371--401 (2007; Zbl 1128.68010) Full Text: DOI
Kameyama, Yukiyoshi Axioms for control operators in the CPS hierarchy. (English) Zbl 1128.68009 High.-Order Symb. Comput. 20, No. 4, 339-369 (2007). MSC: 68N01 PDFBibTeX XMLCite \textit{Y. Kameyama}, High.-Order Symb. Comput. 20, No. 4, 339--369 (2007; Zbl 1128.68009) Full Text: DOI
Krishnamurthi, Shriram; Hopkins, Peter Walton; McCarthy, Jay; Graunke, Paul T.; Pettyjohn, Greg; Felleisen, Matthias Implementation and use of the PLT scheme web server. (English) Zbl 1129.68330 High.-Order Symb. Comput. 20, No. 4, 431-460 (2007). MSC: 68M10 PDFBibTeX XMLCite \textit{S. Krishnamurthi} et al., High.-Order Symb. Comput. 20, No. 4, 431--460 (2007; Zbl 1129.68330) Full Text: DOI
Ariola, Zena M.; Herbelin, Hugo; Sabry, Amr A proof-theoretic foundation of abortive continuations. (English) Zbl 1128.68089 High.-Order Symb. Comput. 20, No. 4, 403-429 (2007). MSC: 68T15 03B05 03B20 03B40 PDFBibTeX XMLCite \textit{Z. M. Ariola} et al., High.-Order Symb. Comput. 20, No. 4, 403--429 (2007; Zbl 1128.68089) Full Text: DOI
Wand, Mitchell On the correctness of the Krivine machine. (English) Zbl 1130.68060 High.-Order Symb. Comput. 20, No. 3, 231-235 (2007). MSC: 68Q05 03B40 PDFBibTeX XMLCite \textit{M. Wand}, High.-Order Symb. Comput. 20, No. 3, 231--235 (2007; Zbl 1130.68060) Full Text: DOI
Krivine, Jean-Louis A call-by-name lambda-calculus machine. (English) Zbl 1130.68057 High.-Order Symb. Comput. 20, No. 3, 199-207 (2007). MSC: 68Q05 03B40 68N18 PDFBibTeX XMLCite \textit{J.-L. Krivine}, High.-Order Symb. Comput. 20, No. 3, 199--207 (2007; Zbl 1130.68057) Full Text: DOI
Schmidt, David A. State-transition machines, revisited. (English) Zbl 1129.68411 High.-Order Symb. Comput. 20, No. 3, 333-335 (2007). MSC: 68N18 PDFBibTeX XMLCite \textit{D. A. Schmidt}, High.-Order Symb. Comput. 20, No. 3, 333--335 (2007; Zbl 1129.68411) Full Text: DOI
Douence, Rémi; Fradet, Pascal The next 700 Krivine machines. (English) Zbl 1130.68053 High.-Order Symb. Comput. 20, No. 3, 237-255 (2007). MSC: 68Q05 68N18 68N20 PDFBibTeX XMLCite \textit{R. Douence} and \textit{P. Fradet}, High.-Order Symb. Comput. 20, No. 3, 237--255 (2007; Zbl 1130.68053) Full Text: DOI Link
Crégut, Pierre Strongly reducing variants of the Krivine abstract machine. (English) Zbl 1130.68052 High.-Order Symb. Comput. 20, No. 3, 209-230 (2007). MSC: 68Q05 03B40 PDFBibTeX XMLCite \textit{P. Crégut}, High.-Order Symb. Comput. 20, No. 3, 209--230 (2007; Zbl 1130.68052) Full Text: DOI
Friedman, Daniel P.; Ghuloum, Abdulaziz; Siek, Jeremy G.; Winebarger, Onnie Lynn Improving the lazy Krivine machine. (English) Zbl 1130.68055 High.-Order Symb. Comput. 20, No. 3, 271-293 (2007). MSC: 68Q05 03B40 68N18 PDFBibTeX XMLCite \textit{D. P. Friedman} et al., High.-Order Symb. Comput. 20, No. 3, 271--293 (2007; Zbl 1130.68055) Full Text: DOI
Lang, Frédéric Explaining the lazy Krivine machine using explicit substitution and addresses. (English) Zbl 1130.68058 High.-Order Symb. Comput. 20, No. 3, 257-270 (2007). MSC: 68Q05 03B40 68N18 PDFBibTeX XMLCite \textit{F. Lang}, High.-Order Symb. Comput. 20, No. 3, 257--270 (2007; Zbl 1130.68058) Full Text: DOI
Schmidt, David A. State-transition machines for lambda-calculus expressions. (English) Zbl 1130.68040 High.-Order Symb. Comput. 20, No. 3, 319-332 (2007). MSC: 68N18 68N20 68Q05 PDFBibTeX XMLCite \textit{D. A. Schmidt}, High.-Order Symb. Comput. 20, No. 3, 319--332 (2007; Zbl 1130.68040) Full Text: DOI
Lippi, Sylvain The graphical Krivine machine. (English) Zbl 1128.68019 High.-Order Symb. Comput. 20, No. 3, 295-318 (2007). MSC: 68N18 03B40 03F52 68Q42 PDFBibTeX XMLCite \textit{S. Lippi}, High.-Order Symb. Comput. 20, No. 3, 295--318 (2007; Zbl 1128.68019) Full Text: DOI
Cirstea, Horatiu; Faure, Germain; Kirchner, Claude A \(\rho\)-calculus of explicit constraint application. (English) Zbl 1115.68094 High.-Order Symb. Comput. 20, No. 1-2, 37-72 (2007). MSC: 68Q42 PDFBibTeX XMLCite \textit{H. Cirstea} et al., High.-Order Symb. Comput. 20, No. 1--2, 37--72 (2007; Zbl 1115.68094) Full Text: DOI Link
Cervesato, Iliano; Stehr, Mark-Oliver Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types. (English) Zbl 1115.68073 High.-Order Symb. Comput. 20, No. 1-2, 3-35 (2007). MSC: 68P25 68Q42 68Q60 PDFBibTeX XMLCite \textit{I. Cervesato} and \textit{M.-O. Stehr}, High.-Order Symb. Comput. 20, No. 1--2, 3--35 (2007; Zbl 1115.68073) Full Text: DOI
López Fraguas, Francisco J.; Rodríguez Artalejo, Mario; del Vado Vírseda, Rafael A new generic scheme for functional logic programming with constraints. (English) Zbl 1115.68048 High.-Order Symb. Comput. 20, No. 1-2, 73-122 (2007). MSC: 68N17 68N18 PDFBibTeX XMLCite \textit{F. J. López Fraguas} et al., High.-Order Symb. Comput. 20, No. 1--2, 73--122 (2007; Zbl 1115.68048) Full Text: DOI
Ölveczky, Peter Csaba; Meseguer, José Semantics and pragmatics of real-time maude. (English) Zbl 1115.68095 High.-Order Symb. Comput. 20, No. 1-2, 161-196 (2007). MSC: 68Q42 68Q60 PDFBibTeX XMLCite \textit{P. C. Ölveczky} and \textit{J. Meseguer}, High.-Order Symb. Comput. 20, No. 1--2, 161--196 (2007; Zbl 1115.68095) Full Text: DOI
Meseguer, José; Thati, Prasanna Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols. (English) Zbl 1115.68079 High.-Order Symb. Comput. 20, No. 1-2, 123-160 (2007). MSC: 68P25 PDFBibTeX XMLCite \textit{J. Meseguer} and \textit{P. Thati}, High.-Order Symb. Comput. 20, No. 1--2, 123--160 (2007; Zbl 1115.68079) Full Text: DOI
Honsell, Furio (ed.); Talcott, Carolyn (ed.) Special issue: Selected papers based on the presentations at the ACM SIGPLAN workshop MEchanized reasoning about languages with varIable and names (MER\(\lambda\)IN 2003), Uppsala, Sweden, August 2003. (English) Zbl 1109.68311 High.-Order Symb. Comput. 19, No. 2-3, 167-338 (2006). MSC: 68-06 00B25 PDFBibTeX XML
Hill, Patricia M.; Spoto, Fausto Deriving escape analysis by abstract interpretation. (English) Zbl 1112.68020 High.-Order Symb. Comput. 19, No. 4, 415-463 (2006). MSC: 68N15 68Q55 PDFBibTeX XMLCite \textit{P. M. Hill} and \textit{F. Spoto}, High.-Order Symb. Comput. 19, No. 4, 415--463 (2006; Zbl 1112.68020) Full Text: DOI
Levy, Paul Blain Call-by-push-value: Decomposing call-by-value and call-by-name. (English) Zbl 1112.68025 High.-Order Symb. Comput. 19, No. 4, 377-414 (2006). MSC: 68N18 PDFBibTeX XMLCite \textit{P. B. Levy}, High.-Order Symb. Comput. 19, No. 4, 377--414 (2006; Zbl 1112.68025) Full Text: DOI
Bertolissi, Clara; Cirstea, Horatiu; Kirchner, Claude Expressing combinatory reduction systems derivations in the rewriting calculus. (English) Zbl 1112.68070 High.-Order Symb. Comput. 19, No. 4, 345-376 (2006). MSC: 68Q42 03B40 PDFBibTeX XMLCite \textit{C. Bertolissi} et al., High.-Order Symb. Comput. 19, No. 4, 345--376 (2006; Zbl 1112.68070) Full Text: DOI
Tanaka, Miki; Power, John Pseudo-distributive laws and axiomatics for variable binding. (English) Zbl 1105.68077 High.-Order Symb. Comput. 19, No. 2-3, 305-337 (2006). MSC: 68Q65 PDFBibTeX XMLCite \textit{M. Tanaka} and \textit{J. Power}, High.-Order Symb. Comput. 19, No. 2--3, 305--337 (2006; Zbl 1105.68077) Full Text: DOI
Gadducci, Fabio; Miculan, Marino; Montanari, Ugo About permutation algebras, (pre)sheaves and named sets. (English) Zbl 1105.68083 High.-Order Symb. Comput. 19, No. 2-3, 283-304 (2006). MSC: 68Q85 PDFBibTeX XMLCite \textit{F. Gadducci} et al., High.-Order Symb. Comput. 19, No. 2--3, 283--304 (2006; Zbl 1105.68083) Full Text: DOI
Ghani, Neil; Uustalu, Tarmo; Hamana, Makoto Explicit substitutions and higher-order syntax. (English) Zbl 1105.68021 High.-Order Symb. Comput. 19, No. 2-3, 263-282 (2006). MSC: 68N30 03B40 68N18 68Q55 PDFBibTeX XMLCite \textit{N. Ghani} et al., High.-Order Symb. Comput. 19, No. 2--3, 263--282 (2006; Zbl 1105.68021) Full Text: DOI
Hamana, Makoto An initial algebra approach to term rewriting systems with variable binders. (English) Zbl 1105.68055 High.-Order Symb. Comput. 19, No. 2-3, 231-262 (2006). MSC: 68Q42 PDFBibTeX XMLCite \textit{M. Hamana}, High.-Order Symb. Comput. 19, No. 2--3, 231--262 (2006; Zbl 1105.68055) Full Text: DOI
Hickey, Jason; Nogin, Aleksey Formal compiler construction in a logical framework. (English) Zbl 1105.68020 High.-Order Symb. Comput. 19, No. 2-3, 197-230 (2006). MSC: 68N20 68N17 PDFBibTeX XMLCite \textit{J. Hickey} and \textit{A. Nogin}, High.-Order Symb. Comput. 19, No. 2--3, 197--230 (2006; Zbl 1105.68020) Full Text: DOI
Norrish, Michael Mechanising \(\lambda\)-calculus using a classical first order theory of terms with permutations. (English) Zbl 1105.68093 High.-Order Symb. Comput. 19, No. 2-3, 169-195 (2006). MSC: 68T15 03B35 03B40 PDFBibTeX XMLCite \textit{M. Norrish}, High.-Order Symb. Comput. 19, No. 2--3, 169--195 (2006; Zbl 1105.68093) Full Text: DOI
Pottier, François; Gauthier, Nadji Polymorphic typed defunctionalization and concretization. (English) Zbl 1105.68018 High.-Order Symb. Comput. 19, No. 1, 125-162 (2006). MSC: 68N18 PDFBibTeX XMLCite \textit{F. Pottier} and \textit{N. Gauthier}, High.-Order Symb. Comput. 19, No. 1, 125--162 (2006; Zbl 1105.68018) Full Text: DOI
Nandivada, V. Krishna; Jagannathan, Suresh Dynamic state restoration using versioning exceptions. (English) Zbl 1105.68013 High.-Order Symb. Comput. 19, No. 1, 101-124 (2006). MSC: 68N15 68Q55 PDFBibTeX XMLCite \textit{V. K. Nandivada} and \textit{S. Jagannathan}, High.-Order Symb. Comput. 19, No. 1, 101--124 (2006; Zbl 1105.68013) Full Text: DOI
Miné, Antoine The octagon abstract domain. (English) Zbl 1105.68069 High.-Order Symb. Comput. 19, No. 1, 31-100 (2006). MSC: 68Q55 68N30 PDFBibTeX XMLCite \textit{A. Miné}, High.-Order Symb. Comput. 19, No. 1, 31--100 (2006; Zbl 1105.68069) Full Text: DOI
Martel, Matthieu Semantics of roundoff error propagation in finite precision calculations. (English) Zbl 1105.65052 High.-Order Symb. Comput. 19, No. 1, 7-30 (2006). MSC: 65G50 68M07 PDFBibTeX XMLCite \textit{M. Martel}, High.-Order Symb. Comput. 19, No. 1, 7--30 (2006; Zbl 1105.65052) Full Text: DOI