Concepedia

Eyal Yardeni

EY

8

Publications

409

Citations

8

H-Index

1988

Active since

Affiliations

Weizmann Institute of Science(Current)

Eyal Yardeni is an author at Weizmann Institute of Science specializing in formal methods, automated reasoning, and engineering.

Top concepts

Formal MethodsEngineeringAutomated ReasoningLogic ProgrammingComputer ScienceFormal VerificationSyntaxGrammarLanguageSemantics

Publications per year

1988–2002

8

Publications

8

Logic programs as types for logic programs

Thom Frühwirth, Ehud Shapiro, Moshe Y. Vardi et al. · 2002 · 152 citations

Applied Logic, Engineering, Type Theory +17

A type system for logic programs

Eyal Yardeni, Ehud Shapiro · The Journal of Logic Programming · 1991 · 104 citations

Engineering, Automated Reasoning, Dependently Typed Programming +5

Bottom-up abstract interpretation of logic programs

Michael Codish, Dennis Dams, Eyal Yardeni · Theoretical Computer Science · 1994 · 59 citations · Full text

Engineering, Operational Semantics, Automated Reasoning +5

Derivation and Safety of an Abstract Unification Algorithm for Groundness and Aliasing Analysis.

Michael Codish, Dennis Dams, Eyal Yardeni · International Conference on Lightning Protection · 1991 · 49 citations

Formal Specification, Engineering, Program Analysis +12

Polymorphically Typed Logic Programs.

Eyal Yardeni, Thom Frühwirth, Ehud Shapiro · 1991 · 13 citations

Rows per page

1–5 of 8