Filters








64 Hits in 6.7 sec

A flow-based approach for variant parametric types

Wei-Ngan Chin, Florin Craciun, Siau-Cheng Khoo, Corneliu Popeea
2006 SIGPLAN notices  
A promising approach for type-safe generic codes in the objectoriented paradigm is variant parametric type, which allows covariant and contravariant subtyping on fields where appropriate.  ...  Our scheme stands to benefit from past (and future) advances in flow analysis and subtyping constraints.  ...  were actually type-safe (as first reported in [20] ).  ... 
doi:10.1145/1167515.1167498 fatcat:3lp4lbdx2verrk5ltze2gni3bq

A flow-based approach for variant parametric types

Wei-Ngan Chin, Florin Craciun, Siau-Cheng Khoo, Corneliu Popeea
2006 Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications - OOPSLA '06  
A promising approach for type-safe generic codes in the objectoriented paradigm is variant parametric type, which allows covariant and contravariant subtyping on fields where appropriate.  ...  Our scheme stands to benefit from past (and future) advances in flow analysis and subtyping constraints.  ...  were actually type-safe (as first reported in [20] ).  ... 
doi:10.1145/1167473.1167498 dblp:conf/oopsla/ChinCKP06 fatcat:vghhmidzczh7xdcdr352p5ux54

Static typing

Bertrand Meyer
1995 Addendum to the proceedings of the 10th annual conference on Object-oriented programming systems, languages, and applications (Addendum) - OOPSLA '95  
This instruction (which has been made available to other languages under the name type-safe downcasting) is one of the inventions of which the Eiffel community can be proudest.  ...  Like covariance, then, descendant hiding is made necessary by the modeling requirements of the objectoriented method.  ...  This solution can be implemented in Eiffel right now; it does not require any language change.  ... 
doi:10.1145/260094.260214 fatcat:bmjz254he5buvlcviz7rndxxha

Type-Safe Metaprogramming and Compilation Techniques For Designing Efficient Systems in High-Level Languages

Lionel Emile Vincent Parreaux
2020
to continue my career in academia.  ...  Giarrusso, who regularly enlightened me with his vast knowledge of programming language research; and Viktor Kunčak, who lured me into the PhD program in the first place.  ...  The research literature on these different techniques has a long and rich history, of which we attempt to make a (necessarily incomplete) summary in the next section.  ... 
doi:10.5075/epfl-thesis-10285 fatcat:jwges7zwanamzmfyvnxquibrre

The Theory of Classification, Part 6: The Subtyping Inquisition

Anthony J.H. Simons
2003 Journal of Object Technology  
Eiffel is retrospectively type-safe, due to the polymorphic CAT-call rule, even though it strictly violates soundness.  ...  These can be expressed informally for classes-viewed-astypes in the following way: • Where a class S is intended to be a subtype of a class T, it must obey the extension rule: S may add to the methods  ... 
doi:10.5381/jot.2003.2.2.c2 fatcat:ohn4vgcvrja75lmoql2oc64jqy

Parameterized types for Java

Joseph A. Bank, Andrew C. Myers, Barbara Liskov
1997 Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '97  
Java offers the real possibility that most programs can be written in a type-safe language. However, for Java to be broadly useful, it needs additional expressive power.  ...  We also describe optional extensions to the Java virtual machine to allow parameterized bytecodes, and how to verify them efficiently.  ...  Conclusions Java offers the real possibility that most programs can be written in a type-safe language.  ... 
doi:10.1145/263699.263714 dblp:conf/popl/BankLM97 fatcat:i2bcfvl7tnefph7ujtbqhlipbe

First-Class Object Sets [chapter]

Erik Ernst
2009 Lecture Notes in Computer Science  
It may also be used for a special kind of method invocation involving multiple objects in a dynamic lookup process.  ...  To increase the flexibility in this area, this paper presents first-class object sets as a language construct.  ...  This was very valuable material in the process of getting up to speed in Coq.  ... 
doi:10.1007/978-3-642-02444-3_6 fatcat:cnszx4c22jhaxorocq3krf4i3u

First-Class Object Sets

Erik Ernst
2008 DAIMI Report Series  
It may also be used for a special kind of method invocation involving multiple<br />objects in a dynamic lookup process.  ...  To increase the flexibility in this area, this paper presents first-class object sets as a language construct.  ...  This was very valuable material in the process of getting up to speed in Coq.  ... 
doi:10.7146/dpb.v37i589.7224 fatcat:pcqxxmwi65h3djungjeelhulsq

Safe & Efficient Gradual Typing for TypeScript

