The meta-object facility typed

Proceedings of the ACM Symposium on Applied Computing

Volumn 2, Issue , 2006, Pages 1845-1849

  Poernomo, Iman ^a  

^a KING'S COLLEGE LONDON   (United Kingdom)

Author keywords

Constructive type theory; Model driven architecture

Indexed keywords

COMPUTER SCIENCE; COMPUTER SIMULATION; METADATA;

CONSTRUCTIVE TYPE THEORY; METAMODELLING; METAMODELS; MODEL DRIVEN ARCHITECTURE;

COMPUTER PROGRAMMING LANGUAGES;

EID: 33751040876     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1141277.1141710     Document Type: Conference Paper

References (13)

1. David H. Akehurst, Stuart Kent, and Octavian Patrascoiu. A relational approach to denning and implementing transformations between metamodels. Software and System Modeling, 2(4):215-239, 2003.
2. Roberto M. Amadio and Luca Cardelli. Subtyping recursive types. ACM Transactions on Programming Languages and Systems, 15(4):575-631, 1993.
3. Robert Constable, N. Mendler, and D. Howe. Implementing Mathematics with the Nuprl Proof Development System. Englewood Cliffs, NJ: Prentice-Hall, 1986.
4. Therry Coquand. Metamathematical Investigations of a Calculus of Constructions. In Logic and Computer Science, pages 91 - 122, 1990.
5. Liliana Favre. Foundations for mda-based forward engineering. Journal of Object Technology, 4(1):129-153, January-February 2005.
6. Zhaohui Luo. Program specification and data refinement in type theory. Mathematical Structures in Computer Science, 3(3), 1993.
7. Per Martin-Löf. Intuitionistic Type Theory. Bibliopolis, 1984.
8. Jishnu Mukerji and Joaquin Miller. MDA Guide Version 1.0.1. Object Management Group, 2003.
9. OMG. Meta Object Facility (MOF) Specification. Object Management Group, 2000.
10. Iman Poernomo. A type theoretic framework for formal metamodelling. In Architecting Systems from Trustworthy Components, LNCS. Springer, 2006.
11. Iman Poernomo, John Crossley, and Martin Wirsing. Adapting Proofs-as-Programs: The Curry-Howard Protocol. Monographs in computer science. Springer, 2005.
12. 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.
13. Anthony J.H. Simons. The theory of classification. part 3: Object encodings and recursion. Journal of Object Technology, 1(4):49-57, September-October 2002.