×

zbMATH — the first resource for mathematics

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: No longer indexed
Documents Indexed: 209 Publications (1998–2013)
References Indexed: 104 Publications with 3,671 References.
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 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
1 Desharnais, Jules
...and 229 more Authors

Publications by Year

Citations contained in zbMATH Open

137 Publications have been cited 715 times in 574 Documents Cited by Year
The octagon abstract domain. Zbl 1105.68069
Miné, Antoine
83
2006
Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols. Zbl 1115.68079
Meseguer, José; Thati, Prasanna
28
2007
Proving operational termination of membership equational programs. Zbl 1192.68154
Durán, Francisco; Lucas, Salvador; Marché, Claude; Meseguer, José; Urbain, Xavier
26
2008
Fundamental concepts in programming languages. Zbl 0949.68510
Strachey, Christopher
25
2000
Definitional interpreters for higher-order programming languages. Zbl 0934.68034
Reynolds, John C.
25
1998
Semantics and pragmatics of real-time maude. Zbl 1115.68095
Ölveczky, Peter Csaba; Meseguer, José
24
2007
A call-by-name lambda-calculus machine. Zbl 1130.68057
Krivine, Jean-Louis
22
2007
Continuations: A mathematical semantics for handling full jumps. Zbl 0951.68078
Strachey, Christopher; Wadsworth, Christopher P.
20
2000
About permutation algebras, (pre)sheaves and named sets. Zbl 1105.68083
Gadducci, Fabio; Miculan, Marino; Montanari, Ugo
16
2006
Slicing software for model construction. Zbl 0972.68021
Hatcliff, John; Dwyer, Matthew B.; Zheng, Hongjun
13
2000
A syntactic theory of dynamic binding. Zbl 0934.68038
Moreau, Luc
11
1998
Definitional interpreters revisited. Zbl 0934.68033
Reynolds, John C.
11
1998
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.
11
1998
A per model of secure information flow in sequential programs. Zbl 0967.68039
Sabelfeld, Andrei; Sands, David
10
2001
Call-by-push-value: Decomposing call-by-value and call-by-name. Zbl 1112.68025
Levy, Paul Blain
10
2006
Dependent types for program termination verification. Zbl 1041.68059
Xi, Hongwei
9
2002
Linear continuation-passing. Zbl 1030.68011
Berdine, Josh; O’Hearn, Peter; Reddy, Uday; Thielecke, Hayo
9
2002
On the implementation of automatic differentiation tools. Zbl 1168.65324
Bischof, Christian H.; Hovland, Paul D.; Norris, Boyana
9
2008
A proof-theoretic foundation of abortive continuations. Zbl 1128.68089
Ariola, Zena M.; Herbelin, Hugo; Sabry, Amr
8
2007
Partial evaluation of computation process – an approach to a compiler-compiler. Zbl 1009.68504
Futamura, Yoshihiko
8
1999
Scheme: A interpreter for extended lambda calculus. Zbl 0929.68045
Sussman, Gerald Jay; Steele, Guy L. jun.
8
1998
Secure information flow via linear continuations. Zbl 1030.68015
Zdancewic, Steve; Myers, Andrew C.
7
2002
CPS translations and applications: The cube and beyond. Zbl 0936.03015
Barthe, Gilles; Hatcliff, John; Sørensen, Morten Heine B.
7
1999
Pseudo-distributive laws and axiomatics for variable binding. Zbl 1105.68077
Tanaka, Miki; Power, John
7
2006
Composable semantic models for actor theories. Zbl 0934.68058
Talcott, Carolyn L.
7
1998
A generalization of jumps and labels. Zbl 0934.68036
Landin, Peter J.
7
1998
Nesting forward-mode AD in a functional framework. Zbl 1175.68104
Siskind, Jeffrey Mark; Pearlmutter, Barak A.
7
2008
Adapting functional programs to higher order logic. Zbl 1175.68103
Owens, Scott; Slind, Konrad
7
2008
Strongly reducing variants of the Krivine abstract machine. Zbl 1130.68052
Crégut, Pierre
6
2007
Functional differentiation of computer programs. Zbl 0967.68174
Karczmarczuk, Jerzy
6
2001
Mechanising \(\lambda\)-calculus using a classical first order theory of terms with permutations. Zbl 1105.68093
Norrish, Michael
6
2006
Explicit substitutions and higher-order syntax. Zbl 1105.68021
Ghani, Neil; Uustalu, Tarmo; Hamana, Makoto
6
2006
Non-standard semantics for program slicing. Zbl 1074.68034
Giacobazzi, Roberto; Mastroeni, Isabella
6
2003
Corrigendum: Polymorphic type assignment and CPS conversion. Zbl 1058.68727
Harper, Robert; Lillibridge, Mark
6
2003
The two variable per inequality abstract domain. Zbl 1232.68030
Simon, Axel; King, Andy
6
2010
An introduction to Landin’s “A generalization of jumps and labels”. Zbl 0934.68035
Thielecke, Hayo
6
1998
Improving the lazy Krivine machine. Zbl 1130.68055
Friedman, Daniel P.; Ghuloum, Abdulaziz; Siek, Jeremy G.; Winebarger, Onnie Lynn
5
2007
A static simulation of dynamic delimited control. Zbl 1128.68010
Shan, Chung-chieh
5
2007
Using circular programs to deforest in accumulating parameters. Zbl 1075.68013
Voigtländer, Janis
5
2004
Continuations revisited. Zbl 0951.68077
Wadsworth, Christopher P.
5
2000
A formalised proof of the soundness and completeness of a simply typed lambda-calculus with explicit substitutions. Zbl 1041.68016
Coquand, Catarina
5
2002
A generalization of short-cut fusion and its correctness proof. Zbl 1020.68022
Johann, Patricia
5
2002
Semantics of roundoff error propagation in finite precision calculations. Zbl 1105.65052
Martel, Matthieu
5
2006
Space-efficient gradual typing. Zbl 1232.68025
Herman, David; Tomb, Aaron; Flanagan, Cormac
5
2010
A hybrid approach to online and offline partial evaluation. Zbl 0994.68037
Sumii, Eijiro; Kobayashi, Naoki
5
2001
Calculating sized types. Zbl 0994.68015
Chin, Wei-Ngan; Khoo, Siau-Cheng
5
2001
From syntactic theories to interpreters: Automating the proof of unique decomposition. Zbl 1051.68101
Xiao, Yong; Sabry, Amr; Ariola, Zena M.
5
2001
On the correctness of the Krivine machine. Zbl 1130.68060
Wand, Mitchell
4
2007
A retrospective on region-based memory management. Zbl 1075.68563
Tofte, Mads; Birkedal, Lars; Elsman, Martin; Hallenberg, Niels
4
2004
A hard act to follow. Zbl 0951.01025
Hoare, C. A. R.
4
2000
Comparing control constructs by double-barrelled CPS. Zbl 1029.03017
Thielecke, Hayo
4
2002
Axioms for recursion in call-by-value. Zbl 1030.68012
Hasegawa, Masahito; Kakutani, Yoshihiko
4
2002
Formal foundations of operational semantics. Zbl 1074.68033
Ford, Jonathan; Mason, Ian A.
4
2003
Making “stricterness” more relevant. Zbl 1232.68026
Holdermans, Stefan; Hage, Jurriaan
4
2010
A proof of Moessner’s theorem by coinduction. Zbl 1256.68120
Niqui, M.; Rutten, J. J. M. M.
4
2011
The \(\pi\)-calculus in direct style. Zbl 0934.68037
Boudol, Gérard
4
1998
A programmable editor for developing structured documents based on bidirectional transformations. Zbl 1194.68096
Hu, Zhenjiang; Mu, Shin-Cheng; Takeichi, Masato
4
2008
Directly reflective meta-programming. Zbl 1183.68164
Stump, Aaron
4
2010
A type-theoretic foundation of delimited continuations. Zbl 1213.68187
Ariola, Zena M.; Herbelin, Hugo; Sabry, Amr
4
2009
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
4
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
Compiler optimization correctness by temporal logic. Zbl 1075.68015
Lacey, David; Jones, Neil D.; Van Wyk, Eric; Frederiksen, Carl Christian
3
2004
Abstract models of storage. Zbl 0949.68536
Tennent, Robert D.; Ghica, Dan R.
3
2000
Specification diagrams for actor systems. Zbl 1020.68051
Smith, Scott F.; Talcott, Carolyn L.
3
2002
Unchecked exceptions can be strictly more powerful than call/cc. Zbl 0935.68010
Lillibridge, Mark
3
1999
Generic multiset programming with discrimination-based joins and symbolic Cartesian products. Zbl 1232.68028
Henglein, Fritz; Larsen, Ken Friis
3
2010
The second Futamura projection for type-directed partial evaluation. Zbl 0994.68042
Grobauer, Bernd; Yang, Zhe
3
2001
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
Least reflexive points of relations. Zbl 1081.06001
Desharnais, Jules; Möller, Bernhard
3
2005
Efficient and flexible access control via Jones-optimal logic program specialisation. Zbl 1189.68043
Barker, Steve; Leuschel, Michael; Varea, Mauricio
3
2008
Dynamic slicing of lazy functional programs based on redex trails. Zbl 1192.68139
Ochoa, Claudio; Silva, Josep; Vidal, Germán
3
2008
Compilation of extended recursion in call-by-value functional languages. Zbl 1183.68140
Hirschowitz, Tom; Leroy, Xavier; Wells, J. B.
3
2009
A \(\rho\)-calculus of explicit constraint application. Zbl 1115.68094
Cirstea, Horatiu; Faure, Germain; Kirchner, Claude
3
2007
Axioms for control operators in the CPS hierarchy. Zbl 1128.68009
Kameyama, Yukiyoshi
2
2007
Higher-order unCurrying. Zbl 0972.68037
Hannan, John; Hicks, Patrick
2
2000
Linear-time self-interpretation of the pure lambda calculus. Zbl 0972.68029
Mogensen, Torben Æ.
2
2000
A polymorphic environment calculus and its type-inference algorithm. Zbl 0972.68030
Nishizaki, Shin-Ya
2
2000
Optimizing nested loops using local CPS conversion. Zbl 1030.68019
Reppy, John
2
2002
Static and dynamic program compilation by interpreter specialization. Zbl 0969.68581
Thibault, Scott; Consel, Charles; Lawall, Julia L.; Marlet, Renaud; Muller, Gilles
2
2000
Implementation strategies for first-class continuations. Zbl 0935.68004
Clinger, William D.
2
1999
An initial algebra approach to term rewriting systems with variable binders. Zbl 1105.68055
Hamana, Makoto
2
2006
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
Magic-sets for localised analysis of Java bytecode. Zbl 1244.68052
Spoto, Fausto; Payet, Étienne
2
2010
A multi-tier semantics for Hop. Zbl 1256.68024
Serrano, Manuel; Queinnec, Christian
2
2010
Logical approximation for program analysis. Zbl 1256.68045
Simmons, Robert J.; Pfenning, Frank
2
2011
Improving type error messages for generic Java. Zbl 1256.68026
el Boustani, Nabil; Hage, Jurriaan
2
2011
Retraction approach to CPS transform. Zbl 0934.68032
Kučan, Jakov
2
1998
Dynamic programming via static incrementalization. Zbl 1038.68024
Liu, Yanhong A.; Stoller, Scott D.
2
2003
Imperative-program transformation by instrumented-interpreter specialization. Zbl 1176.68103
Debois, Søren
2
2008
A minimalistic look at widening operators. Zbl 1183.68200
Monniaux, David
2
2010
A principled approach to programming with nested types in Haskell. Zbl 1183.68141
Johann, Patricia; Ghani, Neil
2
2010
On typing delimited continuations: Three new solutions to the printf problem. Zbl 1202.68084
Asai, Kenichi
2
2009
Getting rid of labels. Zbl 1211.68053
Landin, P. J.
2
2009
Functional programs as compressed data. Zbl 1360.68332
Kobayashi, Naoki; Matsuda, Kazutaka; Shinohara, Ayumi; Yaguchi, Kazuya
2
2012
State-transition machines for lambda-calculus expressions. Zbl 1130.68040
Schmidt, David A.
1
2007
State-transition machines, revisited. Zbl 1129.68411
Schmidt, David A.
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
Efficiency by incrmentalization: An introduction. Zbl 0972.68020
Liu, Yanhong A.
1
2000
Cost-augmented partial evaluation of functional logic programs. Zbl 1075.68010
Vidal, Germán
1
2004
Program adaptation via output-constraint specialization. Zbl 1075.68012
Khoo, Siau-Cheng; Shi, Kun
1
2004
Graph-based communication in Eden. Zbl 1360.68330
Horstmeyer, Thomas; Loogen, Rita
1
2013
Functional programs as compressed data. Zbl 1360.68332
Kobayashi, Naoki; Matsuda, Kazutaka; Shinohara, Ayumi; Yaguchi, Kazuya
2
2012
Polynomial-time inverse computation for accumulative functions with multiple data traversals. Zbl 1360.68366
Matsuda, Kazutaka; Inaba, Kazuhiro; Nakano, Keisuke
1
2012
The interaction of contracts and laziness. Zbl 1360.68325
Degen, Markus; Thiemann, Peter; Wehr, Stefan
1
2012
An approach to completing variable names for implicitly typed functional languages. Zbl 1360.68340
Sasano, Isao; Goto, Takumi
1
2012
A proof of Moessner’s theorem by coinduction. Zbl 1256.68120
Niqui, M.; Rutten, J. J. M. M.
4
2011
Logical approximation for program analysis. Zbl 1256.68045
Simmons, Robert J.; Pfenning, Frank
2
2011
Improving type error messages for generic Java. Zbl 1256.68026
el Boustani, Nabil; Hage, Jurriaan
2
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
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
The two variable per inequality abstract domain. Zbl 1232.68030
Simon, Axel; King, Andy
6
2010
Space-efficient gradual typing. Zbl 1232.68025
Herman, David; Tomb, Aaron; Flanagan, Cormac
5
2010
Making “stricterness” more relevant. Zbl 1232.68026
Holdermans, Stefan; Hage, Jurriaan
4
2010
Directly reflective meta-programming. Zbl 1183.68164
Stump, Aaron
4
2010
Generic multiset programming with discrimination-based joins and symbolic Cartesian products. Zbl 1232.68028
Henglein, Fritz; Larsen, Ken Friis
3
2010
Magic-sets for localised analysis of Java bytecode. Zbl 1244.68052
Spoto, Fausto; Payet, Étienne
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
A principled approach to programming with nested types in Haskell. Zbl 1183.68141
Johann, Patricia; Ghani, Neil
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
Gallagher, John P.; Voigtländer, Janis
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
A lean specification for gadts: System F with first-class equality proofs. Zbl 1232.68029
Middelkoop, Arie; Dijkstra, Atze; Swierstra, S. Doaitse
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
More dependent types for distributed arrays. Zbl 1256.68025
Swierstra, Wouter
1
2010
A type-theoretic foundation of delimited continuations. Zbl 1213.68187
Ariola, Zena M.; Herbelin, Hugo; Sabry, Amr
4
2009
Compilation of extended recursion in call-by-value functional languages. Zbl 1183.68140
Hirschowitz, Tom; Leroy, Xavier; Wells, J. B.
3
2009
On typing delimited continuations: Three new solutions to the printf problem. Zbl 1202.68084
Asai, Kenichi
2
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
26
2008
On the implementation of automatic differentiation tools. Zbl 1168.65324
Bischof, Christian H.; Hovland, Paul D.; Norris, Boyana
9
2008
Nesting forward-mode AD in a functional framework. Zbl 1175.68104
Siskind, Jeffrey Mark; Pearlmutter, Barak A.
7
2008
Adapting functional programs to higher order logic. Zbl 1175.68103
Owens, Scott; Slind, Konrad
7
2008
A programmable editor for developing structured documents based on bidirectional transformations. Zbl 1194.68096
Hu, Zhenjiang; Mu, Shin-Cheng; Takeichi, Masato
4
2008
Efficient and flexible access control via Jones-optimal logic program specialisation. Zbl 1189.68043
Barker, Steve; Leuschel, Michael; Varea, Mauricio
3
2008
Dynamic slicing of lazy functional programs based on redex trails. Zbl 1192.68139
Ochoa, Claudio; Silva, Josep; Vidal, Germán
3
2008
Imperative-program transformation by instrumented-interpreter specialization. Zbl 1176.68103
Debois, Søren
2
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
28
2007
Semantics and pragmatics of real-time maude. Zbl 1115.68095
Ölveczky, Peter Csaba; Meseguer, José
24
2007
A call-by-name lambda-calculus machine. Zbl 1130.68057
Krivine, Jean-Louis
22
2007
A proof-theoretic foundation of abortive continuations. Zbl 1128.68089
Ariola, Zena M.; Herbelin, Hugo; Sabry, Amr
8
2007
Strongly reducing variants of the Krivine abstract machine. Zbl 1130.68052
Crégut, Pierre
6
2007
Improving the lazy Krivine machine. Zbl 1130.68055
Friedman, Daniel P.; Ghuloum, Abdulaziz; Siek, Jeremy G.; Winebarger, Onnie Lynn
5
2007
A static simulation of dynamic delimited control. Zbl 1128.68010
Shan, Chung-chieh
5
2007
On the correctness of the Krivine machine. Zbl 1130.68060
Wand, Mitchell
4
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
4
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
A \(\rho\)-calculus of explicit constraint application. Zbl 1115.68094
Cirstea, Horatiu; Faure, Germain; Kirchner, Claude
3
2007
Axioms for control operators in the CPS hierarchy. Zbl 1128.68009
Kameyama, Yukiyoshi
2
2007
State-transition machines for lambda-calculus expressions. Zbl 1130.68040
Schmidt, David A.
1
2007
State-transition machines, revisited. Zbl 1129.68411
Schmidt, David A.
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
83
2006
About permutation algebras, (pre)sheaves and named sets. Zbl 1105.68083
Gadducci, Fabio; Miculan, Marino; Montanari, Ugo
16
2006
Call-by-push-value: Decomposing call-by-value and call-by-name. Zbl 1112.68025
Levy, Paul Blain
10
2006
Pseudo-distributive laws and axiomatics for variable binding. Zbl 1105.68077
Tanaka, Miki; Power, John
7
2006
Mechanising \(\lambda\)-calculus using a classical first order theory of terms with permutations. Zbl 1105.68093
Norrish, Michael
6
2006
Explicit substitutions and higher-order syntax. Zbl 1105.68021
Ghani, Neil; Uustalu, Tarmo; Hamana, Makoto
6
2006
Semantics of roundoff error propagation in finite precision calculations. Zbl 1105.65052
Martel, Matthieu
5
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
Formal compiler construction in a logical framework. Zbl 1105.68020
Hickey, Jason; Nogin, Aleksey
1
2006
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
Least reflexive points of relations. Zbl 1081.06001
Desharnais, Jules; Möller, Bernhard
3
2005
A variadic extension of Curry’s fixed-point combinator. Zbl 1083.68015
Goldberg, Mayer
1
2005
Transformational derivation of an improved alias analysis algorithm. Zbl 1084.68016
Goyal, Deepak
1
2005
Using circular programs to deforest in accumulating parameters. Zbl 1075.68013
Voigtländer, Janis
5
2004
A retrospective on region-based memory management. Zbl 1075.68563
Tofte, Mads; Birkedal, Lars; Elsman, Martin; Hallenberg, Niels
4
2004
Compiler optimization correctness by temporal logic. Zbl 1075.68015
Lacey, David; Jones, Neil D.; Van Wyk, Eric; Frederiksen, Carl Christian
3
2004
Cost-augmented partial evaluation of functional logic programs. Zbl 1075.68010
Vidal, Germán
1
2004
Program adaptation via output-constraint specialization. Zbl 1075.68012
Khoo, Siau-Cheng; Shi, Kun
1
2004
Non-standard semantics for program slicing. Zbl 1074.68034
Giacobazzi, Roberto; Mastroeni, Isabella
6
2003
Corrigendum: Polymorphic type assignment and CPS conversion. Zbl 1058.68727
Harper, Robert; Lillibridge, Mark
6
2003
Formal foundations of operational semantics. Zbl 1074.68033
Ford, Jonathan; Mason, Ian A.
4
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
Dynamic programming via static incrementalization. Zbl 1038.68024
Liu, Yanhong A.; Stoller, Scott D.
2
2003
Path dependent analysis of logic programs. Zbl 1074.68009
Lu, Lunjin
1
2003
Automatic generation of staged geometric predicates. Zbl 1059.68147
Nanevski, Aleksandar; Blelloch, Guy; Harper, Robert
1
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.
1
2003
Program synthesis from formal requirements specifications using APTS. Zbl 1038.68080
Leonard, Elizabeth I.; Heitmeyer, Constance L.
1
2003
Computational divided differencing and divided-difference arithmetics. Zbl 1040.68148
Reps, Thomas W.; Rall, Louis B.
1
2003
Dependent types for program termination verification. Zbl 1041.68059
Xi, Hongwei
9
2002
Linear continuation-passing. Zbl 1030.68011
Berdine, Josh; O’Hearn, Peter; Reddy, Uday; Thielecke, Hayo
9
2002
Secure information flow via linear continuations. Zbl 1030.68015
Zdancewic, Steve; Myers, Andrew C.
7
2002
A formalised proof of the soundness and completeness of a simply typed lambda-calculus with explicit substitutions. Zbl 1041.68016
Coquand, Catarina
5
2002
A generalization of short-cut fusion and its correctness proof. Zbl 1020.68022
Johann, Patricia
5
2002
Comparing control constructs by double-barrelled CPS. Zbl 1029.03017
Thielecke, Hayo
4
2002
Axioms for recursion in call-by-value. Zbl 1030.68012
Hasegawa, Masahito; Kakutani, Yoshihiko
4
2002
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
2
2002
Functional geometry. Zbl 1021.68023
Henderson, Peter
1
2002
A per model of secure information flow in sequential programs. Zbl 0967.68039
Sabelfeld, Andrei; Sands, David
10
2001
Functional differentiation of computer programs. Zbl 0967.68174
Karczmarczuk, Jerzy
6
2001
A hybrid approach to online and offline partial evaluation. Zbl 0994.68037
Sumii, Eijiro; Kobayashi, Naoki
5
2001
Calculating sized types. Zbl 0994.68015
Chin, Wei-Ngan; Khoo, Siau-Cheng
5
2001
...and 37 more Documents
all top 5

