×

zbMATH — the first resource for mathematics

Palsberg, Jens

Compute Distance To:
Author ID: palsberg.jens Recent zbMATH articles by "Palsberg, Jens"
Published as: Palsberg, J.; Palsberg, Jens
External Links: MGP
Documents Indexed: 51 Publications since 1992, including 7 Books

Publications by Year

Citations contained in zbMATH

33 Publications have been cited 112 times in 80 Documents Cited by Year
Complexity results for 1-safe nets. Zbl 0873.68146
Cheng, Allan; Esparza, Javier; Palsberg, Jens
16
1995
Efficient recursive subtyping. Zbl 0840.03007
Kozen, Dexter; Palsberg, Jens; Schwartzbach, Michael I.
14
1995
Object-oriented type systems. Zbl 0821.68023
Palsberg, Jens; Schwartzbach, Michael I.
7
1994
Efficient inference of partial types. Zbl 0823.68011
Kozen, Dexter; Palsberg, Jens; Schwartzbach, Michael I.
7
1994
From polyvariant flow information to intersection and union types. Zbl 0976.68024
Palsberg, Jens; Pavlopoulou, Christina
5
2001
Efficient inference of object types. Zbl 0849.68018
Palsberg, Jens
5
1995
A type system equivalent to a model checker. Zbl 1108.68406
Naik, Mayur; Palsberg, Jens
4
2005
Efficient and flexible matching of recursive types. Zbl 1005.68043
Palsberg, Jens; Zhao, Tian
4
2001
Complexity results for 1-safe-nets. Zbl 0925.68329
Cheng, Allan; Esparza, Javier; Palsberg, Jens
4
1993
Breaking through the normalization barrier: a self-interpreter for F-omega. Zbl 1347.68046
Brown, Matt; Palsberg, Jens
3
2016
Typed self-interpretation by pattern matching. Zbl 1323.68124
Jay, Barry; Palsberg, Jens
3
2011
Trust in the \(\lambda\)-calculus. Zbl 0918.03013
Ørbæk, P.; Palsberg, J.
3
1997
Type inference with non-structural subtyping. Zbl 0868.68074
Palsberg, Jens; Wand, Mitchell; O’Keefe, Patrick
3
1997
Safety analysis versus type inference. Zbl 0941.68831
Palsberg, Jens; Schwartzbach, Michael I.
3
1995
Efficient inference of partial types. Zbl 0977.68505
Kozen, Dexter; Palsberg, Jens; Schwartzbach, Michael I.
3
1992
Safety analysis versus type inference for partial types. Zbl 0763.68024
Palsberg, Jens; Schwartzbach, Michael I.
3
1992
Typed self-evaluation via intensional type functions. Zbl 1380.68090
Brown, Matt; Palsberg, Jens
2
2017
Stack size analysis for interrupt-driven programs. Zbl 1090.68024
Chatterjee, Krishnendu; Ma, Di; Majumdar, Rupak; Zhao, Tian; Henzinger, Thomas A.; Palsberg, Jens
2
2004
CPS transformation of flow information. Zbl 1110.68360
Palsberg, Jens; Wand, Mitchell
2
2003
A typed interrupt calculus. Zbl 1278.68191
Palsberg, Jens; Ma, Di
2
2002
Type inference with simple selftypes is \(NP\)-complete. Zbl 1034.68528
Palsberg, Jens; Jim, Trevor
2
1997
Generating action compilers by partial evaluation. Zbl 0856.68040
Bondorf, Anders; Palsberg, Jens
2
1996
Strong normalization with non-structural subtyping. Zbl 0840.03006
Wand, Mitchell; O’Keefe, Patrick; Palsberg, Jens
2
1995
Normal forms have partial types. Zbl 0795.68030
Palsberg, Jens
2
1993
Self-representation in Girard’s System U. Zbl 1345.68039
Brown, Matt; Palsberg, Jens
1
2015
Semantics and algebraic specification. Essays dedicated to Peter D. Mosses on the occasion of his 60th birthday. Zbl 1173.68014
Palsberg, Jens (ed.)
1
2009
Aliased register allocation for straight-line programs is NP-complete. Zbl 1160.68015
Lee, Jonathan K.; Palsberg, Jens; Pereira, Fernando Magno Quintão
1
2008
A framework for end-to-end verification and evaluation of register allocators. Zbl 1211.68099
Nandivada, V. Krishna; Pereira, Fernando Magno Quintão; Palsberg, Jens
1
2007
Type-based confinement. Zbl 1091.68021
Zhao, Tian; Palsberg, Jens; Vitek, Jan
1
2006
Register allocation via coloring of chordal graphs. Zbl 1159.68379
Pereira, Fernando Magno Quintão; Palsberg, Jens
1
2005
Stack size analysis for interrupt-driven programs. Zbl 1067.68539
Chatterjee, Krishnendu; Ma, Di; Majumdar, Rupak; Zhao, Tian; Henzinger, Thomas A.; Palsberg, Jens
1
2003
Efficient type matching. Zbl 1077.68608
Jha, Somesh; Palsberg, Jens; Zhao, Tian
1
2002
Optimal representations of polymorphic types with subtyping. Zbl 0941.68076
Aiken, Alexander; Wimmers, Edward L.; Palsberg, Jens
1
1999
Typed self-evaluation via intensional type functions. Zbl 1380.68090
Brown, Matt; Palsberg, Jens
2
2017
Breaking through the normalization barrier: a self-interpreter for F-omega. Zbl 1347.68046
Brown, Matt; Palsberg, Jens
3
2016
Self-representation in Girard’s System U. Zbl 1345.68039
Brown, Matt; Palsberg, Jens
1
2015
Typed self-interpretation by pattern matching. Zbl 1323.68124
Jay, Barry; Palsberg, Jens
3
2011
Semantics and algebraic specification. Essays dedicated to Peter D. Mosses on the occasion of his 60th birthday. Zbl 1173.68014
Palsberg, Jens (ed.)
1
2009
Aliased register allocation for straight-line programs is NP-complete. Zbl 1160.68015
Lee, Jonathan K.; Palsberg, Jens; Pereira, Fernando Magno Quintão
1
2008
A framework for end-to-end verification and evaluation of register allocators. Zbl 1211.68099
Nandivada, V. Krishna; Pereira, Fernando Magno Quintão; Palsberg, Jens
1
2007
Type-based confinement. Zbl 1091.68021
Zhao, Tian; Palsberg, Jens; Vitek, Jan
1
2006
A type system equivalent to a model checker. Zbl 1108.68406
Naik, Mayur; Palsberg, Jens
4
2005
Register allocation via coloring of chordal graphs. Zbl 1159.68379
Pereira, Fernando Magno Quintão; Palsberg, Jens
1
2005
Stack size analysis for interrupt-driven programs. Zbl 1090.68024
Chatterjee, Krishnendu; Ma, Di; Majumdar, Rupak; Zhao, Tian; Henzinger, Thomas A.; Palsberg, Jens
2
2004
CPS transformation of flow information. Zbl 1110.68360
Palsberg, Jens; Wand, Mitchell
2
2003
Stack size analysis for interrupt-driven programs. Zbl 1067.68539
Chatterjee, Krishnendu; Ma, Di; Majumdar, Rupak; Zhao, Tian; Henzinger, Thomas A.; Palsberg, Jens
1
2003
A typed interrupt calculus. Zbl 1278.68191
Palsberg, Jens; Ma, Di
2
2002
Efficient type matching. Zbl 1077.68608
Jha, Somesh; Palsberg, Jens; Zhao, Tian
1
2002
From polyvariant flow information to intersection and union types. Zbl 0976.68024
Palsberg, Jens; Pavlopoulou, Christina
5
2001
Efficient and flexible matching of recursive types. Zbl 1005.68043
Palsberg, Jens; Zhao, Tian
4
2001
Optimal representations of polymorphic types with subtyping. Zbl 0941.68076
Aiken, Alexander; Wimmers, Edward L.; Palsberg, Jens
1
1999
Trust in the \(\lambda\)-calculus. Zbl 0918.03013
Ørbæk, P.; Palsberg, J.
3
1997
Type inference with non-structural subtyping. Zbl 0868.68074
Palsberg, Jens; Wand, Mitchell; O’Keefe, Patrick
3
1997
Type inference with simple selftypes is \(NP\)-complete. Zbl 1034.68528
Palsberg, Jens; Jim, Trevor
2
1997
Generating action compilers by partial evaluation. Zbl 0856.68040
Bondorf, Anders; Palsberg, Jens
2
1996
Complexity results for 1-safe nets. Zbl 0873.68146
Cheng, Allan; Esparza, Javier; Palsberg, Jens
16
1995
Efficient recursive subtyping. Zbl 0840.03007
Kozen, Dexter; Palsberg, Jens; Schwartzbach, Michael I.
14
1995
Efficient inference of object types. Zbl 0849.68018
Palsberg, Jens
5
1995
Safety analysis versus type inference. Zbl 0941.68831
Palsberg, Jens; Schwartzbach, Michael I.
3
1995
Strong normalization with non-structural subtyping. Zbl 0840.03006
Wand, Mitchell; O’Keefe, Patrick; Palsberg, Jens
2
1995
Object-oriented type systems. Zbl 0821.68023
Palsberg, Jens; Schwartzbach, Michael I.
7
1994
Efficient inference of partial types. Zbl 0823.68011
Kozen, Dexter; Palsberg, Jens; Schwartzbach, Michael I.
7
1994
Complexity results for 1-safe-nets. Zbl 0925.68329
Cheng, Allan; Esparza, Javier; Palsberg, Jens
4
1993
Normal forms have partial types. Zbl 0795.68030
Palsberg, Jens
2
1993
Efficient inference of partial types. Zbl 0977.68505
Kozen, Dexter; Palsberg, Jens; Schwartzbach, Michael I.
3
1992
Safety analysis versus type inference for partial types. Zbl 0763.68024
Palsberg, Jens; Schwartzbach, Michael I.
3
1992
all top 5

