Filters








37,958 Hits in 3.8 sec

Fixing Design Inconsistencies of Polymorphic Methods using Swarm Intelligence

Renu George, Philip Samuel
2021 e-Informatica Software Engineering Journal  
Result: The method is evaluated on different software design models involving static and dynamic polymorphism and inconsistencies are detected and resolved.  ...  We propose an approach to detect and fix inconsistencies in polymorphic method invocations in sequence models.  ...  Inconsistencies in polymorphic method invocations cannot be identified by validating the method names as all polymorphic methods have the same name.  ... 
doi:10.37190/e-inf210101 fatcat:ubijl64qtjgenovot3yv3luuhm

Recursion versus iteration at higher-orders [chapter]

A. J. Kfoury
1997 Lecture Notes in Computer Science  
on call-by-name parameter-passing.  ...  We extend the well-known analysis of recursion-removal in rst-order program schemes to a higher-order language of nitely typed and polymorphically typed functional programs, the semantics of which is based  ...  In addition to the hierarchies fREC n g and fITER n g mentioned earlier, we de ne the class p-REC of polymorphically typed recursive programs and the class p-ITER of polymorphically typed iterative programs  ... 
doi:10.1007/bfb0058023 fatcat:zqmtxoiqp5h4xmkksfs3sqxrga

Generic Programming Redesign of Patterns

