Travelled to:1 × Belgium
1 × France
1 × Sweden
Collaborated with:∅ A.Eriksson S.Tärnlund
Talks about:program (3) deriv (3) use (2) increment (1) symmetri (1) strategi (1) schemata (1) interact (1) generat (1) toward (1)
Person: Anna-Lena Johansson
DBLP: Johansson:Anna=Lena
Contributed to:
1993
19841982Wrote 3 papers:
- LOPSTR-1993-Johansson #incremental #interactive #using
- Interactive Program Derivation Using Program Schemata and Incrementally Generated Strategies (ALJ), pp. 100–112.
- ILPC-1984-Johansson84 #logic programming #source code #symmetry #using
- Using Symmetry for the Derivation of Logic Programs (ALJ), pp. 243–251.
- ILPC-1982-ErikssonJT82 #editing #towards
- Towards a Derivation Editor (AE, ALJ, SÅT), pp. 146–151.