BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Romania
1 × USA
1 × United Kingdom
Collaborated with:
J.Harland H.K.Dam T.Lutovac D.J.Pym L.Padgham J.Thangarajah
Talks about:
program (2) lygon (2) logic (2) goal (2) intuitionist (1) implement (1) procedur (1) overview (1) intellig (1) support (1)

Person: Michael Winikoff

DBLP DBLP: Winikoff:Michael

Contributed to:

ICSM 20102010
KR 20022002
CL 20002000
ILPS 19951995

Wrote 5 papers:

ICSM-2010-DamW #co-evolution #modelling #uml
Supporting change propagation in UML models (HKD, MW), pp. 1–10.
KR-2002-WinikoffPHT #declarative
Declarative & Procedural Goals in Intelligent Agent Systems (MW, LP, JH, JT), pp. 470–481.
CL-2000-HarlandLW #logic #multi #proving
Goal-Directed Proof Search in Multiple-Conclusions Intuitionistic Logic (JH, TL, MW), pp. 254–268.
ILPS-1995-HarlandPW #overview #perspective #programming
Programming in Lygon: A Brief Overview (JH, DJP, MW), p. 636.
ILPS-1995-WinikoffH #implementation #linear #logic programming #programming language
Implementing the Linear Logic Programming Language Lygon (MW, JH), pp. 66–80.

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.