Travelled to:1 × Australia
1 × Canada
7 × USA
Collaborated with:J.Jaffar P.J.Stuckey R.H.C.Yap N.Heintze B.Pippin F.Pfenning S.Bose E.M.Clarke N.Jørgensen K.Marriott D.E.Long P.E.Allen
Talks about:clp (5) compil (3) methodolog (2) constraint (2) parthenon (2) parallel (2) theorem (2) program (2) system (2) prover (2)
Person: Spiro Michaylov
DBLP: Michaylov:Spiro
Contributed to:
1994
19921991
19911991
19891989
19881987Wrote 10 papers:
- ILPS-1994-MichaylovP #compilation #constraints #linear #logic programming #optimisation #source code
- Optimizing Compilation of Linear Arithmetic in a Class of Constraint Logic Programs (SM, BP), pp. 586–600.
- PLDI-1992-JaffarMSY #automaton
- An Abstract Machine for CLP(R) (JJ, SM, PJS, RHCY), pp. 128–139.
- ISLP-1991-JorgensenMM #optimisation
- Some Global Compile-Time Optimizations for CLP(R) (NJ, KM, SM), pp. 420–434.
- PEPM-1991-MichaylovP #compilation #polymorphism #λ-calculus
- Compiling the Polymorphic λ-Calculus (SM, FP), pp. 285–296.
- PLDI-1991-JaffarMY #constraints
- A Methodology for Managing Hard Constraints in CLP Systems (JJ, SM, RHCY), pp. 306–316.
- LICS-1989-BoseCLM #horn clause #named #parallel #proving #theorem proving
- PARTHENON: A Parallel Theorem Prover for Non-Horn Clauses (SB, EMC, DEL, SM), pp. 80–89.
- NACLP-1989-HeintzeMSY #metaprogramming #on the
- On Meta-Programming in CLR(R) (NH, SM, PJS, RHCY), pp. 52–66.
- CADE-1988-AllenBCM #horn clause #named #parallel #proving #theorem proving
- PARTHENON: A Parallel Theorem Prover for Non-Horn Clauses (PEA, SB, EMC, SM), pp. 764–765.
- ICLP-1987-HeintzeMS87 #problem
- CLP(R) and Some Electrical Engineering Problems (NH, SM, PJS), pp. 675–703.
- ICLP-1987-JaffarM87 #implementation
- Methodology and Implementation of a CLP System (JJ, SM), pp. 196–218.