Travelled to:6 × USA
Collaborated with:J.R.Larus A.D.Samples D.Ungar E.Wang W.R.Bush J.S.Young J.MacDonald M.Shilman A.Tabbara A.R.Newton
Talks about:smalltalk (2) lisp (2) restructur (1) structur (1) conflict (1) without (1) success (1) program (1) languag (1) concurr (1)
Person: Paul N. Hilfinger
DBLP: Hilfinger:Paul_N=
Contributed to:
1998
1992
1988
1988
1987
1986Wrote 6 papers:
- DAC-1998-YoungMSTHN #design #embedded #java #refinement #specification #using
- Design and Specification of Embedded Systems in Java Using Successive, Formal Refinement (JSY, JM, MS, AT, PNH, ARN), pp. 70–75.
- LFP-1992-WangH #analysis #recursion
- Analysis of Recursive Types in Lisp-Like Languages (EW, PNH), pp. 216–225.
- PLDI-1988-LarusH #detection
- Detecting Conflicts Between Structure Accesses (JRL, PNH), pp. 21–34.
- PPEALS-1988-LarusH #concurrent #execution #lisp #source code
- Restructuring Lisp Programs for Concurrent Execution (JRL, PNH), pp. 100–110.
- ASPLOS-1987-BushSUH #compilation
- Compiling Smalltalk-80 to a RISC (WRB, ADS, DU, PNH), pp. 112–116.
- OOPSLA-1986-SamplesUH #named #smalltalk
- SOAR: Smalltalk Without Bytecodes (ADS, DU, PNH), pp. 107–118.