[go: up one dir, main page]

Follow
Jens Palsberg
Title
Cited by
Cited by
Year
Avrora: Scalable sensor network simulation with precise timing
BL Titzer, DK Lee, J Palsberg
IPSN 2005. Fourth International Symposium on Information Processing in …, 2005
10042005
A denotational semantics of inheritance and its correctness
W Cook, J Palsberg
ACM Sigplan Notices 24 (10), 433-443, 1989
547*1989
Object-oriented type inference
MI Schwartzbach, J Palsberg
Proceedings of the 6th Conference on Object-Oriented Programming: Systems …, 1991
491*1991
Scalable propagation-based call graph construction algorithms
F Tip, J Palsberg
Proceedings of the 15th ACM SIGPLAN conference on Object-oriented …, 2000
3802000
Object-oriented type systems
J Palsberg, MI Schwartzbach
John Wiley and Sons Ltd., 1994
3791994
The essence of the visitor pattern
J Palsberg, CB Jay
Proceedings. The Twenty-Second Annual International Computer Software and …, 1998
3041998
Complexity results for 1-safe nets
A Cheng, J Esparza, J Palsberg
Theoretical Computer Science 147 (1-2), 117-136, 1995
2981995
Concurrent collections
Z Budimlić, M Burke, V Cavé, K Knobe, G Lowney, R Newton, J Palsberg, ...
Scientific Programming 18 (3-4), 203-217, 2010
2592010
Experience with software watermarking
J Palsberg, S Krishnaswamy, M Kwon, D Ma, Q Shao, Y Zhang
Proceedings 16th Annual Computer Security Applications Conference (ACSAC'00 …, 2000
2402000
A type system equivalent to flow analysis
J Palsberg, P O'Keefe
ACM Transactions on Programming Languages and Systems (TOPLAS) 17 (4), 576-599, 1995
2051995
Type Inference of Self Analysis of Objects with Dynamic and Multiple Inheritance
O Agesen, J Palsberg, MI Schwartzbach
European Conference on Object-Oriented Programming, 247-267, 1993
1801993
Encapsulating objects with confined types
C Grothoff, J Palsberg, J Vitek
Proceedings of the 16th ACM SIGPLAN conference on Object-oriented …, 2001
173*2001
Efficient recursive subtyping
D Kozen, J Palsberg, MI Schwartzbach
Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993
1731993
Trust in the λ-calculus
J Palsberg, P Ørbæk
Static Analysis: Second International Symposium, SAS'95 Glasgow, UK …, 1995
168*1995
Making type inference practical
N Oxhøj, J Palsberg, MI Schwartzbach
European Conference on Object-Oriented Programming, 329-349, 1992
1641992
Register allocation via coloring of chordal graphs
FMQ Pereira, J Palsberg
Asian Symposium on Programming Languages and Systems, 315-329, 2005
150*2005
Evolution of object behavior using context relations
LM Seiter, J Palsberg, KJ Lieberherr
IEEE Transactions on Software Engineering 24 (1), 79-92, 2002
137*2002
Building a quantum engineering undergraduate program
A Asfaw, A Blais, KR Brown, J Candelaria, C Cantwell, LD Carr, ...
IEEE Transactions on Education 65 (2), 220-242, 2022
1342022
Achieving a quantum smart workforce
CD Aiello, DD Awschalom, H Bernien, T Brower, KR Brown, TA Brun, ...
Quantum Science and Technology 6 (3), 030501, 2021
1322021
Register allocation by puzzle solving
FM Quintão Pereira, J Palsberg
Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008
1302008
The system can't perform the operation now. Try again later.
Articles 1–20