Jens Palsberg
TítuloCitado porAno
Avrora: Scalable sensor network simulation with precise timing
BL Titzer, DK Lee, J Palsberg
IPSN 2005. Fourth International Symposium on Information Processing in …, 2005
8722005
A denotational semantics of inheritance and its correctness
W Cook, J Palsberg
ACM Sigplan Notices 24 (10), 433-443, 1989
5071989
Object-oriented type inference
J Palsberg, MI Schwartzbach
DAIMI Report Series 20 (345), 1991
4191991
Object-oriented type systems
J Palsberg, MI Schwartzbach
John Wiley and Sons Ltd., 1994
3481994
Scalable propagation-based call graph construction algorithms
F Tip, J Palsberg
Acm Sigplan Notices 35 (10), 281-293, 2000
2962000
The essence of the visitor pattern
J Palsberg, CB Jay
Proceedings. The Twenty-Second Annual International Computer Software and …, 1998
2331998
Complexity results for 1-safe nets
A Cheng, J Esparza, J Palsberg
Theoretical Computer Science 147 (1-2), 117-136, 1995
2251995
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
1952000
Concurrent collections
Z Budimlić, M Burke, V Cavé, K Knobe, G Lowney, R Newton, J Palsberg, ...
Scientific Programming 18 (3-4), 203-217, 2010
1902010
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
1881995
Encapsulating objects with confined types
C Grothoff, J Palsberg, J Vitek
ACM SIGPLAN Notices 36 (11), 241-255, 2001
167*2001
Type Inference of Self
O Agesen, J Palsberg, MI Schwartzbach
European Conference on Object-Oriented Programming, 247-267, 1993
165*1993
Efficient recursive subtyping
D Kozen, J Palsberg, MI Schwartzbach
Mathematical Structures in Computer Science 5 (1), 113-125, 1995
1561995
Making type inference practical
N Oxhøj, J Palsberg, MI Schwartzbach
European Conference on Object-Oriented Programming, 329-349, 1992
1481992
Trust in the λ-calculus
J Palsberg, P Ørb
International Static Analysis Symposium, 314-329, 1995
142*1995
Evolution of object behavior using context relations
LM Seiter, J Palsberg, KJ Lieberherr
IEEE Transactions on Software Engineering 24 (1), 79-92, 1998
1251998
Efficient inference of object types
J Palsberg
Information and computation 123 (2), 198-209, 1995
1161995
Register allocation via coloring of chordal graphs
FMQ Pereira, J Palsberg
Asian Symposium on Programming Languages and Systems, 315-329, 2005
113*2005
Closure analysis in constraint form
J Palsberg
ACM Transactions on Programming Languages and Systems (TOPLAS) 17 (1), 47-62, 1995
113*1995
Static checking of interrupt-driven software
D Brylow, N Damgaard, J Palsberg
Proceedings of the 23rd International Conference on Software Engineering …, 2001
1022001
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20