Filters








652 Hits in 6.0 sec

Adding external iterators to an existing Eiffel class library

O. Zendra, D. Colnet
Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 32  
Integrating external iterators to existing libraries As we have seen previously, iterators can be added in a completely external way without any modification of the existing classes which are to be traversed  ...  Conclusion We have shown how iterators could be very easily added in a completely external way to pre-existing libraries (section 3).  ... 
doi:10.1109/tools.1999.809425 dblp:conf/tools/ZendraC99 fatcat:l752gjpvivgibmrg5w3xkgskqq

A comparative study of language support for generic programming

Ronald Garcia, Jaakko Jarvi, Andrew Lumsdaine, Jeremy Siek, Jeremiah Willcock
2003 Proceedings of the 18th ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications - OOPSLA '03  
This paper reports on a comprehensive comparison of generics in six programming languages: C ++ , Standard ML, Haskell, Eiffel, Java (with its proposed generics extension), and Generic C#.  ...  Many modern programming languages support basic generic programming, sufficient to implement type-safe polymorphic containers.  ...  The authors would like to thank Todd Veldhuizen and the anonymous referees for their careful reading of this paper and for their well-considered comments.  ... 
doi:10.1145/949315.949317 fatcat:v7r77lcfi5gn7mno2y5ointlxe

A comparative study of language support for generic programming

Ronald Garcia, Jaakko Jarvi, Andrew Lumsdaine, Jeremy Siek, Jeremiah Willcock
2003 SIGPLAN notices  
This paper reports on a comprehensive comparison of generics in six programming languages: C ++ , Standard ML, Haskell, Eiffel, Java (with its proposed generics extension), and Generic C#.  ...  Many modern programming languages support basic generic programming, sufficient to implement type-safe polymorphic containers.  ...  The authors would like to thank Todd Veldhuizen and the anonymous referees for their careful reading of this paper and for their well-considered comments.  ... 
doi:10.1145/949343.949317 fatcat:obtgheemvfdxtkfp7j4v56sasu

A comparative study of language support for generic programming

Ronald Garcia, Jaakko Jarvi, Andrew Lumsdaine, Jeremy Siek, Jeremiah Willcock
2003 Proceedings of the 18th ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications - OOPSLA '03  
This paper reports on a comprehensive comparison of generics in six programming languages: C ++ , Standard ML, Haskell, Eiffel, Java (with its proposed generics extension), and Generic C#.  ...  Many modern programming languages support basic generic programming, sufficient to implement type-safe polymorphic containers.  ...  The authors would like to thank Todd Veldhuizen and the anonymous referees for their careful reading of this paper and for their well-considered comments.  ... 
doi:10.1145/949305.949317 dblp:conf/oopsla/GarciaJLSW03 fatcat:lzkpsqluy5fjpdydnzzny2nlum

Design of a Parallel Object-Oriented Linear Algebra Library [chapter]

F. Guidec, J.-M. Jézéquel
1994 Programming Environments for Massively Parallel Distributed Systems  
In EPEE, our Eiffel Parallel Execution Environment, we propose to use a kind of parallelism known as data-parallelism, encapsulated within classes of the Eiffel sequential object-oriented language, using  ...  We show how to go one step beyond, using the full power of modern object-oriented languages to build generic, extensible object-oriented libraries that permit an efficient and transparent use of DMPCs.  ...  Adding new representation variants for matrices and vectors simply comes down to adding new classes in the library.  ... 
doi:10.1007/978-3-0348-8534-8_36 fatcat:nq2mrmoihvayzcxmlfzr3jztjm

Are Practitioners Writing Contracts? [chapter]

Patrice Chalin
2006 Lecture Notes in Computer Science  
We present the results of an empirical study measuring the proportion of assertion statements used in Eiffel contracts.  ...  Many researchers are actively adding support for DBC to various languages such as Ada, Java and C#. Are these research efforts justified?  ...  Eiffel libraries and tools.  ... 
doi:10.1007/11916246_5 fatcat:lkgvb3osyjbk7cr42xtkls5zru

Eiffel: A language and environment for software engineering

Bertrand Meyer
1988 Journal of Systems and Software  
new properties to an existing type.  ...  In particular, an external routine is not a class feature: Instead, it is local to au Eiffel routine that uses it for its implemen~tion only.  ...  A note to the courageous reader: an excellent test of your unders~nding of the present set of basic classes and the general principles of Eiffel design is to write two procedures patterned after insert-right  ... 
doi:10.1016/0164-1212(88)90022-2 fatcat:tkt7nnjobnfidlq3ahjo73zvwu

Engineering a programming language: The type and class system of Sather [chapter]

Clemens Szyperski, Stephen Omohundro, Stephan Murer
1994 Lecture Notes in Computer Science  
Much of the engineering effort went into the design of the class and type system. This paper describes some of these design decisions and relates them to approaches taken in other languages.  ...  We particularly focus on issues surrounding inheritance and subtyping and the decision to explicitly separate them in Sather.  ...  Jerry Feld man, Ben Gomes, Ari Huttunen, Chu-Cheow Lim, Heinz Schmidt, and David Stoutamire made suggestions which were especially relevant to the topics dis cussed in this paper.  ... 
doi:10.1007/3-540-57840-4_33 fatcat:dmb7oreis5hbzm32arbw6quuuy

