Travelled to:1 × Spain
1 × United Kingdom
Collaborated with:J.N.Oliveira T.L.Alves J.Visser
Talks about:prototyp (1) function (1) strateg (1) convers (1) connect (1) rewrit (1) galcul (1) assist (1) applic (1) vdmsl (1)
Person: Paulo F. Silva
DBLP: Silva:Paulo_F=
Contributed to:
2008
2005Wrote 2 papers:
- PPDP-2008-SilvaO #functional #prototype #proving #quote
- “Galculator”: functional prototype of a Galois-connection based proof assistant (PFS, JNO), pp. 44–55.
- FM-2005-AlvesSVO #sql #term rewriting
- Strategic Term Rewriting and Its Application to a VDMSL to SQL Conversion (TLA, PFS, JV, JNO), pp. 399–414.