Travelled to:1 × United Kingdom
2 × Portugal
Collaborated with:A.Settle ∅ R.Jagadeesan C.Pitcher V.A.Saraswat
Talks about:program (2) test (2) constraint (1) approach (1) control (1) emphas (1) declar (1) first (1) earli (1) decid (1)
Person: Will Marrero
DBLP: Marrero:Will
Contributed to:
2005
2005
2005Wrote 3 papers:
- ITiCSE-2005-MarreroS #programming #testing
- Testing first: emphasizing testing in early programming courses (WM, AS), pp. 4–8.
- PPDP-2005-JagadeesanM #approach #constraints #declarative #programming
- Timed constraint programming: a declarative approach to usage control (RJ, WM, CP, VAS), pp. 164–175.
- TACAS-2005-Marrero #using
- Using BDDs to Decide CTL (WM), pp. 222–236.