Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Search
  Browse All Reviews > Software (D) > Programming Languages (D.3) > Language Constructs and Features (D.3.3) > Polymorphism (D.3.3...)  
 
Options:
 
  1-8 of 8 Reviews about "Polymorphism (D.3.3...)": Date Reviewed
  Records with rank polymorphism
Slepak J., Shivers O., Manolios P.  ARRAY 2019 (Proceedings of the 6th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming, Phoenix, AZ, Jun 22, 2019) 80-92, 2019.  Type: Proceedings

Most modern libraries for data manipulation transparently handle data with different shapes. For example, in Python’s NumPy, a simple multiplication may be performed across scalars, or complex collections of scalars (for exam...

Dec 27 2019
  A logical approach to deciding semantic subtyping
Gesbert N., Genevès P., Layaïda N. ACM Transactions on Programming Languages and Systems 38(1): 1-31, 2015.  Type: Article

Although object-oriented subtyping has been efficiently resolved by compilers for years, this paper shows how subtyping in Extensible Markup Language (XML)-centric functional languages can be done with a SAT solver. It gives a tested f...

Jan 11 2016
  On the infeasibility of modeling polymorphic shellcode
Song Y., Locasto M., Stavrou A., Keromytis A., Stolfo S. Machine Learning 81(2): 179-205, 2010.  Type: Article

With smarter intrusion algorithms of the polymorphic kind, the protection provided by intrusion detection systems often proves to be ineffective. This paper addresses some malicious morphing strategies, the difficulties in confronting ...

Oct 11 2011
  Systematically refactoring inheritance to delegation in Java
Kegel H., Steimann F.  Software engineering (Proceedings of the 13th International Conference on Software Engineering, Leipzig, Germany, May 10-18, 2008) 431-440, 2008.  Type: Proceedings

Choosing between class inheritance and object delegation has been the topic of countless debates in the object-oriented (OO) programming community. This tension is the result of an overloading of the class inheritance mechanism [1]. Op...

Aug 27 2008
  Safe instantiation in generic Java
Allen E., Cartwright R. Science of Computer Programming 59(1-2): 26-37, 2006.  Type: Article

Responding to a broadly perceived need to include generic types within Java, developers released Java 1.5. The authors critique this version on the grounds of type safety, and they introduce a principle that can be used to improve the ...

Jul 19 2006
  Parametric polymorphism for XML
Hosoya H., Frisch A., Castagna G.  Principles of programming languages (Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Long Beach, California, USA, Jan 12-14, 2005) 50-62, 2005.  Type: Proceedings

Polymorphism selectively and safely weakens a programming language’s type system when the difference between types isn’t important. Extensible Markup Language (XML) is a programming language with one operati...

Apr 7 2005
  Polymorphic typed defunctionalization
Pottier F., Gauthier N. ACM SIGPLAN Notices 39(1): 89-98, 2004.  Type: Article

The issue of defunctionalization with type preservation is addressed in this paper. Defunctionalization is a program transformation that turns a higher-order functional program into a first-order functional program (with no functions a...

Mar 11 2004
  Formalization of generics for the .NET common language runtime
Yu D., Kennedy A., Syme D. ACM SIGPLAN Notices 39(1): 39-51, 2004.  Type: Article

Two fundamental parts of the .NET framework are the common language runtime (CLR) environment and the base class libraries (BCL). The CLR is the execution environment for all languages in the .NET framework. CLR, in a model similar to ...

Mar 10 2004
 
 
 
Display per page
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy