Concepedia
Statistics
Publications
2
Citations
166
H-Index
Active since
1985
Jung-Herng Chang is an author specializing in formal methods, engineering, and program analysis.
Top concepts
EngineeringFormal MethodsComputer ScienceProgram AnalysisLogic ProgrammingSoftware AnalysisAutomated ReasoningFormal VerificationSemanticsParallel Programming
Publications per year
1985–1985
AND-Parallelism of Logic Programs Based on a Static Data Dependency Analysis.
Jung-Herng Chang, Alvin M. Despain, Doug DeGroot · COMPCON · 1985 · 116 citations
Dependency Analysis, Engineering, Program Analysis +10
Semi-Intelligent Backtracking of Prolog Based on Static Data Dependency Analysis.
Jung-Herng Chang, Alvin M. Despain · SLP · 1985 · 50 citations
Dependency Analysis, Engineering, Program Analysis +9
1–2 of 2