BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Italy
1 × United Kingdom
3 × USA
Collaborated with:
T.T.Hildebrandt C.Rueda M.Cano J.A.Pérez C.Palamidessi J.A.Pérez F.D.Valencia E.R.B.Marques F.Martins N.Ng C.Santos V.T.Vasconcelos N.Yoshida
Talks about:
program (3) concurr (3) secur (3) constraint (2) declar (2) base (2) trustworthi (1) interpret (1) framework (1) protocol (1)

Person: Hugo A. López

DBLP DBLP: L=oacute=pez:Hugo_A=

Contributed to:

OOPSLA 20152015
PPDP 20152015
ICLP 20102010
ICLP 20092009
ICLP 20062006

Wrote 5 papers:

OOPSLA-2015-LopezMMNSVY #message passing #parallel #source code #verification
Protocol-based verification of message-passing parallel programs (HAL, ERBM, FM, NN, CS, VTV, NY), pp. 280–298.
PPDP-2015-CanoRLP #concurrent #declarative
Declarative interpretations of session-based concurrency (MC, CR, HAL, JAP), pp. 67–78.
ICLP-2010-Lopez10 #modelling #process
Models for Trustworthy Service and Process Oriented Systems (HAL), pp. 270–276.
ICLP-2009-HildebrandtL #concurrent #constraints #pattern matching #programming
Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming (TTH, HAL), pp. 417–431.
ICLP-2006-LopezPPRV #concurrent #constraints #declarative #framework #programming #security
A Declarative Framework for Security: Secure Concurrent Constraint Programming (HAL, CP, JAP, CR, FDV), pp. 449–450.

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.