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: Sterling:Leon
Facilitated 1 volumes:
Contributed to:
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.