A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
A meta-language for typed object-oriented languages
[chapter]
1993
Lecture Notes in Computer Science
Preserved Fulltext
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
1995
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2005
Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '05
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2004
Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications - OOPSLA '04
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
1998
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2006
Science of Computer Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2017
Computer and Information Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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)
2011
Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion - SPLASH '11
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
1998
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
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]
2004
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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)
2012
Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity - SPLASH '12
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2000
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2006
L objet
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
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
2004
Computer languages, systems & structures
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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