A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
Filters
Adding external iterators to an existing Eiffel class library
Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 32
Preserved Fulltext
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
2003
Proceedings of the 18th ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications - OOPSLA '03
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2003
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2003
Proceedings of the 18th ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications - OOPSLA '03
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
1994
Programming Environments for Massively Parallel Distributed Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
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]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
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
1988
Journal of Systems and Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
1994
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2017
Computer languages, systems & structures
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2009
Proceedings of the eighteenth international symposium on Software testing and analysis - ISSTA '09
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
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
2013
IEEE Transactions on Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2012 pre-print arXiv:1103.0711v4 fatcat:7e3qu4wcrba4ng75xszjhd6e2uOther Versions
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]
2013
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2005
Journal of Object Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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?
2013
2013 35th International Conference on Software Engineering (ICSE)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
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
2016
International Journal on Software Tools for Technology Transfer (STTT)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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