The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jens Palsberg: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. William R. Cook, Jens Palsberg
    A Denotational Semantics of Inheritance and its Correctness. [Citation Graph (4, 0)][DBLP]
    OOPSLA, 1989, pp:433-443 [Conf]
  2. Nicholas Oxhøj, Jens Palsberg, Michael I. Schwartzbach
    Making Type Inference Practical. [Citation Graph (1, 0)][DBLP]
    ECOOP, 1992, pp:329-349 [Conf]
  3. Jens Palsberg, Michael I. Schwartzbach
    Object-Oriented Type Inference. [Citation Graph (1, 0)][DBLP]
    OOPSLA, 1991, pp:146-161 [Conf]
  4. Jens Palsberg, Cun Xiao, Karl J. Lieberherr
    Efficient Implementation of Adaptive Software. [Citation Graph (1, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1995, v:17, n:2, pp:264-292 [Journal]
  5. Jens Palsberg, S. Krishnaswamy, Minseok Kwon, Di Ma, Qiuyun Shao, Y. Zhang
    Experience with Software Watermarking. [Citation Graph (0, 0)][DBLP]
    ACSAC, 2000, pp:308-316 [Conf]
  6. Jens Palsberg
    Event Driven Software Quality. [Citation Graph (0, 0)][DBLP]
    APLAS, 2006, pp:165- [Conf]
  7. Fernando Magno Quintão Pereira, Jens Palsberg
    Register Allocation Via Coloring of Chordal Graphs. [Citation Graph (0, 0)][DBLP]
    APLAS, 2005, pp:315-329 [Conf]
  8. Jens Palsberg
    Flobal Program Analysis in Constraint Form. [Citation Graph (0, 0)][DBLP]
    CAAP, 1994, pp:276-290 [Conf]
  9. V. Krishna Nandivada, Jens Palsberg
    Efficient spill code for SDRAM. [Citation Graph (0, 0)][DBLP]
    CASES, 2003, pp:24-31 [Conf]
  10. V. Krishna Nandivada, Jens Palsberg
    SARA: Combining Stack Allocation and Register Allocation. [Citation Graph (0, 0)][DBLP]
    CC, 2006, pp:232-246 [Conf]
  11. Jens Palsberg, C. Barry Jay
    The Essence of the Visitor Pattern. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1998, pp:9-15 [Conf]
  12. Ole Agesen, Jens Palsberg, Michael I. Schwartzbach
    Type Inference of SELF. [Citation Graph (0, 0)][DBLP]
    ECOOP, 1993, pp:247-267 [Conf]
  13. Mike Banahan, L. Peter Deutsch, Boris Magnusson, Jens Palsberg
    Panel: Aims, Means, and Future of Object-Oriented Languages. [Citation Graph (0, 0)][DBLP]
    ECOOP, 1993, pp:528-530 [Conf]
  14. Neal Glew, Jens Palsberg
    Type-Safe Method Inlining. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2002, pp:525-544 [Conf]
  15. Jens Palsberg, Michael I. Schwartzbach
    What is Type-Safe Code Reuse? [Citation Graph (0, 0)][DBLP]
    ECOOP, 1991, pp:325-341 [Conf]
  16. Brian Chin, Shane Markstrum, Todd D. Millstein, Jens Palsberg
    Inference of User-Defined Type Qualifiers and Qualifier Rules. [Citation Graph (0, 0)][DBLP]
    ESOP, 2006, pp:264-278 [Conf]
  17. Mayur Naik, Jens Palsberg
    A Type System Equivalent to a Model Checker. [Citation Graph (0, 0)][DBLP]
    ESOP, 2005, pp:374-388 [Conf]
  18. Jens Palsberg
    A Provably Correct Compiler Generator. [Citation Graph (0, 0)][DBLP]
    ESOP, 1992, pp:418-434 [Conf]
  19. Jens Palsberg, Boaz Patt-Shamir, Karl J. Lieberherr
    A New Approach to Compiling Adaptive Programs. [Citation Graph (0, 0)][DBLP]
    ESOP, 1996, pp:280-295 [Conf]
  20. Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach
    Efficient Inference of Partial Types [Citation Graph (0, 0)][DBLP]
    FOCS, 1992, pp:363-371 [Conf]
  21. Somesh Jha, Jens Palsberg, Tian Zhao
    Efficient Type Matching. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2002, pp:187-204 [Conf]
  22. Fernando Magno Quintão Pereira, Jens Palsberg
    Register Allocation After Classical SSA Elimination is NP-Complete. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2006, pp:79-93 [Conf]
  23. Anders Bondorf, Jens Palsberg
    Compiling Actions by Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    FPCA, 1993, pp:308-320 [Conf]
  24. Allan Cheng, Javier Esparza, Jens Palsberg
    Complexity Results for 1-safe Nets. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1993, pp:326-337 [Conf]
  25. Jens Palsberg, Di Ma
    A Typed Interrupt Calculus. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 2002, pp:291-310 [Conf]
  26. Jens Palsberg
    An automatically generated and provably correct compiler for a subset of Ada. [Citation Graph (0, 0)][DBLP]
    ICCL, 1992, pp:117-126 [Conf]
  27. Jens Palsberg, Michael I. Schwartzbach
    Binding-time Analysis: Abstract Interpretation versus Type Inference. [Citation Graph (0, 0)][DBLP]
    ICCL, 1994, pp:277-288 [Conf]
  28. Dennis Brylow, Niels Damgaard, Jens Palsberg
    Static Checking of Interrupt-Driven Software. [Citation Graph (0, 0)][DBLP]
    ICSE, 2001, pp:47-56 [Conf]
  29. Ben Titzer, Daniel K. Lee, Jens Palsberg
    Avrora: scalable sensor network simulation with precise timing. [Citation Graph (0, 0)][DBLP]
    IPSN, 2005, pp:477-482 [Conf]
  30. Mayur Naik, Jens Palsberg
    Compiling with code-size constraints. [Citation Graph (0, 0)][DBLP]
    LCTES-SCOPES, 2002, pp:120-129 [Conf]
  31. Ben Titzer, Jens Palsberg
    Nonintrusive precision instrumentation of microcontroller software. [Citation Graph (0, 0)][DBLP]
    LCTES, 2005, pp:59-68 [Conf]
  32. Jens Palsberg
    Efficient Inference of Object Types [Citation Graph (0, 0)][DBLP]
    LICS, 1994, pp:186-195 [Conf]
  33. Jens Palsberg, Tian Zhao
    Efficient and Flexible Matching of Recursive Types. [Citation Graph (0, 0)][DBLP]
    LICS, 2000, pp:388-398 [Conf]
  34. Jens Palsberg, Tian Zhao
    Efficient Type Inference for Record Concatenation and Subtyping. [Citation Graph (0, 0)][DBLP]
    LICS, 2002, pp:125-136 [Conf]
  35. Christian Grothoff, Jens Palsberg, Jan Vitek
    Encapsulating Objects with Confined Types. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2001, pp:241-253 [Conf]
  36. Jens Palsberg, Michael I. Schwartzbach
    Type Substitution for Object-Oriented Programming. [Citation Graph (0, 0)][DBLP]
    OOPSLA/ECOOP, 1990, pp:151-160 [Conf]
  37. Frank Tip, Jens Palsberg
    Scalable propagation-based call graph construction algorithms. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2000, pp:281-293 [Conf]
  38. Tian Zhao, Jens Palsberg, Jan Vitek
    Lightweight confinement for featherweight Java. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2003, pp:135-148 [Conf]
  39. Jens Palsberg
    Type-based analysis and applications. [Citation Graph (0, 0)][DBLP]
    PASTE, 2001, pp:20-27 [Conf]
  40. Olivier Danvy, Karoline Malmkjær, Jens Palsberg
    The Essence of Eta-Expansion in Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    PEPM, 1994, pp:11-20 [Conf]
  41. Jens Palsberg
    Eta-Redexes in Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    Partial Evaluation, 1998, pp:356-366 [Conf]
  42. Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach
    Efficient Recursive Subtyping. [Citation Graph (0, 0)][DBLP]
    POPL, 1993, pp:419-428 [Conf]
  43. Jens Palsberg, Patrick O'Keefe
    A Type System Equivalent to Flow Analysis. [Citation Graph (0, 0)][DBLP]
    POPL, 1995, pp:367-378 [Conf]
  44. Jens Palsberg, Christina Pavlopoulou
    From Polyvariant Flow Information to Intersection and Union Types. [Citation Graph (0, 0)][DBLP]
    POPL, 1998, pp:197-208 [Conf]
  45. V. Krishna Nandivada, Jens Palsberg
    Timing Analysis of TCP Servers for Surviving Denial-of-Service Attacks. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time and Embedded Technology and Applications Symposium, 2005, pp:541-549 [Conf]
  46. Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg
    Stack Size Analysis for Interrupt-Driven Programs. [Citation Graph (0, 0)][DBLP]
    SAS, 2003, pp:109-126 [Conf]
  47. Neal Glew, Jens Palsberg, Christian Grothoff
    Type-Safe Optimisation of Plugin Architectures. [Citation Graph (0, 0)][DBLP]
    SAS, 2005, pp:135-154 [Conf]
  48. Jens Palsberg, Peter Ørbæk
    Trust in the lambda-Calculus [Citation Graph (0, 0)][DBLP]
    SAS, 1995, pp:314-329 [Conf]
  49. Kevin K. Chang, Nithya Ramanathan, Deborah Estrin, Jens Palsberg
    D.A.S.: deployment analysis system. [Citation Graph (0, 0)][DBLP]
    SenSys, 2005, pp:301- [Conf]
  50. Dennis Brylow, Jens Palsberg
    Deadline analysis of interrupt-driven software. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2003, pp:198-207 [Conf]
  51. Linda M. Seiter, Jens Palsberg, Karl J. Lieberherr
    Evolution of Object Behavior Using Context Relations. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1996, pp:46-57 [Conf]
  52. Alexander Aiken, Edward L. Wimmers, Jens Palsberg
    Optimal Representations of Polymorphic Types with Subtyping (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    TACS, 1997, pp:47-76 [Conf]
  53. Jens Palsberg
    Comparing Flow-Based Binding-Time Analyses. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1995, pp:561-574 [Conf]
  54. Jens Palsberg, Scott J. Baxter
    Teaching reviewing to graduate students. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 2002, v:45, n:12, pp:22-24 [Journal]
  55. Chris Hankin, Hanne Riis Nielson, Jens Palsberg
    Strategic Directions in Research on Programming Languages. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4, pp:644-652 [Journal]
  56. Jens Palsberg
    Type Inference for Objects. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:2, pp:358-359 [Journal]
  57. Jens Palsberg
    Compiler Technology for Object-Oriented Languages. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:161- [Journal]
  58. Jens Palsberg
    Software Evolution and Integration. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:200- [Journal]
  59. Jens Palsberg, Mitchell Wand, Patrick O'Keefe
    Type Inference with Non-Structural Subtyping. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1997, v:9, n:1, pp:49-67 [Journal]
  60. Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg
    Stack size analysis for interrupt-driven programs. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2004, v:194, n:2, pp:144-174 [Journal]
  61. William R. Cook, Jens Palsberg
    A Denotational Semantics of Inheritance and Its Correctness [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1994, v:114, n:2, pp:329-350 [Journal]
  62. Jens Palsberg
    Efficient Inference of Object Types. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1995, v:123, n:2, pp:198-209 [Journal]
  63. Jens Palsberg, Michael I. Schwartzbach
    Safety Analysis versus Type Inference [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1995, v:118, n:1, pp:128-141 [Journal]
  64. Jens Palsberg, Tian Zhao
    Efficient and Flexible Matching of Recursive Types. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2001, v:171, n:2, pp:364-387 [Journal]
  65. Jens Palsberg, Tian Zhao
    Type inference for record concatenation and subtyping. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2004, v:189, n:1, pp:54-86 [Journal]
  66. Jens Palsberg
    Normal Forms Have Partial Types. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1993, v:45, n:1, pp:1-3 [Journal]
  67. Jens Palsberg, Michael I. Schwartzbach
    Safety Analysis Versus Type Inference for Partial Types. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1992, v:43, n:4, pp:175-180 [Journal]
  68. Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach
    Efficient Inference of Partial Types. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1994, v:49, n:2, pp:306-324 [Journal]
  69. Anders Bondorf, Jens Palsberg
    Generating Action Compilers by Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1996, v:6, n:2, pp:269-298 [Journal]
  70. Peter Ørbæk, Jens Palsberg
    Trust in the lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1997, v:7, n:6, pp:557-591 [Journal]
  71. Jens Palsberg
    Correctness of Binding-Time Analysis. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1993, v:3, n:3, pp:347-363 [Journal]
  72. Jens Palsberg, Christina Pavlopoulou
    From Polyvariant flow information to intersection and union types. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2001, v:11, n:3, pp:263-317 [Journal]
  73. Jens Palsberg, Mitchell Wand
    CPS transformation of flow information. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2003, v:13, n:5, pp:905-923 [Journal]
  74. Tian Zhao, Jens Palsberg, Jan Vitek
    Type-based confinement. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2006, v:16, n:1, pp:83-128 [Journal]
  75. Neal Glew, Jens Palsberg
    Method Inlining, Dynamic Class Loading, and Type Soundness. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2005, v:4, n:8, pp:33-53 [Journal]
  76. Alexander Aiken, Edward L. Wimmers, Jens Palsberg
    Optimal Representations of Polymorphic Types with Subtyping. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 1999, v:12, n:3, pp:237-282 [Journal]
  77. Olivier Danvy, Karoline Malmkjær, Jens Palsberg
    The Essence of Eta-Expansion in Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    Lisp and Symbolic Computation, 1995, v:8, n:3, pp:209-227 [Journal]
  78. Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach
    Efficient Recursive Subtyping. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1995, v:5, n:1, pp:113-125 [Journal]
  79. Mitchell Wand, Patrick O'Keefe, Jens Palsberg
    Strong Normalization with Non-Structural Subtyping. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1995, v:5, n:3, pp:419-429 [Journal]
  80. Jens Palsberg, Trevor Jim
    Type Inference with Simple Selftypes is NP-complete. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 1997, v:4, n:2, pp:259-286 [Journal]
  81. Jens Palsberg, Michael I. Schwartzbach
    Three discussions on object-oriented typing. [Citation Graph (0, 0)][DBLP]
    OOPS Messenger, 1992, v:3, n:2, pp:31-38 [Journal]
  82. Michael I. Schwartzbach, Jens Palsberg
    Types for the language designer (abstract). [Citation Graph (0, 0)][DBLP]
    OOPS Messenger, 1993, v:4, n:2, pp:219- [Journal]
  83. Neal Glew, Jens Palsberg
    Type-safe method inlining. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2004, v:52, n:, pp:281-306 [Journal]
  84. Jens Palsberg, Boaz Patt-Shamir, Karl J. Lieberherr
    A New Approach to Compiling Adaptive Programs. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1997, v:29, n:3, pp:303-326 [Journal]
  85. Jens Palsberg, Michael I. Schwartzbach
    Static Typing for Object-Oriented Programming. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1994, v:23, n:1, pp:19-53 [Journal]
  86. Andrew P. Black, Jens Palsberg
    Foundations of Object-Oriented Languages - Workshop Report. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1994, v:29, n:3, pp:3-11 [Journal]
  87. Chris Hankin, Hanne Riis Nielson, Jens Palsberg
    Position Statements on Strategic Directions for Research on Programming Languages. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1997, v:32, n:1, pp:59-65 [Journal]
  88. Ole Agesen, Jens Palsberg, Michael I. Schwartzbach
    Type Inference of SELF: Analysis of Objects with Dynamic and Multiple Inheritance [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1995, v:25, n:9, pp:975-995 [Journal]
  89. Jens Palsberg
    Class-Graph Inference for Adaptive Programs. [Citation Graph (0, 0)][DBLP]
    TAPOS, 1997, v:3, n:2, pp:75-85 [Journal]
  90. Jens Palsberg, Michael I. Schwartzbach
    Editorial. [Citation Graph (0, 0)][DBLP]
    TAPOS, 1995, v:1, n:3, pp:149- [Journal]
  91. Allan Cheng, Javier Esparza, Jens Palsberg
    Complexity Results for 1-Safe Nets. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:147, n:1&2, pp:117-136 [Journal]
  92. Mayur Naik, Jens Palsberg
    Compiling with code-size constraints. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Embedded Comput. Syst., 2004, v:3, n:1, pp:163-181 [Journal]
  93. Olivier Danvy, Jens Palsberg
    Eta-Expansion Does The Trick. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1996, v:18, n:6, pp:730-751 [Journal]
  94. Jens Palsberg
    Closure Analysis in Constraint Form. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1995, v:17, n:1, pp:47-62 [Journal]
  95. Jens Palsberg
    Equality-based flow analysis versus recursive types. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1998, v:20, n:6, pp:1251-1264 [Journal]
  96. Jens Palsberg, Patrick O'Keefe
    A Type System Equivalent to Flow Analysis [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1995, v:17, n:4, pp:576-599 [Journal]
  97. Jens Palsberg, Scott F. Smith
    Constrained Types and Their Expressiveness. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1996, v:18, n:5, pp:519-527 [Journal]
  98. Jens Palsberg, Tian Zhao, Trevor Jim
    Automatic discovery of covariant read-only fields. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2005, v:27, n:1, pp:126-162 [Journal]
  99. Dennis Brylow, Jens Palsberg
    Deadline Analysis of Interrupt-Driven Software. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2004, v:30, n:10, pp:634-655 [Journal]
  100. Linda M. Seiter, Jens Palsberg, Karl J. Lieberherr
    Evolution of Object Behavior Using Context Relations. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1998, v:24, n:1, pp:79-92 [Journal]
  101. Ben Titzer, Jens Palsberg
    Vertical object layout and compression for fixed heaps. [Citation Graph (0, 0)][DBLP]
    CASES, 2007, pp:170-178 [Conf]
  102. Jonathan K. Lee, Jens Palsberg, Fernando Magno Quintão Pereira
    Aliased Register Allocation for Straight-Line Programs Is NP-Complete. [Citation Graph (0, 0)][DBLP]
    ICALP, 2007, pp:680-691 [Conf]
  103. Ben Titzer, Joshua S. Auerbach, David F. Bacon, Jens Palsberg
    The ExoVM system for automatic VM and application reduction. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:352-362 [Conf]
  104. V. Krishna Nandivada, Fernando Magno Quintão Pereira, Jens Palsberg
    A Framework for End-to-End Verification and Evaluation of Register Allocators. [Citation Graph (0, 0)][DBLP]
    SAS, 2007, pp:153-169 [Conf]
  105. Martín Abadi, Jens Palsberg
    Editorial. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2007, v:29, n:3, pp:- [Journal]
  106. Christian Grothoff, Jens Palsberg, Jan Vitek
    Encapsulating objects with confined types. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2007, v:29, n:6, pp:- [Journal]

  107. Vertical Object Layout and Compression for Fixed Heaps. [Citation Graph (, )][DBLP]


  108. Tribute to Peter Mosses. [Citation Graph (, )][DBLP]


  109. Register Allocation via Coloring of Chordal Graphs. [Citation Graph (, )][DBLP]


  110. Punctual Coalescing. [Citation Graph (, )][DBLP]


  111. SSA Elimination after Register Allocation. [Citation Graph (, )][DBLP]


  112. Constrained types for object-oriented languages. [Citation Graph (, )][DBLP]


  113. Register allocation by puzzle solving. [Citation Graph (, )][DBLP]


  114. Featherweight X10: a core calculus for async-finish parallelism. [Citation Graph (, )][DBLP]


  115. Verification of Register Allocators. [Citation Graph (, )][DBLP]


Search in 0.394secs, Finished in 0.402secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002