See this document in CiteSeerX!

A Reflective Framework for Formal Interoperability (1998)  (Make Corrections)  
Proposal Arpa/Ito Baa 98-10 Framework For Interoperable Representations...



  Home/Search   Context   Related

 
View or download:
stanford.edu/clt/ArpaFormal/white.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  stanford.edu/clt/InterOp/index (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: ted to achieve dramatic advances in software technology and formal methods: ffl A general methodology for defining inter-language translations, where the languages can be architectural description languages (ADLs), formal specification languages, or programming languages, and where the mappings may move across these different categories of languages. ffl A formal language translation meta-tool that, given formal specifications for two languages and their mapping will generate an executable... (Update)

Similar documents (at the sentence level):
6.2%:   Formal Interoperability - Meseguer (1998)   (Correct)
5.1%:   Reflection in Rewriting Logic and its Applications in the.. - Clavel, Meseguer (1997)   (Correct)

Active bibliography (related documents):   More   All
2.9:   Semantic Foundations for Composition and Interoperation of.. - McCarthy, Talcott (1996)   (Correct)
2.3:   Theory and Practice of Action Semantics - Mosses (1996)   (Correct)
2.2:   Mathematical and Engineering Foundations for.. - McCarthy.. (1998)   (Correct)

Similar documents based on text:   More   All
0.0:   The Distributed Interoperable Object Model and Its Application to .. - Liu, Pu (1995)   (Correct)
0.0:   Employing Contextual Information in Computer Vision - Strat (1993)   (Correct)
0.0:   Integrating IU Algorithms into the RADIUS HUB - Thomas Strat   (Correct)

BibTeX entry:   (Update)

@misc{ sri-reflective,
  author = "Sri",
  title = "A Reflective Framework for Formal Interoperability",
  url = "citeseer.ist.psu.edu/sri98reflective.html" }
Citations (may not include all citations):
673   Actors: A Model of Concurrent Computation in Distributed Sys.. (context) - Agha - 1986
434   A framework for defining logics - Harper, Honsell et al. - 1993
392   A Computational Logic (context) - Boyer, Moore - 1979
334   A Computational Logic Handbook (context) - Boyer, Moore - 1988
299   Conditional rewriting logic as a unified model of concurrenc.. (context) - Meseguer - 1992
291   Computational lambda-calculus and monads - Moggi - 1989
236   Intuitionistic Type Theory (context) - Martin-Lof - 1984
234   Institutions: Abstract model theory for specification and pr.. (context) - Goguen, Burstall - 1992
200   Viewing control structures as patterns of passing messages (context) - Hewitt - 1977
179   The Godel Programming Language (context) - Hill, Lloyd - 1994
170   Security policies and security models (context) - Goguen, Meseguer - 1982
161   Fundamentals of Algebraic Specification (context) - Ehrig, Mahr - 1985
159   Language Reference Manual (context) - Char, Geddes et al. - 1992
137   The Art of the Metaobject Protocol (context) - Kiczales, Rivieres et al. - 1991
131   Concurrent object-oriented programming (context) - Agha - 1990
127   General logics (context) - Meseguer - 1989
126   A logical theory of concurrent objects and its realization i.. (context) - Meseguer - 1993
120   Monad transformers and modular interpreters - Liang, Hudak et al. - 1995
107   A foundation for actor computation - Agha, Mason et al. - 1997
106   Principles of Maude - Clavel, Eker et al. - 1996
97   Integrating decision procedures into heuristic theorem prove.. - Boyer, Moore - 1988
97   Information and Computation (context) - Meseguer, Montanari et al. - 1990
97   Integrating decision procedures into heuristic theorem prove.. - Boyer, Moore - 1985
77   Unwinding and inference control (context) - Goguen, Meseguer - 1984
76   Modularity meets inheritance - Bracha, Lindstrom - 1992
75   Using typed lambda calculus to implement formal systems on a.. - Avron, Honsell et al. - 1992
73   Denotational semantics (context) - Mosses - 1990
71   Metafunctions: proving them correct and using them efficient.. (context) - Boyer, Moore - 1981
65   Equivalence in functional languages with effects - Mason, Talcott - 1991
64   Rewriting logic as a logical and semantic framework - Mart'i-Oliet, Meseguer - 1993
64   Rewriting logic as a logical and semantic framework - Mart'i-Oliet, Meseguer - 1996
60   Towards a theory of actor computation (context) - Agha, Mason et al. - 1992
53   Unified algebras and institutions (context) - Mosses - 1989
52   Solving the inheritance anomaly in concurrent object-oriente.. (context) - Meseguer - 1993
51   Specification and proof in membership equational logic - Bouhoula, Jouannaud et al. - 1997
48   and generic modules for logic programming (context) - Goguen, Meseguer et al. - 1986
45   Axiomatizing reflective logics and languages - Clavel, Meseguer - 1996
45   Axiomatizing reflective logics and languages - Clavel, Meseguer - 1996
45   Jean-Pierre Jouannaud (context) - Futatsugi, Goguen - 1985
43   Theorems and Algorithms: an Interface between Isabelle and M.. - Ballarin, Homann et al. - 1995
41   Reasoning theories: Towards an architecture for open mechani.. - Giunchiglia, Pecchiari et al. - 1996
41   Reasoning theories: Towards an architecture for open mechani.. - Giunchiglia, Pecchiari et al. - 1994
41   Models and equality for logical programming (context) - Goguen, Meseguer - 1987
41   Axiomatizing the algebra of net computations and processes (context) - Degano, Meseguer et al. - 1990
41   Reasoning theories: Towards an architecture for open mechani.. - Giunchiglia, Pecchiari et al. - 1996
38   Metalogical frameworks - Basin, Constable - 1993
38   From Petri nets to linear logic through categories: a survey (context) - Mart'i-Oliet, Meseguer - 1991
38   Structuring theories on consequence (context) - Fiadeiro, Sernadas - 1988
35   General logics and logical frameworks (context) - Mart'i-Oliet, Meseguer - 1994
35   Characterization of computable data types by means of a fini.. (context) - Bergstra, Tucker - 1980
31   Theory and practice of action semantics - Mosses - 1996
30   Compiling away the meta-level in object-oriented concurrent .. - Masuhara, Matsuoka et al. - 1995
29   A Variable Typed Logic of Effects - Honsell, Mason et al. - 1995
29   Inferring the equivalence of functional programs that mutate.. - Mason, Talcott - 1992
29   Finitary inductively presented logics - Feferman - 1989
28   First-order theorem proving using conditional rewrite rules (context) - Kapur, Zhang - 1988
28   Semantic foundations for embedding HOL in Nuprl - Howe - 1996
28   Encoding a dependent-type -calculus in a logic programming l.. (context) - Felty, Miller - 1990
28   Number 26 in Cambridge Tracts in Theoretical Computer Scienc.. (context) - Mosses - 1992
24   Interconnecting formalisms: supporting modularity (context) - Fiadeiro, Maibaum - 1995
21   Columbia University (context) - Espinosa, PhD - 1995
21   on and C. L. Talcott. Programming, transforming, and proving.. (context) - Mas - 1989
21   Membership algebra as a semantic framework for equational sp.. (context) - Meseguer - 1998
21   Extending the HOL Theorem Prover with a Computer Algebra Sys.. - Harrison, Th'ery
21   Metatheory and reflection in theorem proving: a survey and c.. - Harrison - 1995
20   School of Computer Science (context) - Filinski, PhD - 1996
20   Process versus unfolding semantics for Place/Transition Petr.. - Meseguer, Montanari et al. - 1996
20   Technical Report ECS-LFCS (context) - Harper, MacQueen et al. - 1986
19   Representing Logics in Type Theory (context) - Gardner - 1992
19   and programming of concurrent systems in rewriting logic (context) - Lincoln, Mart'i-Oliet et al. - 1994
19   the semantics of Petri nets - Meseguer, Montanari et al. - 1992
17   Applications of Algebraic Specification Using OBJ (context) - Goguen, Winkler et al. - 1996
16   Relationships between logical frameworks - Astesiano, Cerioli - 1993
16   Experience with FS 0 as a framework theory - Matthews, Smaill et al. - 1993
16   Multiparadigm logic programming (context) - Meseguer - 1992
15   Unified algebras and action semantics (context) - Mosses - 1989
15   Order-sorted unification (context) - Meseguer, Goguen et al. - 1989
15   Generalising interpretations between theories in the context (context) - Fiadeiro, Maibaum - 1993
14   A semantically sound actor translation (context) - Mason, Talcott - 1997
14   A logical semantics for object-oriented databases - Meseguer, Qian - 1993
13   Order-sorted algebra solves the constructor-selector (context) - Meseguer, Goguen - 1993
13   Reasoning about object systems in vtloe - Mason, Talcott - 1995
13   A constructive approach to compiler correctness (context) - Mosses - 1980
12   Objectoriented concurrent reflective architectures (context) - Matsuoka, Watanabe et al. - 1992
12   May I borrow your logic - Cerioli, Meseguer - 1993
12   Higher Order Logic Theorem Proving and its Applications (context) - Claesen, Gordon - 1993
12   A basic abstract semantic algebra (context) - Mosses - 1984
12   ene Kirchner, and Jos (context) - Kirchner - 1988
11   Reflection in general logics (context) - Clavel - 1997
11   From Petri nets to linear logic (context) - Mart'i-Oliet, Meseguer - 1991
10   object-oriented and relational programming with logical sema.. (context) - Goguen, Meseguer - 1987
10   Elimination des Coupures dans l'Arithm'etique d'ordre Sup'er.. (context) - Girard, et - 1972
9   Journal of the Association for Computing Machinery (context) - Bergstra, Heering et al. - 1990
9   Unified algebras and modules (context) - Mosses - 1989
9   Reflecting the semantics of reflected proof (context) - Howe - 1990
9   Programming with parameterized abstract objects in OBJ (context) - Goguen, Meseguer et al. - 1983
9   A system for multi-level reasoning (context) - Giunchiglia, Traverso et al. - 1992
9   Verification of programs that destructively manipulate data (context) - Mason - 1988
9   Also available as CSLI Lecture Notes No (context) - Mason, of et al. - 1986
8   Compiler generation using denotational semantics (context) - Mosses - 1976
8   Reflection in rewriting logic (context) - Clavel, Meseguer - 1996
8   A practical introduction to denotational semantics (context) - Mosses - 1991
8   an application of action semantics (context) - Hansen, Toft et al. - 1994
8   Computational Logic Inc (context) - Kaufmann, Moore et al. - 1994
8   Reasoning theories and rewriting logic (context) - Meseguer, Talcott
8   A modular approach to denotational semantics (context) - Moggi - 1991
7   An integrated development environment for formal specificati.. - Laux, Bourdeau et al. - 1993
7   rewrite rule laboratory (context) - Kapur, Zhang et al. - 1989
7   Compiling rewriting onto SIMD and MIMD/SIMD machines - Lincoln, Mart'i-Oliet et al. - 1994
7   Technical Report DAIMI PB (context) - Mayoh, institutions - 1985
7   Reflection in logical systems (context) - Matthews - 1992
6   A formal semantics of object models (context) - Bourdeau, Cheng - 1995
6   the model of computation of Place/Transition Petri nets - Meseguer, Montanari et al. - 1994
6   Inclusions and subtypes I: First order case (context) - Mart'i-Oliet, Meseguer
6   Relating Models of Polymorphism (context) - Meseguer - 1989
6   A theory of classes for a functional language with effects - Honsell, Mason et al. - 1993
5   The mathematical semantics of Algol (context) - Mosses - 1974
5   New concepts of amalgamation and extension of a general theo.. (context) - Ehrig, Baldamus et al. - 1993
5   An object-oriented toolkit for constructing specification ed.. - Bourdeau, Cheng - 1992
4   Structure theory presentations and logic representations (context) - Harper, Sannella et al. - 1994
4   Design and implementation of the cafe prover and church-ross.. (context) - Calvel, Dur'an et al. - 1997
4   Semantic interoperation of dynamic heterogeneous architectur.. (context) - Meseguer, Talcott - 1997
4   A graphical environment for formally developing object-orien.. (context) - Cheng, Wang et al. - 1994
4   Bridging the gap between the informal and formal approaches .. (context) - Cheng, Wang et al. - 1995
4   Inclusions and subtypes II: Higher-order case (context) - Mart'i-Oliet, Meseguer
4   Action and change in rewriting logic - Mart'i-Oliet, Meseguer - 1996
3   Parameterized programming and its application to rapid proto.. (context) - Futatsugi, Goguen et al. - 1989
3   A logic level specification of the nqthm simplification proc.. - Coglio, Giunchiglia et al. - 1997
3   Semantics Implementation System: Reference manual and user g.. (context) - Mosses - 1979
2   The Stanford Temporal Prover. Technical Report STAN-CSTR -94.. (context) - Manna - 1994
2   An algebraic axiomatization of linear logic models (context) - Mart'i-Oliet, Meseguer - 1991
2   Mathematical Structures in Computer Science (context) - Casley, Crew et al. - 1991
2   CoFI: Initiative for a Common Framework for Algebraic Specif.. (context) - Mosses - 1996
2   Metalogical frameworks II: Using reflected decision procedur.. (context) - Constable - 1993
2   A semantic algebra for binding constructs (context) - Mosses - 1981
2   Towards a proof-theoretic foundation for actor specification.. (context) - Duarte - 1996
2   Reasoning-conscious meta-object design of a reflective concu.. - Masuhara, Yonezawa - 1997
1   number NS-94-1 in BRICS Notes Series (context) - Mosses, Proc et al. - 1994
1   functional and objectoriented programming: a short comparati.. (context) - Demers, Malenfant et al. - 1995
1   Available as IT-TR (context) - Frost, PhD et al. - 1996

Documents on the same site (http://www-formal.stanford.edu/clt/InterOp/index.html):
Semantic Foundations for Composition and Interoperation of.. - McCarthy, Talcott (1996)   (Correct)
Mathematical and Engineering Foundations for.. - McCarthy.. (1998)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC