-
2
-
-
17744387223
-
A relational approach to defining and implementing transformations between metamodels
-
David H. Akehurst, Stuart Kent, and Octavian Patrascoiu. A relational approach to defining and implementing transformations between metamodels. Software and System Modeling, 2(4):215-239, 2003.
-
(2003)
Software and System Modeling
, vol.2
, Issue.4
, pp. 215-239
-
-
Akehurst, D.H.1
Kent, S.2
Patrascoiu, O.3
-
5
-
-
26844466971
-
Knowledge-based synthesis of distributed systems using event structures
-
Logic for Programming, Artificial Intelligence and Reasoning: 11th International Conference, LPAR 2004, Springer-Verlag
-
Mark Bickford, Robert Constable, Joseph Halpern, and Sabina Petride. Knowledge-based synthesis of distributed systems using event structures. In Logic for Programming, Artificial Intelligence and Reasoning: 11th International Conference, LPAR 2004, volume 3452 of Lecture Notes in Computer Science LNCS, pages 449-465. Springer-Verlag, 2005.
-
(2005)
Lecture Notes in Computer Science LNCS
, vol.3452
, pp. 449-465
-
-
Bickford, M.1
Constable, R.2
Halpern, J.3
Petride, S.4
-
8
-
-
0001922492
-
Metamathematical investigations of a calculus of constructions
-
Therry Coquand. Metamathematical Investigations of a Calculus of Constructions. In Logic and Computer Science, pages 91 - 122, 1990.
-
(1990)
Logic and Computer Science
, pp. 91-122
-
-
Coquand, T.1
-
9
-
-
84947980041
-
Infinite objects in type theory
-
H. Barendregt and T. Nipkow, editors, The First International Workshop on Types for Proofs and Programs, TYPES'93, Nijmegen, The Netherlands, 24-28 May 1993, Selected papers, Springer
-
Thierry Coquand. Infinite objects in type theory. In H. Barendregt and T. Nipkow, editors, The First International Workshop on Types for Proofs and Programs, TYPES'93, Nijmegen, The Netherlands, 24-28 May 1993, Selected papers, volume 806 of LNCS, pages 62-78. Springer, 1994.
-
(1994)
LNCS
, vol.806
, pp. 62-78
-
-
Coquand, T.1
-
11
-
-
14744304028
-
Foundations for mda-based forward engineering
-
January-February
-
Liliana Favre. Foundations for mda-based forward engineering. Journal of Object Technology, 4(1):129-153, January-February 2005.
-
(2005)
Journal of Object Technology
, vol.4
, Issue.1
, pp. 129-153
-
-
Favre, L.1
-
12
-
-
0003347217
-
Introducing OBJ3
-
Kluwer Academic Publishers
-
Joseph Goguen, Timothy Winkler, Jose Meseguer, Kokichi Futatsugi, and Jean-Pierre Jouannaud. Introducing OBJ3. In Software Engineering with OBJ: Algebraic Specification in Action. Kluwer Academic Publishers, 2000.
-
(2000)
Software Engineering with OBJ: Algebraic Specification in Action
-
-
Goguen, J.1
Winkler, T.2
Meseguer, J.3
Futatsugi, K.4
Jouannaud, J.-P.5
-
13
-
-
0006904501
-
-
Foundations of Computing. MIT Press, Electronic edition (Accessed May 2003)
-
Susumu Hayashi and Hiroshi Nakano. PX, a Computational Logic. Foundations of Computing. MIT Press, 1988. Electronic edition available at http://www.shayashi.jp/PXbook.html (Accessed May 2003).
-
(1988)
PX, A Computational Logic
-
-
Hayashi, S.1
Nakano, H.2
-
14
-
-
0002386430
-
The formulae-as-types notion of construction
-
Academic Press, London, New York
-
William A. Howard. The formulae-as-types notion of construction. In To H. B. Curry : Essays on Combinatory logic, Lambda calculus, and Formalism, pages 479-490. Academic Press, London, New York, 1980.
-
(1980)
To H. B. Curry : Essays on Combinatory Logic, Lambda Calculus, and Formalism
, pp. 479-490
-
-
Howard, W.A.1
-
15
-
-
84945313759
-
Java program verification via a hoare logic with abrupt termination
-
Fundamental Approaches to Software Engineering, FASE 2000, Springer-Verlag
-
Marieke Huisman and Bart Jacobs. Java program verification via a hoare logic with abrupt termination. In Fundamental Approaches to Software Engineering, FASE 2000, volume 1783 of Lecture Notes in Computer Science LNCS, pages 284-303. Springer-Verlag, 2000.
-
(2000)
Lecture Notes in Computer Science LNCS
, vol.1783
, pp. 284-303
-
-
Huisman, M.1
Jacobs, B.2
-
16
-
-
84974286194
-
Program specification and data refinement in type theory
-
Zhaohui Luo. Program specification and data refinement in type theory. Mathematical Structures in Computer Science, 3(3), 1993.
-
(1993)
Mathematical Structures in Computer Science
, vol.3
, Issue.3
-
-
Luo, Z.1
-
20
-
-
0029251055
-
Formal verification for fault-tolerant architecture: Prolegomena to the design of pvs
-
Sam Owre, John Rushby, Natarajan Shankar, and Friedrich von Henke. Formal verification for fault-tolerant architecture: Prolegomena to the design of pvs. IEEE Transactions on Software Engineering, 21(2):107-125, 1995.
-
(1995)
IEEE Transactions on Software Engineering
, vol.21
, Issue.2
, pp. 107-125
-
-
Owre, S.1
Rushby, J.2
Shankar, N.3
Von Henke, F.4
-
21
-
-
85025498724
-
Synthesis of ML programs in the system Coq
-
Christine Paulin-Mohring and Benjamin Werner. Synthesis of ML programs in the system Coq. Journal of Symbolic Computation, 15(5/6):607-640, 1993.
-
(1993)
Journal of Symbolic Computation
, vol.15
, Issue.5-6
, pp. 607-640
-
-
Paulin-Mohring, C.1
Werner, B.2
-
23
-
-
84878646424
-
Subtyping and inheritance for categorical datatypes
-
RIMS Lecture Notes 1023, Kyoto University Research Insitute for Mathematical Sciences
-
Erik Poll. Subtyping and Inheritance for Categorical Datatypes. In Theories of Types and Proofs (TTP) - Kyoto, RIMS Lecture Notes 1023, pages 112-125. Kyoto University Research Insitute for Mathematical Sciences, 1998.
-
(1998)
Theories of Types and Proofs (TTP) - Kyoto
, pp. 112-125
-
-
Poll, E.1
-
24
-
-
2942704661
-
The theory of classification, part 3: Object encodings and recursion
-
September-October
-
Anthony J.H. Simons. The theory of classification, part 3: Object encodings and recursion. Journal of Object Technology, 14):49-57, September-October 2002.
-
(2002)
Journal of Object Technology
, vol.1
, Issue.4
, pp. 49-57
-
-
Simons, A.J.H.1
-
25
-
-
84956859761
-
Coq and hardware verification: A case study
-
International Conference on Theorem Proving in Higher Order Logics, TPHOLs'96, Springer-Verlag
-
Coupet-Grimal Solange and Jakubiec Line. Coq and hardware verification: A case study. In International Conference on Theorem Proving in Higher Order Logics, TPHOLs'96, volume 1125 of Lecture Notes in Computer Science LNCS, pages 26-30. Springer-Verlag, 1996.
-
(1996)
Lecture Notes in Computer Science LNCS
, vol.1125
, pp. 26-30
-
-
Solange, C.-G.1
Line, J.2
|