Filters








113,220 Hits in 4.4 sec

A meta-language for typed object-oriented languages [chapter]

Giuseppe Castagna
1993 Lecture Notes in Computer Science  
Indeed, to develop a formal study of type systems for object-oriented languages we define a meta-language based on λ& and we show, by a practical example, how it can be used it to prove properties of a  ...  To this purpose, we define a toy object-oriented language and its type-checking algorithm; then we translate this toy language into our meta-language.  ...  I am especially grateful to Allyn Dimock, Maribel Fernández and Benjamin Pierce for their precise as well as useful comments on an early version of this paper.  ... 
doi:10.1007/3-540-57529-4_43 fatcat:3hdz3btxzrgstpecz2otnbxhsu

A meta-language for typed object-oriented languages

Giuseppe Castagna
1995 Theoretical Computer Science  
Indeed, to develop a formal study of type systems for object-oriented languages we define a meta-language based on λ& and we show, by a practical example, how it can be used it to prove properties of a  ...  To this purpose, we define a toy object-oriented language and its type-checking algorithm; then we translate this toy language into our meta-language.  ...  I am especially grateful to Allyn Dimock, Maribel Fernández and Benjamin Pierce for their precise as well as useful comments on an early version of this paper.  ... 
doi:10.1016/0304-3975(95)00071-4 fatcat:qdwci3rgnjb5rewfisrdfmkiz4

Weaving Executability into Object-Oriented Meta-languages [chapter]

Pierre-Alain Muller, Franck Fleurey, Jean-Marc Jézéquel
2005 Lecture Notes in Computer Science  
Nowadays, object-oriented meta-languages such as MOF (Meta-Object Facility) are increasingly used to specify domain-specific languages in the model-driven engineering community.  ...  We present requirements for such statically-typed meta-languages and rationales for the aforementioned benefits.  ...  We have presented the benefits of defining the operational semantics of metamodels (using a statically-typed meta-language) for testing and simulation purposes.  ... 
doi:10.1007/11557432_19 fatcat:boh3oofy2zhhvm7u5bm7agxhe4

Meta

Wade Holst
2005 Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '05  
Meta: a collection of meta-languages that augment/unify language-families, an advanced programming environment, a language interoperability framework, an infrastructure for reflection over source documents  ...  XML provides an extensible mechanism for defining syntax, while Meta provides an extensible mechanism for defining syntax and semantics.  ...  For example, Meta(Oopl) is a Meta-language for object-oriented programming languages like C++, Java and Perl, while Meta(Doc) is a Meta-language for typesetting languages like LaTex, HTML, etc.  ... 
doi:10.1145/1094855.1094893 dblp:conf/oopsla/Holst05 fatcat:wpk2g3l2zrgmpgiw4wdnf2nwaa

Meta

Wade Holst
2004 Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications - OOPSLA '04  
Meta is an ambitious research project whose overall purpose is to increase the utility and expressive power of a wide range of existing languages.  ...  Meta provides augmented versions of existing languages and guarantees support for aspects, components, language interoperability, visualization, reflection, various inheritance models, and many other extensions  ...  This support consists of a collection of mandates: ensuring support for a standard set of object-oriented features, support for aspect-oriented and component-oriented programming, support for multi-method  ... 
doi:10.1145/1028664.1028744 dblp:conf/oopsla/Holst04 fatcat:jzllu6r7avamjlttgugpj66vn4

CoffeeStrainer - Statically Checking Structural Constraints on Java Programs [chapter]

Boris Bokowski
1998 Lecture Notes in Computer Science  
In this paper, we describe a meta-programming framework for Java which allows for static checking of structural constraints.  ...  Statically typed languages allow many errors to be detected at compile-time. However, many errors that could be detected statically cannot be expressed using today's type systems.  ...  object-oriented programming language.  ... 
doi:10.1007/3-540-49255-0_111 fatcat:anwayy5bo5cgpbkbdhhyrkcldi

Experiences with an object-oriented, multi-stage language

Gregory Neverov, Paul Roe
2006 Science of Computer Programming  
Metaphor is a multi-stage programming language extension to an imperative, object-oriented language in the style of C# or Java.  ...  This paper discusses some issues we faced when applying multi-stage language design concepts to an imperative base language and run-time environment.  ...  We would also like to thank Walid Taha for his encouragement and helpful advice over the review process.  ... 
doi:10.1016/j.scico.2006.05.002 fatcat:svqrv2o25zhx3nmiiuabeyj32i

Type Safe Metadata Combining

