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 × Austria
1 × Germany
1 × Spain
1 × Sweden
2 × France
6 × USA
Collaborated with:
O.Grumberg S.Porat L.Fix M.Kaminski R.Nelken S.Sagiv M.Rodeh L.Bougé N.Shavit D.Kozen ∅ P.C.Attie K.R.Apt S.Katz R.Wilhelm O.Edelstein
Talks about:
fair (5) composit (3) approach (3) program (3) system (3) languag (2) grammar (2) analysi (2) termin (2) rewrit (2)

Person: Nissim Francez

DBLP DBLP: Francez:Nissim

Contributed to:

LATA 20072007
CAV 19961996
ICALP 19921992
ICALP 19911991
PLILP 19901990
POPL 19901990
POPL 19891989
POPL 19881988
POPL 19871987
CADE 19861986
ICALP 19861986
RTA 19851985
POPL 19841984
POPL 19821982

Wrote 14 papers:

LATA-2007-FrancezK #automaton
Pushdown automata with cancellation and commutation-augmented pregroups grammars (NF, MK), pp. 7–26.
CAV-1996-NelkenF #automation #natural language #specification
Automatic Translation of Natural Language System Specifications (RN, NF), pp. 360–371.
ICALP-1992-FixFG #composition #unification
Program Composition via Unification (LF, NF, OG), pp. 672–684.
ICALP-1991-FixFG #composition #verification
Program Composition and Modular Verification (LF, NF, OG), pp. 93–114.
PLILP-1990-SagivFRW #analysis #approach #data flow #problem
A Logic-Based Approach to Data Flow Analysis Problem (SS, NF, MR, RW), pp. 277–292.
POPL-1990-AttieFG #interactive #multi
Fairness and Hyperfairness in Multi-Party Interactions (PCA, NF, OG), pp. 292–305.
POPL-1989-SagivEFR #analysis #attribute grammar #data flow
Resolving Circularity in Attribute Grammars with Applications to Data Flow Analysis (SS, OE, NF, MR), pp. 36–48.
POPL-1988-BougeF #approach #composition
A Compositional Approach to Superimposition (LB, NF), pp. 240–249.
POPL-1987-AptFK #distributed #programming
Appraising Fairness in Languages for Distributed Programming (KRA, NF, SK), pp. 189–198.
CADE-1986-PoratF #equation #term rewriting
Full-Commutation and Fair-Termination in Equational (and Combined) Term-Rewriting Systems (SP, NF), pp. 21–41.
ICALP-1986-ShavitF #approach #detection
A New Approach to Detection of Locally Indicative Stability (NS, NF), pp. 344–358.
RTA-1985-PoratF #term rewriting
Fairness in Term Rewriting Systems (SP, NF), pp. 287–300.
POPL-1984-FrancezK #termination
Generalized Fair Termination (NF, DK), pp. 46–53.
POPL-1982-Francez #communication #process
Extended Naming Conventions for Communicating Processes (NF), pp. 40–45.
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.