Higher-Order and Symbolic Computation Short Title: High.-Order Symb. Comput. Publisher: Springer, Norwell, MA ISSN: 1388-3690; 1573-0557/e Online: http://link.springer.com/journal/volumesAndIssues/10990 Predecessor: Comments: Journal; No longer indexed Documents Indexed: 209 Publications (1998–2013) References Indexed: 104 Publications with 3,671 References. all top 5 Latest Issues 26, No. 1-4 (2013) 25, No. 2-4 (2012) 25, No. 1 (2012) 24, No. 4 (2011) 24, No. 3 (2011) 24, No. 1-2 (2011) 23, No. 4 (2010) 23, No. 3 (2010) 23, No. 2 (2010) 23, No. 1 (2010) 22, No. 4 (2009) 22, No. 3 (2009) 22, No. 2 (2009) 22, No. 1 (2009) 21, No. 4 (2008) 21, No. 3 (2008) 21, No. 1-2 (2008) 20, No. 4 (2007) 20, No. 3 (2007) 20, No. 1-2 (2007) 19, No. 4 (2006) 19, No. 2-3 (2006) 19, No. 1 (2006) 18, No. 3-4 (2005) 18, No. 1-2 (2005) 17, No. 4 (2004) 17, No. 3 (2004) 17, No. 1-2 (2004) 16, No. 4 (2003) 16, No. 3 (2003) 16, No. 1-2 (2003) 15, No. 4 (2002) 15, No. 2-3 (2002) 15, No. 1 (2002) 14, No. 4 (2001) 14, No. 2-3 (2001) 14, No. 1 (2001) 13, No. 4 (2000) 13, No. 3 (2000) 13, No. 1-2 (2000) 12, No. 4 (1999) 12, No. 3 (1999) 12, No. 2 (1999) 12, No. 1 (1999) 11, No. 4 (1998) 11, No. 3 (1998) 11, No. 2 (1998) 11, No. 1 (1998) all top 5 Authors 6 Lawall, Julia L. 5 Talcott, Carolyn L. 4 Danvy, Olivier 4 Landin, Peter J. 4 Thielecke, Hayo 3 Ariola, Zena M. 3 Consel, Charles 3 Dybvig, R. Kent 3 Harper, Robert 3 Khoo, Siau-Cheng 3 Kiselyov, Oleg 3 Kobayashi, Naoki 3 Meseguer Guaita, José 3 Sabry, Amr 3 Schmidt, David A. 3 Sussman, Gerald Jay 3 Vidal, Germán 3 Wand, Mitchell 2 Asai, Kenichi 2 Biagioni, Edoardo 2 Chroboczek, Juliusz 2 Cirstea, Horatiu 2 Douence, Rémi 2 Friedman, Daniel P. 2 Gallagher, John P. 2 Ghani, Neil 2 Hage, Jurriaan 2 Hamana, Makoto 2 Hammond, Kevin 2 Hatcliff, John 2 Herbelin, Hugo 2 Jagannathan, Suresh 2 Johann, Patricia 2 Kerneis, Gabriel 2 Kirchner, Claude 2 Lacey, David 2 Leroy, Xavier 2 Lillibridge, Mark 2 Liu, Yanhong Annie 2 Loogen, Rita 2 Marlet, Renaud 2 Mason, Ian A. 2 Mastroeni, Isabella 2 Matsuda, Kazutaka 2 Michaelson, Greg 2 Moreau, Luc 2 Nilsson, Henrik 2 Pettorossi, Alberto 2 Proietti, Maurizio 2 Reynolds, John Charles 2 Shan, Chung-chieh 2 Skalka, Christian 2 Smith, Scott F. 2 Sørensen, Morten Heine B. 2 Spoto, Fausto 2 Steele, Guy Lewis jun. 2 Strachey, Christopher 2 Tennent, Robert D. 2 Thiemann, Peter J. 2 Van Wyk, Eric 2 Voigtlander, Janis 2 Wadsworth, Christopher P. 1 Abelson, Harold 1 Achten, Peter 1 Adams, N. I. IV 1 Aiken, Alexander 1 Alves, Sandra 1 Amtoft, Torben 1 Barker, Steve 1 Barthe, Gilles 1 Bartley, D. H. 1 Berdine, Josh 1 Bertolissi, Clara 1 Birkedal, Lars 1 Bischof, Christian H. 1 Blelloch, Guy E. 1 Boca, Paul P. 1 Boccardo, Davidson R. 1 Bornat, Richard 1 Boudol, Gérard 1 Burstall, Rod M. 1 Capper, John 1 Cervesato, Iliano 1 Chadwick, Bryan 1 Chen, Kung 1 Chin, Wei-Ngan 1 Chirokoff, Sandrine 1 Christensen, Soren 1 Clark, Tony 1 Clerici, Silvia 1 Cline, Ken 1 Clinger, William D. 1 Coquand, Catarina 1 Crégut, Pierre 1 Dargaye, Zaynah 1 Davis, Martin David 1 de Moor, Oege 1 Debois, Søren 1 Degen, Markus 1 del Vado Vírseda, Rafael ...and 228 more Authors all top 5 Fields 195 Computer science (68-XX) 18 Mathematical logic and foundations (03-XX) 16 History and biography (01-XX) 9 General and overarching topics; collections (00-XX) 2 Numerical analysis (65-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Operations research, mathematical programming (90-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 138 Publications have been cited 905 times in 717 Documents Cited by ▼ Year ▼ The octagon abstract domain. Zbl 1105.68069Miné, Antoine 115 2006 Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols. Zbl 1115.68079Meseguer, José; Thati, Prasanna 36 2007 Definitional interpreters for higher-order programming languages. Zbl 0934.68034Reynolds, John C. 31 1998 Proving operational termination of membership equational programs. Zbl 1192.68154Durán, Francisco; Lucas, Salvador; Marché, Claude; Meseguer, José; Urbain, Xavier 28 2008 Fundamental concepts in programming languages. Zbl 0949.68510Strachey, Christopher 27 2000 Semantics and pragmatics of real-time maude. Zbl 1115.68095Ölveczky, Peter Csaba; Meseguer, José 26 2007 A call-by-name lambda-calculus machine. Zbl 1130.68057Krivine, Jean-Louis 25 2007 Continuations: A mathematical semantics for handling full jumps. Zbl 0951.68078Strachey, Christopher; Wadsworth, Christopher P. 25 2000 Call-by-push-value: Decomposing call-by-value and call-by-name. Zbl 1112.68025Levy, Paul Blain 24 2006 About permutation algebras, (pre)sheaves and named sets. Zbl 1105.68083Gadducci, Fabio; Miculan, Marino; Montanari, Ugo 22 2006 A per model of secure information flow in sequential programs. Zbl 0967.68039Sabelfeld, Andrei; Sands, David 15 2001 Definitional interpreters revisited. Zbl 0934.68033Reynolds, John C. 13 1998 Slicing software for model construction. Zbl 0972.68021Hatcliff, John; Dwyer, Matthew B.; Zheng, Hongjun 13 2000 Nesting forward-mode AD in a functional framework. Zbl 1175.68104Siskind, Jeffrey Mark; Pearlmutter, Barak A. 13 2008 Revised report on the algorithmic language scheme. Zbl 0965.68008Abelson, H.; Dybvig, R. K.; Haynes, C. T.; Rozas, G. J.; Adams, N. I. IV; Friedman, D. P.; Kohlbecker, E.; Steele, G. L. jun.; Bartley, D. H.; Halstead, R.; Oxley, D.; Sussman, G. J.; Brooks, G.; Hanson, C.; Pitman, K. M.; Wand, M. 12 1998 Space-efficient gradual typing. Zbl 1232.68025Herman, David; Tomb, Aaron; Flanagan, Cormac 12 2010 Dependent types for program termination verification. Zbl 1041.68059Xi, Hongwei 11 2002 A syntactic theory of dynamic binding. Zbl 0934.68038Moreau, Luc 11 1998 A generalization of jumps and labels. Zbl 0934.68036Landin, Peter J. 11 1998 Explicit substitutions and higher-order syntax. Zbl 1105.68021Ghani, Neil; Uustalu, Tarmo; Hamana, Makoto 10 2006 A proof-theoretic foundation of abortive continuations. Zbl 1128.68089Ariola, Zena M.; Herbelin, Hugo; Sabry, Amr 10 2007 A generalization of short-cut fusion and its correctness proof. Zbl 1020.68022Johann, Patricia 9 2002 Linear continuation-passing. Zbl 1030.68011Berdine, Josh; O’Hearn, Peter; Reddy, Uday; Thielecke, Hayo 9 2002 Functional differentiation of computer programs. Zbl 0967.68174Karczmarczuk, Jerzy 9 2001 Scheme: A interpreter for extended lambda calculus. Zbl 0929.68045Sussman, Gerald Jay; Steele, Guy L. jun. 9 1998 CPS translations and applications: The cube and beyond. Zbl 0936.03015Barthe, Gilles; Hatcliff, John; Sørensen, Morten Heine B. 9 1999 Strongly reducing variants of the Krivine abstract machine. Zbl 1130.68052Crégut, Pierre 9 2007 Partial evaluation of computation process – an approach to a compiler-compiler. Zbl 1009.68504Futamura, Yoshihiko 9 1999 On the implementation of automatic differentiation tools. Zbl 1168.65324Bischof, Christian H.; Hovland, Paul D.; Norris, Boyana 9 2008 Pseudo-distributive laws and axiomatics for variable binding. Zbl 1105.68077Tanaka, Miki; Power, John 8 2006 Non-standard semantics for program slicing. Zbl 1074.68034Giacobazzi, Roberto; Mastroeni, Isabella 8 2003 Secure information flow via linear continuations. Zbl 1030.68015Zdancewic, Steve; Myers, Andrew C. 8 2002 Composable semantic models for actor theories. Zbl 0934.68058Talcott, Carolyn L. 8 1998 Calculating sized types. Zbl 0994.68015Chin, Wei-Ngan; Khoo, Siau-Cheng 8 2001 A static simulation of dynamic delimited control. Zbl 1128.68010Shan, Chung-chieh 8 2007 Adapting functional programs to higher order logic. Zbl 1175.68103Owens, Scott; Slind, Konrad 8 2008 Mechanising \(\lambda\)-calculus using a classical first order theory of terms with permutations. Zbl 1105.68093Norrish, Michael 7 2006 A retrospective on region-based memory management. Zbl 1075.68563Tofte, Mads; Birkedal, Lars; Elsman, Martin; Hallenberg, Niels 7 2004 A formalised proof of the soundness and completeness of a simply typed lambda-calculus with explicit substitutions. Zbl 1041.68016Coquand, Catarina 7 2002 A principled approach to programming with nested types in Haskell. Zbl 1183.68141Johann, Patricia; Ghani, Neil 6 2010 On typing delimited continuations: Three new solutions to the printf problem. Zbl 1202.68084Asai, Kenichi 6 2009 Semantics of roundoff error propagation in finite precision calculations. Zbl 1105.65052Martel, Matthieu 6 2006 Corrigendum: Polymorphic type assignment and CPS conversion. Zbl 1058.68727Harper, Robert; Lillibridge, Mark 6 2003 Using circular programs to deforest in accumulating parameters. Zbl 1075.68013Voigtländer, Janis 6 2004 Comparing control constructs by double-barrelled CPS. Zbl 1029.03017Thielecke, Hayo 6 2002 An introduction to Landin’s “A generalization of jumps and labels”. Zbl 0934.68035Thielecke, Hayo 6 1998 The two variable per inequality abstract domain. Zbl 1232.68030Simon, Axel; King, Andy 6 2010 Directly reflective meta-programming. Zbl 1183.68164Stump, Aaron 5 2010 From syntactic theories to interpreters: Automating the proof of unique decomposition. Zbl 1051.68101Xiao, Yong; Sabry, Amr; Ariola, Zena M. 5 2001 A proof of Moessner’s theorem by coinduction. Zbl 1256.68120Niqui, M.; Rutten, J. J. M. M. 5 2011 A hybrid approach to online and offline partial evaluation. Zbl 0994.68037Sumii, Eijiro; Kobayashi, Naoki 5 2001 Improving the lazy Krivine machine. Zbl 1130.68055Friedman, Daniel P.; Ghuloum, Abdulaziz; Siek, Jeremy G.; Winebarger, Onnie Lynn 5 2007 Continuations revisited. Zbl 0951.68077Wadsworth, Christopher P. 5 2000 A programmable editor for developing structured documents based on bidirectional transformations. Zbl 1194.68096Hu, Zhenjiang; Mu, Shin-Cheng; Takeichi, Masato 5 2008 A type-theoretic foundation of delimited continuations. Zbl 1213.68187Ariola, Zena M.; Herbelin, Hugo; Sabry, Amr 4 2009 Formal foundations of operational semantics. Zbl 1074.68033Ford, Jonathan; Mason, Ian A. 4 2003 Compiler optimization correctness by temporal logic. Zbl 1075.68015Lacey, David; Jones, Neil D.; Van Wyk, Eric; Frederiksen, Carl Christian 4 2004 Axioms for recursion in call-by-value. Zbl 1030.68012Hasegawa, Masahito; Kakutani, Yoshihiko 4 2002 The \(\pi\)-calculus in direct style. Zbl 0934.68037Boudol, Gérard 4 1998 On the correctness of the Krivine machine. Zbl 1130.68060Wand, Mitchell 4 2007 Least reflexive points of relations. Zbl 1081.06001Desharnais, Jules; Möller, Bernhard 4 2005 A hard act to follow. Zbl 0951.01025Hoare, C. A. R. 4 2000 Efficient and flexible access control via Jones-optimal logic program specialisation. Zbl 1189.68043Barker, Steve; Leuschel, Michael; Varea, Mauricio 4 2008 Dynamic slicing of lazy functional programs based on redex trails. Zbl 1192.68139Ochoa, Claudio; Silva, Josep; Vidal, Germán 4 2008 Functional programs as compressed data. Zbl 1360.68332Kobayashi, Naoki; Matsuda, Kazutaka; Shinohara, Ayumi; Yaguchi, Kazuya 4 2012 Magic-sets for localised analysis of Java bytecode. Zbl 1244.68052Spoto, Fausto; Payet, Étienne 4 2010 Making “stricterness” more relevant. Zbl 1232.68026Holdermans, Stefan; Hage, Jurriaan 4 2010 Generic multiset programming with discrimination-based joins and symbolic Cartesian products. Zbl 1232.68028Henglein, Fritz; Larsen, Ken Friis 4 2010 A new generic scheme for functional logic programming with constraints. Zbl 1115.68048López Fraguas, Francisco J.; Rodríguez Artalejo, Mario; del Vado Vírseda, Rafael 4 2007 Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types. Zbl 1115.68073Cervesato, Iliano; Stehr, Mark-Oliver 4 2007 Compilation of extended recursion in call-by-value functional languages. Zbl 1183.68140Hirschowitz, Tom; Leroy, Xavier; Wells, J. B. 3 2009 Specification diagrams for actor systems. Zbl 1020.68051Smith, Scott F.; Talcott, Carolyn L. 3 2002 Linear-time self-interpretation of the pure lambda calculus. Zbl 0972.68029Mogensen, Torben Æ. 3 2000 Implementation strategies for first-class continuations. Zbl 0935.68004Clinger, William D. 3 1999 Unchecked exceptions can be strictly more powerful than call/cc. Zbl 0935.68010Lillibridge, Mark 3 1999 Logical approximation for program analysis. Zbl 1256.68045Simmons, Robert J.; Pfenning, Frank 3 2011 The second Futamura projection for type-directed partial evaluation. Zbl 0994.68042Grobauer, Bernd; Yang, Zhe 3 2001 State-transition machines for lambda-calculus expressions. Zbl 1130.68040Schmidt, David A. 3 2007 Axioms for control operators in the CPS hierarchy. Zbl 1128.68009Kameyama, Yukiyoshi 3 2007 Fixing letrec: A faithful yet efficient implementation of Scheme’s recursive binding construct. Zbl 1086.68524Waddell, Oscar; Sarkar, Dipanwita; Dybvig, R. Kent 3 2005 Abstract models of storage. Zbl 0949.68536Tennent, Robert D.; Ghica, Dan R. 3 2000 Program synthesis from formal requirements specifications using APTS. Zbl 1038.68080Leonard, Elizabeth I.; Heitmeyer, Constance L. 3 2003 A \(\rho\)-calculus of explicit constraint application. Zbl 1115.68094Cirstea, Horatiu; Faure, Germain; Kirchner, Claude 3 2007 Getting rid of labels. Zbl 1211.68053Landin, P. J. 2 2009 A minimalistic look at widening operators. Zbl 1183.68200Monniaux, David 2 2010 An initial algebra approach to term rewriting systems with variable binders. Zbl 1105.68055Hamana, Makoto 2 2006 Strong normalization from weak normalization by translation into the lambda-I-calculus. Zbl 1074.68010Gørtz, Inge Li; Reuss, Signe; Heine Sørensen, Morten 2 2003 Cost-augmented partial evaluation of functional logic programs. Zbl 1075.68010Vidal, Germán 2 2004 Program adaptation via output-constraint specialization. Zbl 1075.68012Khoo, Siau-Cheng; Shi, Kun 2 2004 Optimizing nested loops using local CPS conversion. Zbl 1030.68019Reppy, John 2 2002 Higher-order unCurrying. Zbl 0972.68037Hannan, John; Hicks, Patrick 2 2000 A polymorphic environment calculus and its type-inference algorithm. Zbl 0972.68030Nishizaki, Shin-Ya 2 2000 Static and dynamic program compilation by interpreter specialization. Zbl 0969.68581Thibault, Scott; Consel, Charles; Lawall, Julia L.; Marlet, Renaud; Muller, Gilles 2 2000 Retraction approach to CPS transform. Zbl 0934.68032Kučan, Jakov 2 1998 A multi-tier semantics for Hop. Zbl 1256.68024Serrano, Manuel; Queinnec, Christian 2 2010 More dependent types for distributed arrays. Zbl 1256.68025Swierstra, Wouter 2 2010 Improving type error messages for generic Java. Zbl 1256.68026el Boustani, Nabil; Hage, Jurriaan 2 2011 Optimal representations of polymorphic types with subtyping. Zbl 0941.68076Aiken, Alexander; Wimmers, Edward L.; Palsberg, Jens 2 1999 State-transition machines, revisited. Zbl 1129.68411Schmidt, David A. 2 2007 Imperative-program transformation by instrumented-interpreter specialization. Zbl 1176.68103Debois, Søren 2 2008 Graph-based communication in Eden. Zbl 1360.68330Horstmeyer, Thomas; Loogen, Rita 1 2013 Functional programs as compressed data. Zbl 1360.68332Kobayashi, Naoki; Matsuda, Kazutaka; Shinohara, Ayumi; Yaguchi, Kazuya 4 2012 Polynomial-time inverse computation for accumulative functions with multiple data traversals. Zbl 1360.68366Matsuda, Kazutaka; Inaba, Kazuhiro; Nakano, Keisuke 2 2012 The interaction of contracts and laziness. Zbl 1360.68325Degen, Markus; Thiemann, Peter; Wehr, Stefan 2 2012 An approach to completing variable names for implicitly typed functional languages. Zbl 1360.68340Sasano, Isao; Goto, Takumi 1 2012 A proof of Moessner’s theorem by coinduction. Zbl 1256.68120Niqui, M.; Rutten, J. J. M. M. 5 2011 Logical approximation for program analysis. Zbl 1256.68045Simmons, Robert J.; Pfenning, Frank 3 2011 Improving type error messages for generic Java. Zbl 1256.68026el Boustani, Nabil; Hage, Jurriaan 2 2011 Path resolution for nested recursive modules. Zbl 1256.68032Garrigue, Jacques; Nakata, Keiko 1 2011 Continuation-passing C, compiling threads to events through continuations. Zbl 1256.68038Kerneis, Gabriel; Chroboczek, Juliusz 1 2011 Type-specialized staged programming with process separation. Zbl 1256.68022Liu, Yu David; Skalka, Christian; Smith, Scott F. 1 2011 Pruning with improving sequences in lazy functional programs. Zbl 1256.68033Iwasaki, Hideya; Morimoto, Takeshi; Takano, Yasunao 1 2011 Space-efficient gradual typing. Zbl 1232.68025Herman, David; Tomb, Aaron; Flanagan, Cormac 12 2010 A principled approach to programming with nested types in Haskell. Zbl 1183.68141Johann, Patricia; Ghani, Neil 6 2010 The two variable per inequality abstract domain. Zbl 1232.68030Simon, Axel; King, Andy 6 2010 Directly reflective meta-programming. Zbl 1183.68164Stump, Aaron 5 2010 Magic-sets for localised analysis of Java bytecode. Zbl 1244.68052Spoto, Fausto; Payet, Étienne 4 2010 Making “stricterness” more relevant. Zbl 1232.68026Holdermans, Stefan; Hage, Jurriaan 4 2010 Generic multiset programming with discrimination-based joins and symbolic Cartesian products. Zbl 1232.68028Henglein, Fritz; Larsen, Ken Friis 4 2010 A minimalistic look at widening operators. Zbl 1183.68200Monniaux, David 2 2010 A multi-tier semantics for Hop. Zbl 1256.68024Serrano, Manuel; Queinnec, Christian 2 2010 More dependent types for distributed arrays. Zbl 1256.68025Swierstra, Wouter 2 2010 A lean specification for gadts: System F with first-class equality proofs. Zbl 1232.68029Middelkoop, Arie; Dijkstra, Atze; Swierstra, S. Doaitse 2 2010 Trends in trends in functional programming 1999/2000 versus 2007/2008. Zbl 1256.68028Achten, Peter; van Eekelen, Marko; Koopman, Pieter; Morazán, Marco T. 1 2010 Special issue: PEPM 2010, ACM SIGPLAN 2010 workshop on partial evaluation and program manipulation, Madrid, Spain, January 18–19, 2010. Selected papers. Zbl 1254.68029 1 2010 Keeping calm in the face of change. Towards optimisation of FRP by reasoning about change. Zbl 1232.68027Sculthorpe, Neil; Nilsson, Henrik 1 2010 Mnemonics: type-safe bytecode generation at run time. Zbl 1234.68055Rudolph, Johannes; Thiemann, Peter 1 2010 On typing delimited continuations: Three new solutions to the printf problem. Zbl 1202.68084Asai, Kenichi 6 2009 A type-theoretic foundation of delimited continuations. Zbl 1213.68187Ariola, Zena M.; Herbelin, Hugo; Sabry, Amr 4 2009 Compilation of extended recursion in call-by-value functional languages. Zbl 1183.68140Hirschowitz, Tom; Leroy, Xavier; Wells, J. B. 3 2009 Getting rid of labels. Zbl 1211.68053Landin, P. J. 2 2009 Proving operational termination of membership equational programs. Zbl 1192.68154Durán, Francisco; Lucas, Salvador; Marché, Claude; Meseguer, José; Urbain, Xavier 28 2008 Nesting forward-mode AD in a functional framework. Zbl 1175.68104Siskind, Jeffrey Mark; Pearlmutter, Barak A. 13 2008 On the implementation of automatic differentiation tools. Zbl 1168.65324Bischof, Christian H.; Hovland, Paul D.; Norris, Boyana 9 2008 Adapting functional programs to higher order logic. Zbl 1175.68103Owens, Scott; Slind, Konrad 8 2008 A programmable editor for developing structured documents based on bidirectional transformations. Zbl 1194.68096Hu, Zhenjiang; Mu, Shin-Cheng; Takeichi, Masato 5 2008 Efficient and flexible access control via Jones-optimal logic program specialisation. Zbl 1189.68043Barker, Steve; Leuschel, Michael; Varea, Mauricio 4 2008 Dynamic slicing of lazy functional programs based on redex trails. Zbl 1192.68139Ochoa, Claudio; Silva, Josep; Vidal, Germán 4 2008 Imperative-program transformation by instrumented-interpreter specialization. Zbl 1176.68103Debois, Søren 2 2008 Types and trace effects for object orientation. Zbl 1175.68098Skalka, Christian 1 2008 An investigation of Jones optimality and BTI-universal specializers. Zbl 1188.68112Glück, Robert 1 2008 Flow-sensitive type systems and the ambient calculus. Zbl 1175.68268Amtoft, Torben 1 2008 Totally correct logic program transformations via well-founded annotations. Zbl 1194.68095Pettorossi, Alberto; Proietti, Maurizio 1 2008 Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols. Zbl 1115.68079Meseguer, José; Thati, Prasanna 36 2007 Semantics and pragmatics of real-time maude. Zbl 1115.68095Ölveczky, Peter Csaba; Meseguer, José 26 2007 A call-by-name lambda-calculus machine. Zbl 1130.68057Krivine, Jean-Louis 25 2007 A proof-theoretic foundation of abortive continuations. Zbl 1128.68089Ariola, Zena M.; Herbelin, Hugo; Sabry, Amr 10 2007 Strongly reducing variants of the Krivine abstract machine. Zbl 1130.68052Crégut, Pierre 9 2007 A static simulation of dynamic delimited control. Zbl 1128.68010Shan, Chung-chieh 8 2007 Improving the lazy Krivine machine. Zbl 1130.68055Friedman, Daniel P.; Ghuloum, Abdulaziz; Siek, Jeremy G.; Winebarger, Onnie Lynn 5 2007 On the correctness of the Krivine machine. Zbl 1130.68060Wand, Mitchell 4 2007 A new generic scheme for functional logic programming with constraints. Zbl 1115.68048López Fraguas, Francisco J.; Rodríguez Artalejo, Mario; del Vado Vírseda, Rafael 4 2007 Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types. Zbl 1115.68073Cervesato, Iliano; Stehr, Mark-Oliver 4 2007 State-transition machines for lambda-calculus expressions. Zbl 1130.68040Schmidt, David A. 3 2007 Axioms for control operators in the CPS hierarchy. Zbl 1128.68009Kameyama, Yukiyoshi 3 2007 A \(\rho\)-calculus of explicit constraint application. Zbl 1115.68094Cirstea, Horatiu; Faure, Germain; Kirchner, Claude 3 2007 State-transition machines, revisited. Zbl 1129.68411Schmidt, David A. 2 2007 Implementation and use of the PLT scheme web server. Zbl 1129.68330Krishnamurthi, Shriram; Hopkins, Peter Walton; McCarthy, Jay; Graunke, Paul T.; Pettyjohn, Greg; Felleisen, Matthias 1 2007 The octagon abstract domain. Zbl 1105.68069Miné, Antoine 115 2006 Call-by-push-value: Decomposing call-by-value and call-by-name. Zbl 1112.68025Levy, Paul Blain 24 2006 About permutation algebras, (pre)sheaves and named sets. Zbl 1105.68083Gadducci, Fabio; Miculan, Marino; Montanari, Ugo 22 2006 Explicit substitutions and higher-order syntax. Zbl 1105.68021Ghani, Neil; Uustalu, Tarmo; Hamana, Makoto 10 2006 Pseudo-distributive laws and axiomatics for variable binding. Zbl 1105.68077Tanaka, Miki; Power, John 8 2006 Mechanising \(\lambda\)-calculus using a classical first order theory of terms with permutations. Zbl 1105.68093Norrish, Michael 7 2006 Semantics of roundoff error propagation in finite precision calculations. Zbl 1105.65052Martel, Matthieu 6 2006 An initial algebra approach to term rewriting systems with variable binders. Zbl 1105.68055Hamana, Makoto 2 2006 Polymorphic typed defunctionalization and concretization. Zbl 1105.68018Pottier, François; Gauthier, Nadji 1 2006 Formal compiler construction in a logical framework. Zbl 1105.68020Hickey, Jason; Nogin, Aleksey 1 2006 Least reflexive points of relations. Zbl 1081.06001Desharnais, Jules; Möller, Bernhard 4 2005 Fixing letrec: A faithful yet efficient implementation of Scheme’s recursive binding construct. Zbl 1086.68524Waddell, Oscar; Sarkar, Dipanwita; Dybvig, R. Kent 3 2005 A variadic extension of Curry’s fixed-point combinator. Zbl 1083.68015Goldberg, Mayer 1 2005 Transformational derivation of an improved alias analysis algorithm. Zbl 1084.68016Goyal, Deepak 1 2005 A retrospective on region-based memory management. Zbl 1075.68563Tofte, Mads; Birkedal, Lars; Elsman, Martin; Hallenberg, Niels 7 2004 Using circular programs to deforest in accumulating parameters. Zbl 1075.68013Voigtländer, Janis 6 2004 Compiler optimization correctness by temporal logic. Zbl 1075.68015Lacey, David; Jones, Neil D.; Van Wyk, Eric; Frederiksen, Carl Christian 4 2004 Cost-augmented partial evaluation of functional logic programs. Zbl 1075.68010Vidal, Germán 2 2004 Program adaptation via output-constraint specialization. Zbl 1075.68012Khoo, Siau-Cheng; Shi, Kun 2 2004 Non-standard semantics for program slicing. Zbl 1074.68034Giacobazzi, Roberto; Mastroeni, Isabella 8 2003 Corrigendum: Polymorphic type assignment and CPS conversion. Zbl 1058.68727Harper, Robert; Lillibridge, Mark 6 2003 Formal foundations of operational semantics. Zbl 1074.68033Ford, Jonathan; Mason, Ian A. 4 2003 Program synthesis from formal requirements specifications using APTS. Zbl 1038.68080Leonard, Elizabeth I.; Heitmeyer, Constance L. 3 2003 Strong normalization from weak normalization by translation into the lambda-I-calculus. Zbl 1074.68010Gørtz, Inge Li; Reuss, Signe; Heine Sørensen, Morten 2 2003 Dynamic programming via static incrementalization. Zbl 1038.68024Liu, Yanhong A.; Stoller, Scott D. 2 2003 Path dependent analysis of logic programs. Zbl 1074.68009Lu, Lunjin 1 2003 Automatic generation of staged geometric predicates. Zbl 1059.68147Nanevski, Aleksandar; Blelloch, Guy; Harper, Robert 1 2003 Comparing parallel functional languages: Programming and performance. Zbl 1074.68541Loidl, H.-W.; Rubio, F.; Scaife, N.; Hammond, K.; Horiguchi, S.; Klusik, U.; Loogen, R.; Michaelson, G. J.; Peña, R.; Priebe, S.; Rebón, Á. J.; Trinder, P. W. 1 2003 Computational divided differencing and divided-difference arithmetics. Zbl 1040.68148Reps, Thomas W.; Rall, Louis B. 1 2003 Dependent types for program termination verification. Zbl 1041.68059Xi, Hongwei 11 2002 A generalization of short-cut fusion and its correctness proof. Zbl 1020.68022Johann, Patricia 9 2002 Linear continuation-passing. Zbl 1030.68011Berdine, Josh; O’Hearn, Peter; Reddy, Uday; Thielecke, Hayo 9 2002 Secure information flow via linear continuations. Zbl 1030.68015Zdancewic, Steve; Myers, Andrew C. 8 2002 A formalised proof of the soundness and completeness of a simply typed lambda-calculus with explicit substitutions. Zbl 1041.68016Coquand, Catarina 7 2002 Comparing control constructs by double-barrelled CPS. Zbl 1029.03017Thielecke, Hayo 6 2002 Axioms for recursion in call-by-value. Zbl 1030.68012Hasegawa, Masahito; Kakutani, Yoshihiko 4 2002 Specification diagrams for actor systems. Zbl 1020.68051Smith, Scott F.; Talcott, Carolyn L. 3 2002 Optimizing nested loops using local CPS conversion. Zbl 1030.68019Reppy, John 2 2002 Functional geometry. Zbl 1021.68023Henderson, Peter 1 2002 A per model of secure information flow in sequential programs. Zbl 0967.68039Sabelfeld, Andrei; Sands, David 15 2001 Functional differentiation of computer programs. Zbl 0967.68174Karczmarczuk, Jerzy 9 2001 Calculating sized types. Zbl 0994.68015Chin, Wei-Ngan; Khoo, Siau-Cheng 8 2001 ...and 38 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 1,026 Authors 39 Meseguer Guaita, José 21 Escobar, Santiago 18 Danvy, Olivier 15 Lucas, Salvador 14 Talcott, Carolyn L. 11 Durán, Francisco 10 Ariola, Zena M. 10 Olveczky, Peter Csaba 9 Alpuente, María 9 Ghani, Neil 9 King, Andy 9 Martí-Oliet, Narciso 9 Subramani, Krishnan 8 Ciancia, Vincenzo 8 Miné, Antoine 8 Montanari, Ugo G. 8 Voigtlander, Janis 7 Barthe, Gilles 7 Johann, Patricia 6 Biernacki, Dariusz 6 Downen, Paul 6 Mastroeni, Isabella 6 Sammartino, Matteo 6 Shan, Chung-chieh 6 Wojciechowski, Piotr J. 6 Zucca, Elena 5 Biernacka, Małgorzata 5 Blanqui, Frédéric 5 Herbelin, Hugo 5 Kiselyov, Oleg 5 Nielsen, Lasse R. 5 Nordvall Forsberg, Fredrik 5 Schmidt, David A. 5 Thiemann, Peter J. 5 Urban, Christian 5 Uustalu, Tarmo 5 Vidal, Germán 4 Accattoli, Beniamino 4 Albert, Elvira 4 Amato, Gianluca 4 Asai, Kenichi 4 Ballis, Demis 4 Bruni, Roberto 4 Cortesi, Agostino 4 Cousot, Patrick 4 Dal Lago, Ugo 4 Eker, Steven 4 Felleisen, Matthias 4 Ferrara, Pietro 4 Giannini, Paola 4 Glück, Robert 4 Hatcliff, John 4 Hirschowitz, André 4 Iborra, José 4 Maggesi, Marco 4 Martel, Matthieu 4 Meadows, Catherine A. 4 Millikin, Kevin 4 Orsanigo, Federico 4 Pearlmutter, Barak A. 4 Pientka, Brigitte 4 Rocha, Camilo 4 Roşu, Grigore 4 Sabry, Amr 4 Sapiña, Julia 4 Seidl, Helmut 4 Simon, Axel 4 Sørensen, Morten Heine B. 4 Wadler, Philip Lee 3 Ahrens, Benedikt 3 Amtoft, Torben 3 Ancona, Davide 3 Arceri, Vincenzo 3 Brauer, Jörg 3 Bucciarelli, Antonio 3 Chen, Liqian 3 Danicic, Sebastian 3 del Vado Vírseda, Rafael 3 Falaschi, Moreno 3 Friedman, Daniel P. 3 Fujita, Ken-etsu 3 Guerrieri, Giulio 3 Gutiérrez, Raúl 3 Hamana, Makoto 3 Harman, Mark 3 Howe, Jacob M. 3 Hutton, Graham 3 Ilik, Danko 3 Iosif, Radu 3 Jay, C. Barry 3 Kameyama, Yukiyoshi 3 Kesner, Delia 3 Lafont, Ambroise 3 Lenglet, Sergueï 3 Leroy, Xavier 3 Levy, Paul Blain 3 Liu, Si 3 Logozzo, Francesco 3 Merro, Massimo 3 Midtgaard, Jan ...and 926 more Authors all top 5 Cited in 69 Journals 72 Theoretical Computer Science 52 Higher-Order and Symbolic Computation 46 Journal of Functional Programming 24 Information and Computation 24 Journal of Logical and Algebraic Methods in Programming 19 MSCS. Mathematical Structures in Computer Science 16 Journal of Automated Reasoning 15 Formal Methods in System Design 13 Science of Computer Programming 13 Theory and Practice of Logic Programming 13 Logical Methods in Computer Science 12 Information Processing Letters 12 The Journal of Logic and Algebraic Programming 12 Computer Languages, Systems & Structures 11 Formal Aspects of Computing 8 Journal of Symbolic Computation 7 Acta Informatica 5 New Generation Computing 4 Annals of Pure and Applied Logic 4 RAIRO. Theoretical Informatics and Applications 4 Fundamenta Informaticae 3 Journal of Computer and System Sciences 3 Algorithmica 3 Theory and Applications of Categories 3 Optimization Methods & Software 2 ACM Transactions on Mathematical Software 2 Numerical Algorithms 2 Applicable Algebra in Engineering, Communication and Computing 2 Applied Categorical Structures 2 Annals of Mathematics and Artificial Intelligence 2 Journal of Combinatorial Optimization 1 Artificial Intelligence 1 Computers & Mathematics with Applications 1 Discrete Applied Mathematics 1 International Journal for Numerical Methods in Engineering 1 Journal of Computational and Applied Mathematics 1 Journal of Pure and Applied Algebra 1 The Journal of Symbolic Logic 1 Notre Dame Journal of Formal Logic 1 Programming and Computer Software 1 SIAM Journal on Computing 1 Software. Practice & Experience 1 Studia Logica 1 Order 1 Journal of Computer Science and Technology 1 Discrete & Computational Geometry 1 Computational Mechanics 1 Real-Time Systems 1 Cybernetics and Systems Analysis 1 Journal of Logic, Language and Information 1 Journal of Mathematical Sciences (New York) 1 The Bulletin of Symbolic Logic 1 Constraints 1 Journal of the ACM 1 Concurrency and Computation: Practice & Experience 1 Computational Methods in Applied Mathematics 1 Journal of Machine Learning Research (JMLR) 1 Sādhanā 1 ACM Transactions on Computational Logic 1 Computational Intelligence 1 Discrete Optimization 1 Electronic Notes in Theoretical Computer Science 1 Mathematics in Computer Science 1 Electronic Journal of Statistics 1 Algorithms 1 RAIRO. Theoretical Informatics and Applications 1 Computability 1 Bayesian Analysis 1 European Series in Applied and Industrial Mathematics (ESAIM): Proceedings and Surveys all top 5 Cited in 30 Fields 659 Computer science (68-XX) 161 Mathematical logic and foundations (03-XX) 29 Category theory; homological algebra (18-XX) 26 Numerical analysis (65-XX) 20 Operations research, mathematical programming (90-XX) 12 Information and communication theory, circuits (94-XX) 8 Order, lattices, ordered algebraic structures (06-XX) 4 History and biography (01-XX) 3 Number theory (11-XX) 3 Linear and multilinear algebra; matrix theory (15-XX) 3 Convex and discrete geometry (52-XX) 2 Combinatorics (05-XX) 2 Partial differential equations (35-XX) 2 Probability theory and stochastic processes (60-XX) 2 Statistics (62-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Systems theory; control (93-XX) 1 General and overarching topics; collections (00-XX) 1 General algebraic systems (08-XX) 1 Commutative algebra (13-XX) 1 Algebraic geometry (14-XX) 1 Associative rings and algebras (16-XX) 1 Real functions (26-XX) 1 Ordinary differential equations (34-XX) 1 Functional analysis (46-XX) 1 Operator theory (47-XX) 1 Geometry (51-XX) 1 Mechanics of particles and systems (70-XX) 1 Mechanics of deformable solids (74-XX) 1 Quantum theory (81-XX) Citations by Year