Concepedia

Evan Tick

ET

13

Publications

323

Citations

12

H-Index

1984

Active since

Affiliations

University of Oregon(Current)

The University of Tokyo

Evan Tick is an author at University of Oregon specializing in engineering, computer science, and program analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisFormal MethodsParallel ProgrammingAutomated ReasoningFormal VerificationSoftware AnalysisComputer EngineeringCompilers

Publications per year

1984–1995

13

Publications

13

Towards a pipelined Prolog processor

Evan Tick, David H. Warren · New Generation Computing · 1984 · 93 citations

Declarative Programming, Engineering, Program Analysis +9

Compile-time granularity analysis for parallel logic programming languages

Evan Tick · New Generation Computing · 1990 · 30 citations

Engineering, Program Analysis, Automated Reasoning +9

Evaluation of parallel copying garbage collection on a shared-memory multiprocessor

Akira Imai, Evan Tick · IEEE Transactions on Parallel and Distributed Systems · 1993 · 28 citations

Engineering, Computer Architecture, Software Engineering +22

The deevolution of concurrent logic programming languages

Evan Tick · The Journal of Logic Programming · 1995 · 27 citations

Engineering, Program Analysis, Automated Reasoning +7

Studies in Prolog architectures

Evan Tick · 1987 · 21 citations

Canonical Architectures, Engineering, Compiler Technology +18

Rows per page

1–5 of 13