BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × USA
1 × United Kingdom
Collaborated with:
T.Nipkow Á.Darvas A.Rudich
Talks about:
support (1) reactiv (1) program (1) pointer (1) environ (1) develop (1) defined (1) higher (1) effici (1) prove (1)

Person: Farhad Mehta

DBLP DBLP: Mehta:Farhad

Contributed to:

IJCAR 20082008
SEFM 20072007
CADE 20032003

Wrote 3 papers:

IJCAR-2008-DarvasMR #performance
Efficient Well-Definedness Checking (ÁD, FM, AR), pp. 100–115.
SEFM-2007-Mehta #development #proving
Supporting Proof in a Reactive Development Environment (FM), pp. 103–112.
CADE-2003-MehtaN #higher-order #logic #pointer #proving #source code
Proving Pointer Programs in Higher-Order Logic (FM, TN), pp. 121–135.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.