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