Mikus Vanags, Rudite Cevere
2017 Computer and Information Science  
Problem can be solved by introducing syntax and methods for type safe metadata combining so that, metadata could be processed at compile time in a fully type safe way.  ...  Combining of metadata means a class member metadata combining with data, type metadata and constraints.  ...  The example of selector usage is following: In static object oriented languages, the selector can be described as one of 2 options: a) When working with types specified in type-constraints, but from database  ... 
doi:10.5539/cis.v10n2p97 fatcat:mn3zoa4565hlnpho3alc6fqz4e

2011 international workshop on foundations of object-oriented languages (fool'11)

Jonathan Aldrich, Jeremy Siek, Elena Zucca
2011 Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion - SPLASH '11  
The search for sound principles for object-oriented languages has given rise to considerable research during the last few decades, leading to a better understanding of the key concepts of object-oriented  ...  The purpose of this workshop is to provide a forum for discussing new ideas in the foundations of object-oriented languages and provide feedback to authors.  ...  Furthermore, FOOL fills a need for a foundational language workshop at SPLASH.  ... 
doi:10.1145/2048147.2048228 dblp:conf/oopsla/AldrichSZ11 fatcat:3asy3gfugvfmpeg3hmxnokrak4

Building Object-Agents from a Software Meta-Architecture [chapter]

Analía Amandí, Ana Price
1998 Lecture Notes in Computer Science  
using a particular computational reflection form achieved by meta-objects.  ...  using a particular computational reflection form achieved by meta-objects.  ...  AGENTS AS OBJECTS An obvious way for designing different agent types in an object-oriented context is the usage of classes representing each type of agent.  ... 
doi:10.1007/10692710_3 fatcat:ivbr2r56jzbcfm4ackwzngb52a

Interfacing Haskell with Object-Oriented Languages [chapter]

André T. H. Pang, Manuel M. T. Chakravarty
2004 Lecture Notes in Computer Science  
Secondly, we sketch an approach to automating the generation of library bindings using compile-time meta-programming for object-oriented frameworks featuring reflection.  ...  The interfacing of object-oriented languages with functional languages, in general, and with Haskell, in particular, has received a considerable amount of attention.  ...  Moreover, we thank Roman Leshchinskiy for his helpful feedback on an earlier version of the paper.  ... 
doi:10.1007/978-3-540-27861-0_2 fatcat:lae4eh4af5d6fhzz2ggladbo2e

19th international workshop on foundations of object-oriented languages (FOOL'12)

Jeremy G. Siek, Jonathan Aldrich, John Tang Boyland
2012 Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity - SPLASH '12  
The search for sound principles for object-oriented languages has given rise to considerable research during the last few decades, leading to a better understanding of the key concepts of object-oriented  ...  The purpose of this workshop is to provide a forum for discussing new ideas in the foundations of object-oriented languages and provide feedback to authors.  ...  Furthermore, FOOL fills a need for a foundational language workshop at SPLASH.  ... 
doi:10.1145/2384716.2384785 dblp:conf/oopsla/SiekAB12 fatcat:pptdvtu7ybc55jhkrflqklbizi

Formal Specification of Object-Oriented Meta-modelling [chapter]

Gunnar Övergaard
2000 Lecture Notes in Computer Science  
The framework consists of a collection of modelling constructs specified with a small object-oriented language.  ...  The Boom framework, presented in this paper, is intended for this kind of meta-modelling.  ...  The framework consists of a formal specification language and a meta-model of object-oriented modelling languages.  ... 
doi:10.1007/3-540-46428-x_14 fatcat:3dawksdaqzbl5da4oiohm5sany

A Definition, Overview and Taxonomy of Generic Aspect Languages

Günter Kniesel, Tobias Rho
2006 L objet  
Aspect-orientation promises better modularity than pure object-oriented decomposition. A typical benefit of increased modularity is ease of maintenance, evolution and reuse.  ...  However, it has been noted by various researchers that many of the first generation aspect languages do not provide the degree of reusability initially hoped for.  ...  , logic meta-programming, program transformations, and predicate dispatch for object-oriented languages (Section 8).  ... 
doi:10.3166/objet.12.2-3.9-39 fatcat:gjeupmumzncwnnbavsb4dz3lpy

Language-independent detection of object-oriented design patterns

Johan Fabry, Tom Mens
2004 Computer languages, systems & structures  
This approach is validated by defining a set of logic queries to detect object-oriented best practice patterns and design patterns in two different languages: Smalltalk and Java.  ...  This paper shows that one can reason at a meta level about the structure of objectoriented source code in a language-independent way.  ...  Acknowledgments We thank Kim Mens for feedback during the early stages of writing this paper, the entire SOUL development team, Dirk Deridder for proofreading and Theo D'Hondt for supporting this research  ... 
doi:10.1016/j.cl.2003.09.002 fatcat:ydfmlbbmefg3dnnperclpd4itu
« Previous Showing results 1 — 15 out of 113,220 results