Travelled to:1 × USA
2 × France
2 × Italy
2 × The Netherlands
Collaborated with:E.W.Høst ∅ E.K.Karlsen D.Bert R.Echahed
Talks about:name (3) java (3) programm (2) abstract (2) method (2) verb (2) implement (1) synthesi (1) lancelot (1) identifi (1)
Person: Bjarte M. Østvold
DBLP: =Oslash=stvold:Bjarte_M=
Contributed to:
2012
2010
20092008
2007
1997
1993Wrote 7 papers:
- PEPM-2012-KarlsenHO #debugging #eclipse #java #plugin
- Finding and fixing Java naming bugs with the lancelot eclipse plugin (EKK, EWH, BMØ), pp. 35–38.
- SLE-2010-HostO #canonical #identification #implementation #java #semantics #using
- Canonical Method Names for Java — Using Implementation Semantics to Identify Synonymous Verbs (EWH, BMØ), pp. 226–245.
- ECOOP-2009-HostO #debugging
- Debugging Method Names (EWH, BMØ), pp. 294–317.
- SLE-2008-HostO #java
- The Java Programmer’s Phrase Book (EWH, BMØ), pp. 322–341.
- SCAM-2007-HostO
- The Programmer’s Lexicon, Volume I: The Verbs (EWH, BMØ), pp. 193–202.
- ICFP-1997-Ostvold #functional #induction #recursion #source code #synthesis
- Inductive Synthesis of Recursive Functional Programs (Poster Abstract) (BMØ), p. 323.
- WSA-1993-BertEO
- Abstract Rewriting (DB, RE, BMØ), pp. 178–192.