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 × 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 DBLP: Silva:Paulo_F=

Contributed to:

PPDP 20082008
FM 20052005

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

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.