Travelled to:1 × Germany
1 × Italy
Collaborated with:M.Clavel F.Durán S.Eker P.Lincoln N.Martí-Oliet J.Meseguer
Talks about:maud (5) metalanguag (1) program (1) toward (1) system (1) specif (1) rewrit (1) logic (1) use (1)
Person: Jose F. Quesada
DBLP: Quesada:Jose_F=
Contributed to:
2000
2000
199919982002Wrote 5 papers:
- FASE-2000-ClavelDELMMQ #maude #using
- Using Maude (MC, FD, SE, PL, NMO, JM, JFQ), pp. 371–374.
- WRLA-2000-ClavelDELMMQ #maude #towards
- Towards Maude 2.0 (MC, FD, SE, PL, NMO, JM, JFQ), pp. 294–315.
- RTA-1999-ClavelDELMMQ #maude
- The Maude System (MC, FD, SE, PL, NMO, JM, JFQ), pp. 240–243.
- WRLA-1998-ClavelDELMMQ #maude #metalanguage
- Maude as a metalanguage (MC, FD, SE, PL, NMO, JM, JFQ), pp. 147–160.
- WRLA-J-1996-ClavelDELMMQ02 #logic #maude #named #programming #specification
- Maude: specification and programming in rewriting logic (MC, FD, SE, PL, NMO, JM, JFQ), pp. 187–243.