Travelled to:
1 × Austria
1 × Canada
1 × Germany
1 × Portugal
1 × The Netherlands
Collaborated with:
A.Mametjanov ∅ J.Beranek R.Lämmel D.Desovski B.Cukic
Talks about:
program (3) transform (1) introduct (1) techniqu (1) strategi (1) function (1) bricklay (1) virtual (1) librari (1) languag (1)
♂ Person: Victor L. Winter
DBLP: Winter:Victor_L=
Facilitated 2 volumes:
Contributed to:
Wrote 5 papers:
- TFPIE-2014-Winter #authentication #functional #named #programming language
- Bricklayer: An Authentic Introduction to the Functional Programming Language SML (VLW), pp. 33–49.
- LDTA-2011-MametjanovWL #precise #type system
- More precise typing of rewrite strategies (AM, VLW, RL), p. 3.
- GPCE-2007-WinterM #generative #java #library #migration #programming
- Generative programming techniques for Java library migration (VLW, AM), pp. 185–196.
- GTTSE-2005-WinterB #program transformation #using
- Program Transformation Using HATS 1.84 (VLW, JB), pp. 378–396.
- RE-2001-WinterDC #modelling #requirements #validation
- Virtual Environment Modeling for Requirements Validation of High Consequence Systems (VLW, DD, BC), pp. 23–30.