Cited by 159 Authors

10 Palsberg, Jens
5 Busi, Nadia
5 Kozen, Dexter C.
4 Zhao, Tian
3 Bonelli, Eduardo
3 Viso, Andrés
3 Wand, Mitchell
3 Zavattaro, Gianluigi
2 Ayala-Rincón, Mauricio
2 Chatain, Thomas
2 Cheng, Allan
2 Edi, Juan
2 Esparza, Javier
2 Gorrieri, Roberto
2 Intrigila, Benedetto
2 Jay, C. Barry
2 Manzonetto, Giulio
2 Nielson, Flemming
2 O’Keefe, Patrick
2 Pereira, Fernando Magno Quintão
2 Polonsky, Andrew
2 Pugliese, Rosario
2 Rehof, Jakob
2 Riis Nielson, Hanne
2 Schwartzbach, Michael I.
1 Abramov, Sergeĭ Aleksandrovich
1 Adams, Michael D.
1 Akshay, S.
1 Alimonti, Paola
1 Alur, Rajeev
1 Ancona, Davide
1 Andreae, Chris
1 Barker, Steve
1 Bigonha, Roberto S.
1 Bodei, Chiara
1 Bonet, Blai
1 Bouajjani, Ahmed
1 Bozzelli, Laura
1 Brogi, Antonio
1 Bugliesi, Michele
1 Carmona, Josep
1 Chai, Xinwei
1 Chakaravarthy, Venkatesan T.
1 Chakraborty, Supratik
1 Chatterjee, Krishnendu
1 Chen, Lijing
1 Coady, Yvonne
1 Colazzo, Dario
1 Corradini, Flavio
1 Cutts, Quintin I.
1 Czarnecki, Krzysztof
1 d’Amorim, Marcelo
1 Danvy, Olivier
1 Das, Ankush
1 De Nicola, Rocco
1 Degano, Pierpaolo
1 Diekert, Volker
1 Diwan, Amer
1 Dong, Yuan
1 Dougherty, Daniel J.
1 Eisenecker, Ulrich W.
1 El-Zawawy, Mohamed A.
1 Farmer, William M.
1 Feng, Xinyu
1 Ferrari, Gian Luigi
1 Feuerstein, Esteban
1 Findler, Robert Bruce
1 Frey, Alexandre
1 Gabbrielli, Maurizio
1 Garavel, Hubert
1 Ghelli, Giorgio
1 Ghilezan, Silvia
1 Gibbs, Celina
1 Gilray, Thomas
1 Givan, Robert L.
1 Glück, Robert
1 Gorla, Daniele
1 Guo, Yu
1 Hansen, René Rydhof
1 Haslum, Patrik
1 Henzinger, Thomas A.
1 Hickmott, Sarah L.
1 Hosking, Antony L.
1 Inoue, Katsumi
1 Ishihara, Yasunori
1 Ito, Minoru
1 Jagannath, Vishal
1 Jensen, Thomas P.
1 Kreitz, Christoph
1 Lagorio, Giovanni
1 Lau, Kung-Kiu
1 Laud, Peeter
1 Laura, Luigi
1 Lee, Jonathan K.
1 Lescanne, Pierre
1 Leuschel, Michael
1 Liu, GuanJun
1 Lodaya, Kamal
1 Logozzo, Francesco
1 Lohrey, Markus
...and 59 more Authors

Citations by Year