|
СТ |
SARA: Combining Stack Allocation and Register Allocation |
2006 |
Nandivada V. K., Palsberg J. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
23.06.2006 |
|
СТ |
Type-Safe Method Inlining |
2002 |
Glew N., Palsberg J. |
|
|
|
Lecture Notes in Computer Science |
17.07.2002 |
|
СТ |
Efficient Type Matching |
2002 |
Jha S., Palsberg J., Zhao T. |
|
|
|
Lecture Notes in Computer Science |
09.05.2002 |
|
СТ |
Eta-Redexes in Partial Evaluation |
1999 |
Palsberg J. |
|
|
|
Lecture Notes in Computer Science |
15.12.1999 |
|
СТ |
Equality-Based Flow Analysis versus Recursive Types |
1998 |
Palsberg J. |
|
|
|
ACM Trans. on Programming Languages and Systems |
21.06.1999 |
|
СТ |
Evolution of Object Bahavior Using Context Relations |
1998 |
Seiter L. M., Palsberg J., Lieberherr K. J. |
|
|
|
IEEE Trans. on Software Engineering |
29.05.1998 |
|
СТ |
Position Statements on Strategic Directions for Research on Programming Languages |
1997 |
Hankin C., Nielson H. R., Palsberg J. |
|
|
|
SIGPLAN Notices |
15.04.1998 |
|
СТ |
Optimal Representations of Polymorphic Types with Subtyping |
1997 |
Aiken A., Wimmers E. L., Palsberg J. |
|
|
|
Lecture Notes in Computer Science |
20.09.1997 |
|
СТ |
A New Approach to Compiling Adaptive Programs |
1996 |
Palsberg J., Patt-Shamir B., Liberherr K. |
|
|
|
Lecture Notes in Computer Science |
18.05.1996 |
|
СТ |
Trust in the lambda-Calculus |
1995 |
Palsberg J., Orbak P. |
Lecture Notes in Computer Science |
|
|
Static Analysis |
17.11.1995 |
|
СТ |
Comparing Flow-based Binding-time Analyses |
1995 |
Palsberg J. |
|
|
|
Lecture Notes in Computer Science |
20.06.1995 |
|
СТ |
The Essence of Eta-Expansion in Partial Evaluation |
1994 |
Danvy O., Malmkjaer K., Palsberg J. |
|
|
|
PEPM 94: ACM SIGPLAN Workshop on Partial Evaluation and Semantic-Based Program Manipulation |
20.01.1995 |
|
СТ |
Foundations of Object-Oriented Languages |
1994 |
Black A., Palsberg J. |
|
|
|
SIGPLAN Notices |
22.04.1994 |
|
СТ |
Complexity Results for 1-safe Nets |
1993 |
Cheng A., Esparza J., Palsberg J. |
|
|
|
Lecture Notes in Computer Science |
20.01.1994 |
|
СТ |
Type Inference of SELF Analysis of Object with Dynamic and Multiple Inheritance |
1993 |
Agesen O., Palsberg J., Schwartzbach M. I. |
|
|
|
Lecture Notes in Computer Science |
15.09.1993 |
|
СТ |
Panel: Aims, Means, and Futures of Object-Oriented Languages |
1993 |
Banahan M., Deutsch L. P., Magnusson B., Palsberg J. |
|
|
|
Lecture Notes in Computer Science |
15.09.1993 |
|
СТ |
Normal Forms Have Partial Types |
1993 |
Palsberg J. |
|
|
|
Information Processing Letters |
24.03.1993 |
|
СТ |
Making Type Inference Practical |
1992 |
Oxhoj N., Palsberg J., Scwartzbach M. I. |
|
|
|
Lecture Notes in Computer Science |
25.07.1992 |
|
СТ |
Three Discussions on Object-Oriented Typing |
1992 |
Palsberg J., Schwatzbach M. |
|
|
|
OOPS Messenger |
06.07.1992 |
|
СТ |
Object-Oriented Type Inference |
1991 |
Palsberg J., Schwartzbach M. |
|
|
|
SIGPLAN Notices |
13.12.1991 |
