Filters








1,104,349 Hits in 4.7 sec

Extensible programming with first-class cases

Matthias Blume, Umut A. Acar, Wonseok Chae
2006 SIGPLAN notices  
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

Matthias Blume, Umut A. Acar, Wonseok Chae
2006 Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming - ICFP '06  
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

Martin Sulzmann, Meng Wang
2006 Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming - WGP '06  
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]

Xavier Blanc, Franklin Ramalho, Jacques Robin
2005 Lecture Notes in Computer Science  
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

Guy Tremblay, Louise Laforest, Aziz Salah
2007 ACM SIGCSE Bulletin  
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

Guillermo Polito, Camille Teruel, Stéphane Ducasse, Luc Fabresse
2017 The Art, Science, and Engineering of Programming  
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

Sebastian Günther, Sagar Sunkle
2009 Proceedings of the First International Workshop on Feature-Oriented Software Development - FOSD '09  
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

Guy Tremblay, Louise Laforest, Aziz Salah
2007 Proceedings of the 12th annual SIGCSE conference on Innovation and technology in computer science education - ITiCSE '07  
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

Thomas VanDrunen
2006 Companion to the 21st ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications - OOPSLA '06  
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

Bruno C.d.S. Oliveira, Jeremy Gibbons
2008 Proceedings of the ACM SIGPLAN workshop on Generic programming - WGP '08  
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]

Sven Apel, Thomas Leich, Marko Rosenmüller, Gunter Saake
2005 Lecture Notes in Computer Science  
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]

Roberto E. Lopez-Herrejon, Don Batory, William Cook
2005 Lecture Notes in Computer Science  
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

Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira
2009 SIGPLAN notices  
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

Geoffrey Washburn, Stephanie Weirich
2006 Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming - WGP '06  
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]

Olaf Seng, Thomas Genssler, Benedikt Schulz
2003 IFIP Advances in Information and Communication Technology  
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