Travelled to:1 × Belgium
1 × Canada
1 × France
1 × Italy
1 × Spain
4 × USA
Collaborated with:∅ J.Solorzano D.Briggs S.Kouznetsova M.Surendhar D.Gitchell R.Sunderraman R.Bagai
Talks about:type (5) object (4) reflect (3) orient (3) polymorph (2) parametr (2) program (2) java (2) constraint (1) techniqu (1)
Person: Suad Alagic
DBLP: Alagic:Suad
Contributed to:
2013
2009
20021998
199819971994
19941992Wrote 10 papers:
- HILT-2013-Alagic #automation #interactive #verification
- Automatic versus interactive program verification (SA), pp. 87–88.
- SAC-2009-BriggsA #algebra #constraints #parametricity #specification
- Algebraic specification techniques for parametric types with logic-based constraints (DB, SA), pp. 1890–1897.
- ECOOP-2002-AlagicK #behaviour #self
- Behavioral Compatibility of Self-Typed Theories (SA, SK), pp. 585–608.
- ECOOP-1998-AlagicSG #imperative #java #orthogonal
- Orthogonal to the Java Imperative (SA, JS, DG), pp. 212–233.
- OOPSLA-1998-SolorzanoA #java #morphism #parametricity #polymorphism
- Parametric Polymorphism for Java: A Reflective Solution (JS, SA), pp. 216–225.
- OOPSLA-1997-Alagic #question
- The ODMG Object Model: Does it Make Sense? (SA), pp. 253–270.
- ECOOP-1994-AlagicSB #declarative #inheritance #object-oriented #programming #prototype #type system
- Declarative Object-Oriented Programming: Inheritance, Subtyping and Prototyping (SA, RS, RB), pp. 236–259.
- TOOLS-EUROPE-1994-SurendharA #evolution #object-oriented #using
- Object-Oriented Type Evolution Using Reflection (MS, SA), pp. 271–280.
- TOOLS-USA-1992-Alagic #object-oriented #type system
- Object-Oriented Type Systems (SA), p. 295.
- TOOLS-USA-1992-Alagic92a #polymorphism
- Associated paper: Polymorphic and Reflective Type Structures (SA), p. 297.