BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Michaylov:Spiro

Contributed to:

ILPS 19941994
PLDI 19921992
ILPS 19911991
PEPM 19911991
PLDI 19911991
LICS 19891989
NACLP 19891989
CADE 19881988
ICLP 19871987

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.