Concepedia

Hans‐Juergen Boehm

HB

7

Publications

922

Citations

7

H-Index

1985

Active since

Affiliations

Rice University(Current)

Cornell University

Hans‐Juergen Boehm is an author at Rice University specializing in software analysis, engineering, and formal methods.

Top concepts

EngineeringSoftware AnalysisFormal MethodsComputer ScienceProgram AnalysisSoftware EngineeringProgramming LanguagesCompilersParallel ComputingAutomated Reasoning

Publications per year

1985–1993

7

Publications

7

Garbage collection in an uncooperative environment

Hans‐Juergen Boehm, Mark Weiser · Software Practice and Experience · 1988 · 624 citations

Software Maintenance, Engineering, Compiler Technology +20

Space efficient conservative garbage collection

Hans‐Juergen Boehm · 1993 · 172 citations

Engineering, Computer Architecture, Garbage Collector +18

Space efficient conservative garbage collection

Hans‐Juergen Boehm · ACM SIGPLAN Notices · 1993 · 39 citations

Engineering, Computer Architecture, Garbage Collector +18

Side effects and aliasing can have simple axiomatic descriptions

Hans‐Juergen Boehm · ACM Transactions on Programming Languages and Systems · 1985 · 29 citations · Full text

Engineering, Well-founded Semantics, Semantics +16

Parallel Attribute Grammar Evaluation

Hans‐Juergen Boehm, Willy Zwaenepoel · Infoscience (Ecole Polytechnique Fédérale de Lausanne) · 1987 · 28 citations · Full text

Syntactic Parsing, Potential Parallelism, Engineering +26

Rows per page

1–5 of 7