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 × Australia
1 × Belgium
1 × Canada
1 × France
1 × India
1 × Israel
1 × Sweden
6 × USA
Collaborated with:
A.Lakhotia M.Kirschenbaum T.Juan L.Naish V.Srinivasan A.J.Power Y.Nygate R.D.Beer A.Bundy Y.Luo K.Taveter A.Jain Y.Deville P.Deransart
Talks about:
program (5) develop (3) enhanc (3) logic (3) meta (3) base (3) interpret (2) stepwis (2) softwar (2) system (2)

Person: Leon Sterling

DBLP DBLP: Sterling:Leon

Facilitated 1 volumes:

ICLP 1995Ed

Contributed to:

RE 20072007
ICSE 20052005
LOPSTR 19971997
SEKE 19951995
ILPS 19931993
KBSE 19931993
ICLP 19911991
ICLP 19901990
SEKE 19901990
ICLP/SPL 19881988
ICLP 19871987
SLP 19861986
ILPC 19841984
CADE 19821982

Wrote 14 papers:

RE-2007-LuoST #hybrid #modelling #music
Modelling a Smart Music Player with a Hybrid Agent-Oriented Methodology (YL, LS, KT), pp. 281–286.
ICSE-2005-SterlingJ #adaptation #re-engineering
The software engineering of agent-based intelligent adaptive systems (LS, TJ), pp. 704–705.
LOPSTR-1997-NaishS #higher-order #re-engineering
A Higher Order Reconstruction of Stepwise Enhancement (LN, LS), pp. 245–262.
SEKE-1995-JainSK #behaviour #reuse #towards #usability
Towards Reusability Based Upon Similar Computational Behavior (AJ, LS, MK), pp. 197–203.
ILPS-1993-KirschenbaumS #prolog #proving #source code
Enhancement Structures for Proving Prolog Programs Correct (MK, LS), p. 631.
KBSE-1993-SrinivasanS #framework #knowledge base
A Knowledge Based Framework for Developing and Customizing Schedulers (VS, LS), p. 13.
ICLP-1991-DevilleSD #development #logic programming
Software Development and Logic Programming (YD, LS, PD), p. 941.
CLP-1990-PowerS90 #logic programming #source code
A Notion of Map between Logic Programs (AJP, LS), pp. 390–404.
SEKE-1990-LakhotiaS #development
Program Development by Stepwise “Enhancement” (AL, LS), pp. 78–83.
JICSCP-1988-SterlingL88 #prolog
Composing Prolog Meta-Interpreters (LS, AL), pp. 386–403.
ICLP-1987-SterlingN87 #named #python
PYTHON: An Expert Squeezer (LS, YN), pp. 654–674.
SLP-1986-SterlingB86 #incremental
Incremental Flavor-Mixing of Meta-Interpreters for Expert System Construction (LS, RDB), pp. 20–27.
ILPC-1984-Sterling84 #logic #problem
Logical Levels of Problem Solving (LS), pp. 231–242.
CADE-1982-SterlingB #verification
Meta-Level Inference and Program Verification (LS, AB), pp. 144–150.

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.