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 × Cyprus
1 × France
1 × India
1 × Japan
Collaborated with:
J.Martinez A.E.Santosa S.Gregory
Talks about:
program (4) constraint (2) distribut (2) concurr (2) synchron (1) languag (1) declar (1) verif (1) tempo (1) music (1)

Person: Rafael Ramirez

DBLP DBLP: Ramirez:Rafael

Contributed to:

ICLP 20042004
SAC 20042004
ICLP 20032003
ICLP 19951995

Wrote 4 papers:

ICLP-2004-RamirezM #constraints #distributed #java #source code #verification
Constraint-Based Synchronization and Verification of Distributed Java Programs (RR, JM), pp. 473–474.
SAC-2004-RamirezS #concurrent #constraints #distributed #logic programming #source code #using
Concurrent and distributed programming using constraint logic programs (RR, AES), pp. 508–509.
Inducing Musical Rules with ILP (RR), pp. 502–504.
ICLP-1995-GregoryR #concurrent #declarative #named #programming language
Tempo: A Declarative Concurrent Programming Language (SG, RR), pp. 515–529.

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.