SafeGPU: Contract- and library-based GPGPU for object-oriented languages

Alexey Kolesnichenko, Christopher M. Poskitt, Sebastian Nanz
2017 Computer languages, systems & structures  
Furthermore, to support the development of safe and functionally correct GPU code, we integrate the design-by-contract [18] methodology that is native to Eiffel (and provided by the Code Contracts library  ...  an opportunity to support the development of reliable programs.  ...  We thank the anonymous referees of GPCE '15 and COMLAN for their comments and criticisms, which helped to improve the final version of this paper.  ... 
doi:10.1016/j.cl.2016.08.002 fatcat:2efltj45xfg7ra3lwuvrcfrjim

A comparative study of programmer-written and automatically inferred contracts

Nadia Polikarpova, Ilinca Ciupa, Bertrand Meyer
2009 Proceedings of the eighteenth international symposium on Software testing and analysis - ISSTA '09  
Working on 25 classes taken from different sources such as widely-used standard libraries and code written by students, we applied Daikon to infer contracts and compared the results (totaling more than  ...  The main incentive has been an assumption that most programmers are reluctant to invent the contracts themselves.  ...  Another important limitation is the tool's inability to instrument deferred (abstract) and external class members (members of Eiffel classes implemented in another programming language, typically C); hence  ... 
doi:10.1145/1572272.1572284 dblp:conf/issta/PolikarpovaCM09 fatcat:lcxbyf5b5rcejfh7pzbb3tbtsm

Class Schema Evolution for Persistent Object-Oriented Software: Model, Empirical Study, and Automated Support

Marco Piccioni, Manuel Oriol, Bertrand Meyer
2013 IEEE Transactions on Software Engineering  
The infrastructure also enforces class invariants to prevent the introduction of potentially corrupt objects.  ...  The ESCHER framework addresses these issues through an IDE-integrated approach that handles class schema evolution by managing versions of the code and generating transformation functions automatically  ...  Persistence-related code changes in Eiffel Eiffel libraries code changes We analyze 22 Eiffel classes, most of them direct counterparts of the ones previously analyzed in Java.  ... 
doi:10.1109/tse.2011.123 fatcat:epj72vwe4nhzpefr2xtdnhpghy

Really Automatic Scalable Object-Oriented Reengineering [chapter]

Marco Trudel, Carlo A. Furia, Martin Nordio, Bertrand Meyer
2013 Lecture Notes in Computer Science  
The technique is completely automatic: users only provide a source C program, and the tool produces an object-oriented application written in Eiffel with the same input/output behavior as the source.  ...  An extensive evaluation on 10 open-source programs (including the editor vim and the math library libgsl) demonstrates that our technique works on applications of significant size and builds reengineered  ...  Eiffel) on the libraries.  ... 
doi:10.1007/978-3-642-39038-8_20 fatcat:n45y2bj7qrcjvhdc3xfl4eq5h4

E-Tester: a Contract-Aware and Agent-Based Unit Testing Framework for Eiffel

Jonathan S. Ostroff, Richard F. Paige, David Makalsky, Phillip J. Brooke
2005 Journal of Object Technology  
Eiffel is an object-oriented programming language and method [12] ; it provides constructs typical of the object-oriented paradigm, including classes, objects, inheritance, associations, composite ("expanded  ...  The BON modelling language [18] is a language designed to work seamlessly and reversibly with Eiffel.  ...  Here is a simple example of an agent, using Eiffel's GUI library EiffelVision.  ... 
doi:10.5381/jot.2005.4.7.a4 fatcat:bforgcdrbzawfhmm464p666oba

What good are strong specifications?

Nadia Polikarpova, Carlo A. Furia, Yu Pei, Yi Wei, Bertrand Meyer
2013 2013 35th International Conference on Software Engineering (ICSE)  
We evaluate the cost and the benefits of using strong specifications by applying the methodology to testing data structure implementations written in Eiffel and C#.  ...  This paper considers stronger specifications and studies whether they can be deployed as an incremental practice that brings additional benefits without being unacceptably expensive.  ...  ACKNOWLEDGEMENTS Thanks to Rosemary Monahan and Scott West for comments on a draft of this paper; and to Tobias Kiefer for carrying out the C# experiments.  ... 
doi:10.1109/icse.2013.6606572 dblp:conf/icse/PolikarpovaF0WM13 fatcat:nykj2ew6m5exrfplwpnn3irhyy

AutoProof: auto-active functional verification of object-oriented programs

Carlo A. Furia, Martin Nordio, Nadia Polikarpova, Julian Tschannen
2016 International Journal on Software Tools for Technology Transfer (STTT)  
AutoProof fully supports advanced objectoriented features and a powerful methodology for framing and class invariants, which make it applicable in practice to idiomatic object-oriented patterns.  ...  The semantics of native external routines is reduced to their specification.  ...  Logic classes and specification library Functional specifications should abstract from implementation details to capture the gist of what an algorithm or program does.  ... 
doi:10.1007/s10009-016-0419-0 fatcat:6rxkigjt2jdcxew3tjwi2hjzce
« Previous Showing results 1 — 15 out of 652 results