Thierry Géraud, Alexandre Duret-Lutz
2000 European Conference on Pattern Languages of Programs  
iter.IsDone(); iter.Next() ) iter.CurrentElem() += value; } In this algorithm, there are only abstract classes (Aggregate and Iterator) and each iteration involves polymorphic calls, thus, dynamic bindings  ...  A general implementation is possible thanks to the ITERATOR pattern [6], parameterized by the data type: Iterator& iter = input.CreateIterator(); for ( iter.First(); !  ...  The authors would like to thank Andreas Rüping and Philippe Laroque for their fruitful suggestions on this pattern.  ... 
dblp:conf/europlop/GeraudD00 fatcat:amyowl52hfcercq2zfzu66iz2m

Page 1550 of Genetics Vol. 180, Issue 3 [page]

2008 Genetics  
The constructed fitness sets were iterated to equilibrium from a single starting allele-frequency vector, namely the allele frequen- cies after 10,000 generations of mutation and selection.  ...  Potential for polymorphism: Historically (LEWONTIN et al. 1978; ASMUSSEN and BASNAYAKE 1990; STAR et al. 2007; TROTTER and SPENCER 2007), the “potential” for polymorphism under any given model has been  ... 

Generics of a higher kind

Adriaan Moors, Frank Piessens, Martin Odersky
2008 Proceedings of the 23rd ACM SIGPLAN conference on Object oriented programming systems languages and applications - OOPSLA '08  
With Java 5 and C # 2.0, first-order parametric polymorphism was introduced in mainstream object-oriented programming languages under the name of generics.  ...  This paper presents the design and implementation of the resulting type constructor polymorphism.  ...  Acknowledgments The authors would like to thank Dave Clarke, Marko van Dooren, Burak Emir, Erik Ernst, Bart Jacobs, Andreas Rossberg, Jan Smans, and Lex Spoon for their insightful comments and interesting  ... 
doi:10.1145/1449764.1449798 dblp:conf/oopsla/MoorsPO08 fatcat:4mxwju4lf5f5fddvx2exk6cuh4

Generics of a higher kind

Adriaan Moors, Frank Piessens, Martin Odersky
2008 SIGPLAN notices  
With Java 5 and C # 2.0, first-order parametric polymorphism was introduced in mainstream object-oriented programming languages under the name of generics.  ...  This paper presents the design and implementation of the resulting type constructor polymorphism.  ...  Acknowledgments The authors would like to thank Dave Clarke, Marko van Dooren, Burak Emir, Erik Ernst, Bart Jacobs, Andreas Rossberg, Jan Smans, and Lex Spoon for their insightful comments and interesting  ... 
doi:10.1145/1449955.1449798 fatcat:y5ekiy7tjnbqjbevtyyeyp44qq

Language Requirements for Large-Scale Generic Libraries [chapter]

Jeremy Siek, Andrew Lumsdaine
2005 Lecture Notes in Computer Science  
In this paper, we present an overview of G and analyze the interdependence between language features and libraries design in light of a complete implementation of the Standard Template Library using G.  ...  In addition, we discuss important issues related to modularity and encapsulation in large-scale libraries and how language support for validation of components in isolation can prevent many common problems  ...  Acknowledgments We would like to thank Ronald Garcia, Jeremiah Willcock, Doug Gregor, Jaakko Järvi, Dave Abrahams, Dave Musser, and Alexander Stepanov for many discussions and collaborations that informed  ... 
doi:10.1007/11561347_27 fatcat:rdnu3tattjacnd5p4mtc4uxvuq

Page 1069 of Genetics Vol. 166, Issue 2 [page]

2004 Genetics  
With these symmetry assumptions, our approximate polymor- phism criterion reduces to (33), namely p < 1/2 and  ...  For each one, we iterated from only one of the initial frequencies that led to a stable two-locus polymorphism with S$ = 0.2.  ... 

Runtime concepts for the C++ standard template library

Peter Pirkelbauer, Sean Parent, Mat Marcus, Bjarne Stroustrup
2008 Proceedings of the 2008 ACM symposium on Applied computing - SAC '08  
We describe and measure the performance of runtime-polymorphic analogs of several STL algorithms.  ...  The Runtime concept idiom extends this support by allowing unmodified concrete types to behave in a runtime polymorphic manner.  ...  < algolib::advance<int>, // library name wrapper randomaccess<int> // iterator−type >(); // add specific implementation for std::list<int>. algolib::add specific< algolib::advance<int>, // library name  ... 
doi:10.1145/1363686.1363734 dblp:conf/sac/PirkelbauerPMS08 fatcat:3ldpe5cnwvavfaskdj6txn52ku

A Language for Generic Programming in the Large [article]

Jeremy G. Siek, Andrew Lumsdaine
2007 arXiv   pre-print
G provides modular type checking and separate compilation (even of generics).  ...  In this article we present the rationale for the design of G and demonstrate the expressiveness of G with two case studies: porting the Standard Template Library and the Boost Graph Library from C++ to  ...  This work was supported by NSF grants EIA-0131354 and CCF-0702362, and by a grant from the Lilly Endowment.  ... 
arXiv:0708.2255v1 fatcat:ssm3xegpyfau7oyrg2emt7vrs4

Interface utilization in the Java Development Kit

Jens Gößner, Philip Mayer, Friedrich Steimann
2004 Proceedings of the 2004 ACM symposium on Applied computing - SAC '04  
Interfaces as defined in the JAVA programming language can enhance both decoupling and comprehensibility of large code bases.  ...  We fill this gap by applying a special metrics suite to one of the most popular pieces of software, the JAVA DEVELOPMENT KIT, and present interesting results.  ...  The corresponding metric has been termed Polymorphic Use in [2] . In contrast to Polymorphic Grade, this metric assesses the client's view of a class and its implemented interfaces.  ... 
doi:10.1145/967900.968165 dblp:conf/sac/GossnerMS04 fatcat:h7zd3w2apfh3fg2e5dhqpne2qq

Two Ways to Bake Your Pizza — Translating Parameterised Types into Java [chapter]

Martin Odersky, Enno Runne, Philip Wadler
2000 Lecture Notes in Computer Science  
This paper describes both translations in detail, compares their time and space requirements and discusses how each affects the Java security model. † This work was completed while at the University of  ...  We thank David Detlefs and Guy Steele for their support, suggestions, and helpful criticisms.  ...  As an example, consider a parameterised interface Iterator<A> and a class that implements iterators of element type String: This translation has two problems.  ... 
doi:10.1007/3-540-39953-4_10 fatcat:mkhgeogjlncl7k6lbb3cjri72i

Datatype-Generic Programming [chapter]

Jeremy Gibbons
2007 Lecture Notes in Computer Science  
The term means different things to different people: parametric polymorphism, data abstraction, meta-programming, and so on.  ...  In these lecture notes, we expand on the definition of datatype-generic programming, and present some examples of datatypegeneric programs.  ...  Cardelli and Wegner also refine ad-hoc polymorphism into overloading, a syntactic mechanism in which the same function name has different meanings in different contexts, and coercion, in which a function  ... 
doi:10.1007/978-3-540-76786-2_1 fatcat:qulchjxhw5hjrau7vjsbhhhtx4

Library composition and adaptation using c++ concepts

Jaakko Järvi, Matthew A. Marcus, Jacob N. Smith
2007 Proceedings of the 6th international conference on Generative programming and component engineering - GPCE '07  
First, we adapt GUI controls from several frameworks for use with a generic layout engine, extending the application of concepts to run-time polymorphism.  ...  This paper analyses the use of concept maps for library composition and adaptation, comparing and contrasting concept maps to other common adaptation mechanisms.  ...  Acknowledgements We are grateful for Doug Gregor and Sean Parent for many helpful discussions on the topic of the paper, and Doug for his work on ConceptGCC and inside insights to it.  ... 
doi:10.1145/1289971.1289984 dblp:conf/gpce/JarviMS07 fatcat:icwyeaxx2ng23e2hhwooo44fge

A language for generic programming in the large

Jeremy G. Siek, Andrew Lumsdaine
2011 Science of Computer Programming  
G provides modular type checking and separate compilation (even of generics).  ...  In this article we present the rationale for the design of G and demonstrate the expressiveness of G with two case studies: porting the Standard Template Library and the Boost Graph Library from C++ to  ...  This work was supported by NSF grants EIA-0131354 and CCF-0702362, and by a grant from the Lilly Endowment.  ... 
doi:10.1016/j.scico.2008.09.009 fatcat:udnyr2hczngtvawsh5jbwzqd4m
« Previous Showing results 1 — 15 out of 37,958 results