Travelled to:
1 × France
1 × USA
Collaborated with:
J.Maluszynski T.Heyer
Talks about:
procedur (2) program (2) amalgam (2) toward (2) extern (2) logic (2) clean (2) comprehens (1) compass (1) method (1)
Person: Staffan Bonnier
DBLP: Bonnier:Staffan
Contributed to:
Wrote 3 papers:
- JICSCP-1988-BonnierM88 #logic programming #source code #towards
- Towards a Clean Amalgamation of Logic Programs with External Procedures (SB, JM), pp. 311–326.
- PLILP-1988-BonnierM #logic programming #source code #towards
- Towards a Clean Amalgamation of Logic Programs with External Procedures (SB, JM), pp. 20–34.
- TAPSOFT-1997-BonnierH #named
- COMPASS: A Comprehensible Assertion Method (SB, TH), pp. 803–817.