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
Extensible programming with first-class cases
2006
SIGPLAN notices
Preserved Fulltext
We present language mechanisms for polymorphic, extensible records and their exact dual, polymorphic sums with extensible first-class cases. ...
The first phase eliminates sums and cases by taking advantage of the duality with records. ...
This duality motivates making cases first-class values as opposed to mere syntactic form. 1 With cases being first-class and extensible, one can use the usual mechanisms of functional abstraction in ...
doi:10.1145/1160074.1159836
fatcat:nxza4vp2p5c4ja5q3rfjqogakm
Extensible programming with first-class cases
2006
Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming - ICFP '06
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.
We present language mechanisms for polymorphic, extensible records and their exact dual, polymorphic sums with extensible first-class cases. ...
The first phase eliminates sums and cases by taking advantage of the duality with records. ...
This duality motivates making cases first-class values as opposed to mere syntactic form. 1 With cases being first-class and extensible, one can use the usual mechanisms of functional abstraction in ...
doi:10.1145/1159803.1159836
dblp:conf/icfp/BlumeAC06
fatcat:mm43vfniz5eovgew2ghil5q4ka
Modular generic programming with extensible superclasses
2006
Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming - WGP '06
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.
We formalize type classes with extensible superclasses as the combination of a previously introduced typepassing translation scheme and a general type class framework. ...
Our results shed some new light on the use of type classes to support generic programming. ...
In this paper, we take a fresh look at generic programming with type classes. ...
doi:10.1145/1159861.1159869
dblp:conf/icfp/SulzmannW06
fatcat:4p6vskfi4rfzhhji6rrgfvd4fa
Metamodel Reuse with MOF
[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 2009; you can also visit the original URL.
The file type is application/pdf.
In such cases, the package resulting from combining Q with P is not a valid MOF 2.0 metamodel since it includes two meta-associations with the same name A that links the same meta-class C to two distinct ...
The first that they call "merge", but that is distinct from the merge of MOF, addresses the case of the same meta-class occurring in the two packages to assemble. ...
doi:10.1007/11557432_49
fatcat:35vjhphx5rdibjhrzwdxqewfsa
Extending a marking tool with simple support for testing
2007
ACM SIGCSE Bulletin
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.
Based on simple test cases description formats, Oto also includes operations that help students easily test-even "mark"-their own programs. ...
Oto is a customizable and extensible marking tool which aims at providing timely feedback to students. ...
INTRODUCTION Various tools providing support for marking programs are available [2] , including Oto [4] , a customizable and extensible marking tool which can provide feedback to students even before ...
doi:10.1145/1269900.1268879
fatcat:mn7jg56hhbexrp5ppmopz2gnkq
Scoped Extension Methods in Dynamically-Typed Languages
2017
The Art, Science, and Engineering of 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 2018; you can also visit the original URL.
The file type is application/pdf.
Other Versions
Thanks to extension methods, developers can adapt to their needs classes they do not own: adding methods to core classes is a typical use case. ...
Because any developer can define extension methods for any class, naming conflicts occur: if two developers define an extension method with the same signature in the same class, only one extension method ...
The first kind of conflict arises when two packages each define an extension method with the same signature in the same class. In this case, one extension method replaces the other. ...
doi:10.22152/programming-journal.org/2018/2/1
fatcat:xhxsirxeqreodgidmgnt45dzkq
Feature-oriented programming with Ruby
2009
Proceedings of the First International Workshop on Feature-Oriented Software Development - FOSD '09
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.
This paper introduces rbFeatures, an implementation of first-class features in the dynamic programming language Ruby. ...
Our approach is to design features as first-class entities of a language. ...
We implemented features as first-class entities with the static programming language Java as the host language called FeatureJ 1 [22] . ...
doi:10.1145/1629716.1629721
dblp:conf/models/GuntherS09
fatcat:2wxai2ryqbgl7bjlol4pcc7nna
Extending a marking tool with simple support for testing
2007
Proceedings of the 12th annual SIGCSE conference on Innovation and technology in computer science education - ITiCSE '07
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.
Based on simple test cases description formats, Oto also includes operations that help students easily test-even "mark"-their own programs. ...
Oto is a customizable and extensible marking tool which aims at providing timely feedback to students. ...
INTRODUCTION Various tools providing support for marking programs are available [2] , including Oto [4] , a customizable and extensible marking tool which can provide feedback to students even before ...
doi:10.1145/1268784.1268879
dblp:conf/iticse/TremblayLS07
fatcat:rtonxwofjbhufhl7kanhz767qa
Java interfaces in CS 1 textbooks
2006
Companion to the 21st ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications - OOPSLA '06
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.
Java's interface construct allows for a clear distinction between subtype polymorphism based on a shared interface and code reuse based on class extension or inheritance. ...
Design Patterns argues that in an object-oriented setting, programming should be done to an interface, not to an implementation, that class inheritance is a mechanism for code reuse rather than for subtyping ...
Introduction The Java programming language has two features supporting subtype polymorphism: class extension and interface 1 implementation. ...
doi:10.1145/1176617.1176738
dblp:conf/oopsla/VanDrunen06
fatcat:c3w3wdnf6zgrvecygkbaukcgxa
Scala for generic programmers
2008
Proceedings of the ACM SIGPLAN workshop on Generic programming - WGP '08
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 2020; you can also visit the original URL.
The file type is application/pdf.
your Boilerplate with Class', and Gibbons's 'Origami Programming'. ...
Common Haskell techniques for datatype-generic programming can be conveniently replicated in Scala, whereas the extra expressivity provides some important additional benefits in terms of extensibility ...
Some of the work was conducted while the first author was at Oxford University Computing Laboratory. ...
doi:10.1145/1411318.1411323
dblp:conf/icfp/OliveiraG08
fatcat:zu5cic2mzfhyfpmjcn3msbwwze
FeatureC++: On the Symbiosis of Feature-Oriented and Aspect-Oriented Programming
[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 2007; you can also visit the original URL.
The file type is application/pdf.
Finally, we present a case study to clarify the benefits of FeatureC++ and its AOP extensions. ...
This paper presents FeatureC++, a novel language extension to C++ that supports Feature-Oriented Programming (FOP) and Aspect-Oriented Programming (AOP). ...
Acknowledgments We would like to thank Don Batory and Erik Buchmann, as well as the program committee for comments on drafts of this paper. ...
doi:10.1007/11561347_10
fatcat:6xcfzmdhqzauhcxwyv7m4vwzs4
Evaluating Support for Features in Advanced Modularization Technologies
[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 2006; you can also visit the original URL.
The file type is application/pdf.
It has been widely studied within the context of programming language design, where the focus is achieving data type and operation extensibility in a type-safe manner. ...
Modularizing features is difficult, as feature-specific code often cuts across class boundaries. ...
We thank Sean McDirmid and Bin Xin for their help with Jiazzi, and Martin Odersky for his help with Scala. ...
doi:10.1007/11531142_8
fatcat:e6p74ubxczdclfg5iqscs6hmz4
Comparing libraries for generic programming in haskell
2009
SIGPLAN notices
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.
There are more than 10 proposals for generic programming libraries or language extensions for Haskell. ...
testing various facets of datatype-generic programming. ...
This research has been partially funded by the Netherlands Organisation for Scientific Research (NWO), via the Real-life Datatype-Generic programming project, project nr. 612.063.613. ...
doi:10.1145/1543134.1411301
fatcat:2vz7c6glqzginhvst6ho4aahrq
Good advice for type-directed programming aspect-oriented programming and extensible generic functions
2006
Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming - WGP '06
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 2009; you can also visit the original URL.
The file type is application/pdf.
first-class functions. ...
Type-directed programming is the basis for recent research into "scrapping" tedious boilerplate code that arises in functional programming with algebraic data types. ...
Acknowledgments This project is supported by NSF grant 0347289, CAREER: Type-Directed Programming in Object-Oriented Languages. ...
doi:10.1145/1159861.1159867
dblp:conf/icfp/WashburnW06
fatcat:ucv7oc4hazfypcthnscoewh3y4
Adaptive Extensions of Object-Oriented Systems
[chapter]
2003
IFIP Advances in Information and Communication Technology
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 basic idea is using adaptive programming (AP) , so that new functionality can be described with the help of paths in the class structure and source code transformations. ...
In this paper a method is described that simplifies implementing extensions of the above kind. ...
The first one is DemeterJ [9] . Translatable Java programs are generated from a specification of a class diagram and several propagation patterns. ...
doi:10.1007/978-0-387-35672-3_9
fatcat:ogzzn3lonjfsda4y3gwntsqtxu
« Previous
Showing results 1 — 15 out of 1,104,349 results