Aseem Rastogi, Nikhil Swamy, Cédric Fournet, Gavin Bierman, Panagiotis Vekris
2015 SIGPLAN notices  
Pragmatically, some runtime checks on classes can be more efficient, since they can be implemented primitively (e.g., using instanceof). Compiling configurations.  ...  In porting them to Safe TypeScript, we reverted these encodings and used classes instead (since direct manipulation of prototype chains cannot be proven type-safe in Safe TypeScript); the 'classes' column  ... 
doi:10.1145/2775051.2676971 fatcat:osdqmehnrza2lldysmomf3n5ui

Safe & Efficient Gradual Typing for TypeScript

Aseem Rastogi, Nikhil Swamy, Cédric Fournet, Gavin Bierman, Panagiotis Vekris
2015 Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15  
Pragmatically, some runtime checks on classes can be more efficient, since they can be implemented primitively (e.g., using instanceof). Compiling configurations.  ...  In porting them to Safe TypeScript, we reverted these encodings and used classes instead (since direct manipulation of prototype chains cannot be proven type-safe in Safe TypeScript); the 'classes' column  ... 
doi:10.1145/2676726.2676971 dblp:conf/popl/RastogiSFBV15 fatcat:memljtt7fvd5lkn4sqic7p7nzy

The ODMG object model

Suad Alagic
1997 SIGPLAN notices  
The criticism expressed in the paper is intended to be helpful in developing future releases of the ODMG Standard.  ...  The model of persistence in the ODMG Standard is not orthogonal, which has undesirable pragmatic consequences on complex objects.  ...  If a programmer makes a mistake, the consequences may be disastrous. The whole point about the operator new in C++ is that it is meant to be type safe.  ... 
doi:10.1145/263700.263746 fatcat:lzmhmme4yzhgbdbgwcca6zfyjm

Design and implementation of generics for the .NET Common language runtime

Andrew Kennedy, Don Syme
2001 Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation - PLDI '01  
Our design is very expressive, supporting parameterized types, polymorphic static, instance and virtual methods, "F-bounded" type parameters, instantiation at pointer and value types, polymorphic recursion  ...  In this paper we extend it with direct support for parametric polymorphism (also known as generics), describing the design through examples written in an extended version of the C# programming language  ...  the CLR development team, Anders Hejlsberg, Peter Hallam and Peter Golde from the C# team, and our colleagues Nick Benton, Simon Peyton Jones and others from the Programming Principles and Tools group in  ... 
doi:10.1145/378795.378797 dblp:conf/pldi/KennedyS01 fatcat:vy4umfvq3ndana5iqnujk7zc2i

Design and implementation of generics for the .NET Common language runtime

Andrew Kennedy, Don Syme
2001 SIGPLAN notices  
Our design is very expressive, supporting parameterized types, polymorphic static, instance and virtual methods, "F-bounded" type parameters, instantiation at pointer and value types, polymorphic recursion  ...  In this paper we extend it with direct support for parametric polymorphism (also known as generics), describing the design through examples written in an extended version of the C# programming language  ...  the CLR development team, Anders Hejlsberg, Peter Hallam and Peter Golde from the C# team, and our colleagues Nick Benton, Simon Peyton Jones and others from the Programming Principles and Tools group in  ... 
doi:10.1145/381694.378797 fatcat:irj3jw5hbzeurbjfcxmh2kuxuq

Sharing Belief in Teams of Heterogeneous Robots [chapter]

Hans Utz, Freek Stulp, Arndt Mühlenfeld
2005 Lecture Notes in Computer Science  
The three groups have individually taken part in the RoboCup F2000 league since 1998.  ...  As almost all robots in this league are custom built research platforms with unique sensors, actuators, and software architectures, forming a heterogeneous team presents an exciting challenge.  ...  Acknowledgements The work described in this paper was partially funded by the Deutsche Forschungsgemeinschaft (German Research Foundation) in the SPP-1125, "Cooperating Teams of Mobile Robots in Dynamic  ... 
doi:10.1007/978-3-540-32256-6_46 fatcat:c7jr3y5mljdehmlcca6tw3ij5m

Java interoperability in managed X10

Mikio Takeuchi, David Cunningham, David Grove, Vijay Saraswat
2013 Proceedings of the third ACM SIGPLAN X10 Workshop on - X10 '13  
This realization motivated both minor changes in the X10 language specification and an extensive redesign of the X10 core class library for X10 2.3.  ...  Compiler-supported interoperability between Managed X10 and Java was initially previewed in X10 version 2.2.2 and is now fully supported in X10 version 2.3.  ...  Java and all Java-based trademarks are trademarks of Sun Microsystems, Inc. in the United States, other countries, or both.  ... 
doi:10.1145/2481268.2481278 dblp:conf/pldi/TakeuchiCGS13 fatcat:k2ucurjbqvbhtksqmx4jyirz5i
« Previous Showing results 1 — 15 out of 64 results