BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Hilfinger:Paul_N=

Contributed to:

DAC 19981998
LFP 19921992
PLDI 19881988
PPEALS 19881988
ASPLOS 19871987
OOPSLA 19861986

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.