Concepedia
Statistics
Publications
3
Citations
272
H-Index
Active since
1989
Anno Langen is an author specializing in engineering, automated reasoning, and software analysis.
Top concepts
EngineeringComputer ScienceProgram AnalysisLogic ProgrammingSoftware AnalysisAutomated ReasoningFormal MethodsFormal VerificationComputer EngineeringSemantics
Publications per year
1989–2017
Static analysis of logic programs for independent and parallelism
Dean Jacobs, Anno Langen · The Journal of Logic Programming · 1992 · 128 citations
Computational Logic, Engineering, Program Analysis +9
Accurate and Efficient Approximation of Variable Aliasing in Logic Programs.
Dean Jacobs, Anno Langen · 1989 · 114 citations
Engineering, Automated Reasoning, Program Analysis +9
Advanced techniques for approximating variable aliasing in logic programs
Anno Langen · University of Southern California Digital Library · 2017 · 30 citations · Full text
Advanced Techniques, Engineering, Semantics +17
1–3 of 3