Cited by 861 Authors

36 Meseguer Guaita, José
16 Danvy, Olivier
14 Escobar, Santiago
13 Lucas, Salvador
13 Talcott, Carolyn L.
10 Olveczky, Peter Csaba
8 Ariola, Zena M.
8 Durán, Francisco
8 Ghani, Neil
8 Miné, Antoine
8 Subramani, Krishnan
7 King, Andy
7 Martí-Oliet, Narciso
7 Montanari, Ugo G.
6 Alpuente, María
6 Ciancia, Vincenzo
6 Shan, Chung-chieh
6 Voigtlander, Janis
5 Barthe, Gilles
5 Herbelin, Hugo
5 Johann, Patricia
5 Kiselyov, Oleg
5 Nielsen, Lasse R.
5 Schmidt, David A.
5 Vidal, Germán
5 Wojciechowski, Piotr J.
5 Zucca, Elena
4 Biernacki, Dariusz
4 Cousot, Patrick
4 Downen, Paul
4 Felleisen, Matthias
4 Giannini, Paola
4 Glück, Robert
4 Hatcliff, John
4 Martel, Matthieu
4 Meadows, Catherine A.
4 Millikin, Kevin
4 Nordvall Forsberg, Fredrik
4 Pearlmutter, Barak A.
4 Pientka, Brigitte
4 Roşu, Grigore
4 Sabry, Amr
4 Sammartino, Matteo
4 Sørensen, Morten Heine B.
4 Urban, Christian
4 Uustalu, Tarmo
3 Accattoli, Beniamino
3 Albert, Elvira
3 Amtoft, Torben
3 Ancona, Davide
3 Biernacka, Małgorzata
3 Blanqui, Frédéric
3 Brauer, Jörg
3 Bruni, Roberto
3 Chen, Liqian
3 Dal Lago, Ugo
3 Danicic, Sebastian
3 del Vado Vírseda, Rafael
3 Eker, Steven
3 Falaschi, Moreno
3 Friedman, Daniel P.
3 Fujita, Ken-etsu
3 Harman, Mark
3 Hutton, Graham
3 Iborra, José
3 Ilik, Danko
3 Kameyama, Yukiyoshi
3 Leroy, Xavier
3 Levy, Paul Blain
3 Liu, Si
3 Mastroeni, Isabella
3 Merro, Massimo
3 Midtgaard, Jan
3 Momigliano, Alberto
3 Oh, Hakjoo
3 Orsanigo, Federico
3 Owens, Scott
3 Palomino, Miguel
3 Pettorossi, Alberto
3 Proietti, Maurizio
3 Rocha, Camilo
3 Rybalchenko, Andrey
3 Salvati, Sylvain
3 Saurin, Alexis
3 Simon, Axel
3 Sirjani, Marjan
3 Siskind, Jeffrey Mark
3 Støvring, Kristian
3 Tennent, Robert D.
3 Thielecke, Hayo
3 Thiemann, Peter J.
3 van Eekelen, Marko
3 Walukiewicz, Igor
3 Wang, Ji
2 Abel, Andreas M.
2 Ager, Mads Sig
2 Aguirre, Luis Antonio
2 Alarcón, Beatriz
2 Amato, Gianluca
2 Arusoaie, Andrei
...and 761 more Authors
all top 5

Cited in 68 Journals

72 Theoretical Computer Science
52 Higher-Order and Symbolic Computation
34 Journal of Functional Programming
22 Information and Computation
18 MSCS. Mathematical Structures in Computer Science
18 Journal of Logical and Algebraic Methods in Programming
15 Journal of Automated Reasoning
14 Formal Methods in System Design
13 Science of Computer Programming
13 Theory and Practice of Logic Programming
12 The Journal of Logic and Algebraic Programming
12 Computer Languages, Systems & Structures
11 Information Processing Letters
11 Formal Aspects of Computing
8 Logical Methods in Computer Science
7 Acta Informatica
7 Journal of Symbolic Computation
5 New Generation Computing
4 Annals of Pure and Applied Logic
4 RAIRO. Theoretical Informatics and Applications
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
2 Fundamenta Informaticae
1 Artificial Intelligence
1 Computers & Mathematics with Applications
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 Real-Time Systems
1 Mathematical Programming. Series A. Series B
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 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
1 Prikladnaya Diskretnaya Matematika

Citations by Year