-
1
-
-
26444488586
-
Strategic term rewriting and its application to a VDM-SL to SQL conversion
-
J. Fitzgerald, IJ. Hayes, and A. Tarlecki, editors, Proc. Int. Symposium of Formal Methods Europe, Springer
-
T.L. Alves, P.E. Silva, J. Visser, and J.N. Oliveira. Strategic term rewriting and its application to a VDM-SL to SQL conversion. In J. Fitzgerald, IJ. Hayes, and A. Tarlecki, editors, Proc. Int. Symposium of Formal Methods Europe, volume 3582 of LNCS, pages 399-414. Springer, 2005.
-
(2005)
LNCS
, vol.3582
, pp. 399-414
-
-
Alves, T.L.1
Silva, P.E.2
Visser, J.3
Oliveira, J.N.4
-
2
-
-
33644925964
-
Inferring type isomorphisms generically
-
D. Kozen, editor, Proc. 7th Int. Conference on Mathematics of Program Construction, Springer
-
F. Atanassow and J. Jeuring. Inferring type isomorphisms generically. In D. Kozen, editor, Proc. 7th Int. Conference on Mathematics of Program Construction, volume 3125 of LNCS, pages 32-53. Springer, 2004.
-
(2004)
LNCS
, vol.3125
, pp. 32-53
-
-
Atanassow, F.1
Jeuring, J.2
-
3
-
-
18944388843
-
Term rewriting with type-safe traversal functions
-
M.v.d Brand, P. Klint, and J. Vinju. Term rewriting with type-safe traversal functions. ENTCS, 70(6), 2002.
-
(2002)
ENTCS
, vol.70
, Issue.6
-
-
Brand, M.V.D.1
Klint, P.2
Vinju, J.3
-
4
-
-
24344488378
-
Co-transformations in information system reengineering
-
A. Cleve, J. Henrard, and J.-L. Hainaut. Co-transformations in information system reengineering. ENTCS, 137(3):5-15, 2005.
-
(2005)
ENTCS
, vol.137
, Issue.3
, pp. 5-15
-
-
Cleve, A.1
Henrard, J.2
Hainaut, J.-L.3
-
5
-
-
33749420460
-
Type-safe two-level data transformation - With derecursivation and dynamic typing
-
Univ. Minho
-
A. Cunha, J.N. Oliveira, and J.Visser. Type-safe two-level data transformation - with derecursivation and dynamic typing. Technical Report DI-PURe-06.03.01, Univ. Minho, 2006.
-
(2006)
Technical Report
, vol.DI-PURE-06.03.01
-
-
Cunha, A.1
Oliveira, J.N.2
Visser, J.3
-
6
-
-
17044398837
-
Combinators for bi-directional tree transformations: A linguistic approach to the view update problem
-
ACM Press
-
J.N. Foster et al. Combinators for bi-directional tree transformations: a linguistic approach to the view update problem. In Proc. 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 233-246. ACM Press, 2005.
-
(2005)
Proc. 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
, pp. 233-246
-
-
Foster, J.N.1
-
7
-
-
13344266569
-
Fun with phantom types
-
J. Gibbons and O. de Moor, editors, Palgrave
-
R. Hinze. Fun with phantom types. In J. Gibbons and O. de Moor, editors, The Fun of Programming, pages 245-262. Palgrave, 2003.
-
(2003)
The Fun of Programming
, pp. 245-262
-
-
Hinze, R.1
-
8
-
-
33745865860
-
"Scrap your boilerplate" reloaded
-
Proc. 8th Int. Symposium on Functional and Logic Programming, Springer
-
R. Hinze, A. Loh, and B. Oliveira. "Scrap your boilerplate" reloaded. In Proc. 8th Int. Symposium on Functional and Logic Programming, volume 3945 of LNCS, pages 13-29. Springer, 2006.
-
(2006)
LNCS
, vol.3945
, pp. 13-29
-
-
Hinze, R.1
Loh, A.2
Oliveira, B.3
-
9
-
-
0030552599
-
Back to basics: Deriving representation changers functionally
-
January
-
G. Hutton and E. Meijer. Back to Basics: Deriving Representation Changers Functionally. Journal of Functional Programming, 6(1):181-188, January 1996.
-
(1996)
Journal of Functional Programming
, vol.6
, Issue.1
, pp. 181-188
-
-
Hutton, G.1
Meijer, E.2
-
11
-
-
17644439039
-
Transformations everywhere
-
Guest editor's introduction to special issue on program transformation
-
R. Lämmel. Transformations everywhere. Sci. Comput. Program., 52:1-8, 2004. Guest editor's introduction to special issue on program transformation.
-
(2004)
Sci. Comput. Program.
, vol.52
, pp. 1-8
-
-
Lämmel, R.1
-
13
-
-
84871233716
-
Mappings make data processing go 'round
-
R. Lämmel, J. Saraiva, and J. Visser, editors, LNCS. Springer, To appear
-
R. Lämmel and E. Meijer. Mappings make data processing go 'round. In R. Lämmel, J. Saraiva, and J. Visser, editors, Proc. Int. Summer School on Generative and Transformational Techniques in Software Engineering, Braga, Portugal, July 4-8, 2005, LNCS. Springer, 2006. To appear.
-
(2006)
Proc. Int. Summer School on Generative and Transformational Techniques in Software Engineering, Braga, Portugal, July 4-8, 2005
-
-
Lämmel, R.1
Meijer, E.2
-
15
-
-
16644381796
-
Strategic polymorphism requires just two combinators!
-
arXiv, December An early version was published in the informal preproceedings IFL 2002
-
R. Lämmel and J. Visser. Strategic polymorphism requires just two combinators! Technical Report cs.PL/0212048, arXiv, December 2002. An early version was published in the informal preproceedings IFL 2002.
-
(2002)
Technical Report
, vol.CS.PL-0212048
-
-
Lämmel, R.1
Visser, J.2
-
16
-
-
84862047883
-
Typed combinators for generic traversal
-
Proc. Practical Aspects of Declarative Programming, Springer, January
-
R. Lämmel and J. Visser. Typed combinators for generic traversal. In Proc. Practical Aspects of Declarative Programming, volume 2257 of LNCS, pages 137-154. Springer, January 2002.
-
(2002)
LNCS
, vol.2257
, pp. 137-154
-
-
Lämmel, R.1
Visser, J.2
-
18
-
-
26444440692
-
Converting informal meta-data to VDM-SL: A reverse calculation approach
-
September
-
F.L. Neves, J.C. Silva, and J.N. Oliveira. Converting Informal Meta-data to VDM-SL: A Reverse Calculation Approach. In VDM in Practice! A Workshop co-located with FM'99: The World Congress on Formal Methods, Toulouse, France, September 1999.
-
(1999)
VDM in Practice! A Workshop Co-located with FM'99: The World Congress on Formal Methods, Toulouse, France
-
-
Neves, F.L.1
Silva, J.C.2
Oliveira, J.N.3
-
19
-
-
0040832771
-
A reification calculus for model-oriented software specification
-
April
-
J.N. Oliveira. A reification calculus for model-oriented software specification. Formal Aspects of Computing, 2(1):1-23, April 1990.
-
(1990)
Formal Aspects of Computing
, vol.2
, Issue.1
, pp. 1-23
-
-
Oliveira, J.N.1
-
20
-
-
0039646422
-
Software reification using the SETS calculus
-
T. Denvir, C.B. Jones, and R.C. Shaw, editors, Springer
-
J.N. Oliveira. Software reification using the SETS calculus. In T. Denvir, C.B. Jones, and R.C. Shaw, editors, Proc. of the BCS FACS 5th Refinement Workshop, Theory and Practice of Formal Software Development, pages 140-171. Springer, 1992.
-
(1992)
Proc. of the BCS FACS 5th Refinement Workshop, Theory and Practice of Formal Software Development
, pp. 140-171
-
-
Oliveira, J.N.1
-
21
-
-
26444480947
-
Calculate databases with 'simplicity'
-
September Nottingham, UK
-
J.N. Oliveira. Calculate databases with 'simplicity', September 2004. Presentation at the IFIP WG 2.1 #59 Meeting, Nottingham, UK.
-
(2004)
IFIP WG 2.1 #59 Meeting
-
-
Oliveira, J.N.1
-
22
-
-
32144438934
-
Wobbly types: Type inference for generalised algebraic data types
-
Univ. of Pennsylvania, July
-
S. Peyton Jones, G. Washburn, and S. Weirich. Wobbly types: type inference for generalised algebraic data types. Technical Report MS-CIS-05-26, Univ. of Pennsylvania, July 2004.
-
(2004)
Technical Report
, vol.MS-CIS-05-26
-
-
Jones, S.P.1
Washburn, G.2
Weirich, S.3
|