Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
157 | John Potter, Ryan Shelswell, Ian Joyner |
Library Interoperability via Inheritance. |
TOOLS (26) |
1998 |
DBLP DOI BibTeX RDF |
Library interoperability, Java, inheritance, Eiffel, applets, language translation |
138 | Robert Jellinghaus |
Eiffel Linda: an object-oriented Linda dialect. |
ACM SIGPLAN Notices |
1990 |
DBLP DOI BibTeX RDF |
Linda, Eiffel |
111 | Dominique Colnet, Olivier Zendra |
Optimizations of Eiffel Programs: Smalleiffel, the GNU Eiffel Compiler. |
TOOLS (29) |
1999 |
DBLP DOI BibTeX RDF |
|
110 | Dominique Colnet, Luigi Liquori |
Match-O, A Dialect of Eiffel with Match-Types. |
TOOLS (37) |
2000 |
DBLP DOI BibTeX RDF |
Match-O, Eiffel dialect, covariant redefinition, system-level validity rules, match types, method specialization, anchored type, type unsoundness, smallEiffel source code, compiler, program compilers, object-oriented languages, abstract data types, subtyping, type safety, binary methods, Current |
91 | Isabelle Attali, Denis Caromel, Sidi O. Ehmety |
A Natural Semantics for Eiffel Dynamic Binding. |
ACM Trans. Program. Lang. Syst. |
1996 |
DBLP DOI BibTeX RDF |
semantics, inheritance, Eiffel, Eiffel, dynamic binding, renaming |
83 | G. Butler, Christine Mingins |
YooccLa: A Parser Generator for L-Attributed Grammars. |
TOOLS (37) |
2000 |
DBLP DOI BibTeX RDF |
YooccLa, left-attributed grammars, object-oriented compiler compiler, nonleft-recursive LL grammar, EBNF-like language, Eiffel features, semantic actions, Eiffel Parse library, syntax class, software engineering, object-oriented programming, specification languages, object-oriented languages, software libraries, attribute grammars, compiler generators, parser generator |
77 | Wolfgang Strunk |
Entwurf und prototypische Implementierung eines Klassenbrowsers für Eiffel. |
Eiffel |
1992 |
DBLP BibTeX RDF |
|
77 | Dirk Bäumer, Horst Lichter |
Ein User Interface Management System für Eiffel. |
Eiffel |
1992 |
DBLP BibTeX RDF |
|
77 | Rüdiger Blach |
Ein LL(1) - Parser für Eiffel. |
Eiffel |
1992 |
DBLP BibTeX RDF |
|
77 | Bertrand Meyer 0001 |
Eiffel: Version 3 and beyond. |
Eiffel |
1992 |
DBLP BibTeX RDF |
|
77 | Martin Nagler |
Erweiterung von Eiffel um persistente Konzepte. |
Eiffel |
1992 |
DBLP BibTeX RDF |
|
77 | Rainer Fischbach |
Programming by Contract - Erfüllt Eiffel das Ideal? -. |
Eiffel |
1992 |
DBLP BibTeX RDF |
|
76 | Glenn Maughan, Raphael Simon |
Mastering the Windows Eiffel Library. |
TOOLS (30) |
1999 |
DBLP DOI BibTeX RDF |
|
70 | Martin Nordio, Cristiano Calcagno, Peter Müller 0001, Bertrand Meyer 0001 |
A Sound and Complete Program Logic for Eiffel. |
TOOLS (47) |
2009 |
DBLP DOI BibTeX RDF |
operational semantics, Software verification, Eiffel, program proofs |
70 | Martin Nordio, Peter Müller 0001, Bertrand Meyer 0001 |
Proof-Transforming Compilation of Eiffel Programs. |
TOOLS (46) |
2008 |
DBLP DOI BibTeX RDF |
proof-transforming compiler, CIL, Software verification, Proof-Carrying Code, Eiffel, program proofs |
70 | Michael Rybe, Stefan Leboch |
Eiffel in Lehre und Forschung - Erfahrungen und Perspektiven. |
Inform. Spektrum |
1997 |
DBLP DOI BibTeX RDF |
Informatik-Ausbildung, Informatikdidaktik, Eiffel, Objektorientierung |
70 | Jean-Marc Jézéquel |
EPEE: an Eiffel Environment to Program Distributed Memory Parallel Computers. |
ECOOP |
1992 |
DBLP DOI BibTeX RDF |
Parallel Object Oriented Programming, Data Parallelism, Eiffel, Massively Parallel Architectures |
62 | Bertrand Meyer 0001 |
Eiffel as a Framework for Verification. |
VSTTE |
2005 |
DBLP DOI BibTeX RDF |
|
62 | Steffen Helke, Thomas Santen |
Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries. |
FME |
2001 |
DBLP DOI BibTeX RDF |
|
62 | Marina Nudelman |
Designing and Building the Eiffel Binding for COM. |
TOOLS (39) |
2001 |
DBLP DOI BibTeX RDF |
|
62 | Patrice Chalin |
Are Practitioners Writing Contracts? |
RODIN Book |
2006 |
DBLP DOI BibTeX RDF |
program assertions, empirical study, design by contract, Eiffel |
56 | Phillip J. Brooke, Richard F. Paige, Jeremy L. Jacob |
A CSP model of Eiffel's SCOOP. |
Formal Aspects Comput. |
2007 |
DBLP DOI BibTeX RDF |
SCOOP, Formal methods, Concurrency, Programming languages, Eiffel |
55 | Hans-Jürgen Hoffmann (eds.) |
Eiffel, Gemeinsame Fachtagung des German Chapter of the ACM mit der Gesellschaft für Informatik (GI), am 25. und 26. Mai 1992 in Darmstadt |
Eiffel |
1992 |
DBLP BibTeX RDF |
|
55 | Ruth Breu, Michael Breu |
Ein Konzept der Modul- und Typvererbung. |
Eiffel |
1992 |
DBLP BibTeX RDF |
|
55 | Reinhard Budde, Marie-Luise Christ-Neumann, Karl-Heinz Sylla, Heinz Züllighoven |
Erfahrungen beim objektorientierten Entwerfen und Analysieren. |
Eiffel |
1992 |
DBLP BibTeX RDF |
|
55 | Tibor Németh |
Methoden und Werkzeuge für den konstruktiven Entwurf von Objektsystemen. |
Eiffel |
1992 |
DBLP BibTeX RDF |
|
49 | Wei Wang, Vassilios Tzerpos |
Design Pattern Detection in Eiffel Systems. |
WCRE |
2005 |
DBLP DOI BibTeX RDF |
|
49 | Bertrand Meyer 0001 |
Seamless Development with the Eiffel Method. |
TOOLS (29) |
1999 |
DBLP DOI BibTeX RDF |
|
49 | Simon Parker |
Eiffel Workshop: Tools and Platforms. |
TOOLS (29) |
1999 |
DBLP DOI BibTeX RDF |
|
49 | Virgínia A. O. Cordeiro, Augusto Sampaio, Silvio Romero de Lemos Meira |
From MooZ to Eiffel - A Rigorous Approach to System Development. |
FME |
1994 |
DBLP DOI BibTeX RDF |
|
49 | L. Gunaseelan, Richard J. LeBlanc |
Distributed Eiffel: a language for programming multi-granular distributed objects on the Clouds operating system. |
ICCL |
1992 |
DBLP DOI BibTeX RDF |
|
43 | Richie Bielak |
Eiffel in Practice: Reflections of an Eiffel Programmer. |
J. Object Oriented Program. |
1996 |
DBLP BibTeX RDF |
|
43 | Colm McHugh, Vinny Cahill |
Eiffel**: An Implementation of Eiffel on Amadeus, a Persistent, Distributed Applications Support Environment. |
TOOLS (10) |
1993 |
DBLP BibTeX RDF |
|
42 | Olivier Zendra, Dominique Colnet |
Adding External Iterators to an Existing Eiffel Class Library. |
TOOLS (32) |
1999 |
DBLP DOI BibTeX RDF |
SmallEiffel, libraries, iterators, collections, Eiffel |
42 | Donald M. Needham, Steven A. Demurjian, Karim El Guemhioui, Thomas J. Peters, P. Zamani, M. McMahon, Heidi J. C. Ellis |
ADAM: A Language-Independent, Object-Oriented, Design Environment for Modeling Inheritance and Relationship Variants in Ada 95, C++, and Eiffel. |
TRI-Ada |
1996 |
DBLP DOI BibTeX RDF |
Ada, C++, Eiffel |
41 | Gary T. Leavens, Albert L. Baker, Clyde Ruby |
Preliminary design of JML: a behavioral interface specification language for java. |
ACM SIGSOFT Softw. Eng. Notes |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Richard F. Paige, Jonathan S. Ostroff |
Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods. |
TFM |
2004 |
DBLP DOI BibTeX RDF |
|
35 | Karine Arnout, Raphael Simon |
The .NET Contract Wizard: Adding Design by Contract to Languages Other than Eiffel. |
TOOLS (39) |
2001 |
DBLP DOI BibTeX RDF |
|
35 | Ian Joyner |
Java, Eiffel and C++: The Language Comparison. |
TOOLS (30) |
1999 |
DBLP DOI BibTeX RDF |
|
35 | Dale A. Schoenefeld |
Object-oriented design and programming: an Eiffel, C++, and Java course for C programmers. |
SIGCSE |
1997 |
DBLP DOI BibTeX RDF |
|
35 | James C. McKim |
Teaching Object Oriented Programming and Design with Eiffel. |
CSEE |
1995 |
DBLP DOI BibTeX RDF |
|
35 | Nadia Polikarpova, Ilinca Ciupa, Bertrand Meyer 0001 |
A comparative study of programmer-written and automatically inferred contracts. |
ISSTA |
2009 |
DBLP DOI BibTeX RDF |
dynamic contract inference, eiffel |
35 | Mohammad Reza Nami |
A comparison of object-oriented languages in software engineering. |
ACM SIGSOFT Softw. Eng. Notes |
2008 |
DBLP DOI BibTeX RDF |
Java, C++, Smalltalk, object-oriented languages, Eiffel, object-oriented software engineering |
35 | Ronald Garcia, Jaakko Järvi, Andrew Lumsdaine, Jeremy G. Siek, Jeremiah Willcock |
A comparative study of language support for generic programming. |
OOPSLA |
2003 |
DBLP DOI BibTeX RDF |
Java, C++, generics, Haskell, polymorphism, generic programming, standard ML, C#, Eiffel |
35 | Karine Arnout, Bertrand Meyer 0001 |
Finding Implicit Contracts in .NET Components. |
FMCO |
2002 |
DBLP DOI BibTeX RDF |
Design by ContractTM, Library design, Implicit contracts, Contract Wizard, Metadata, Reuse, Eiffel, .NET |
35 | Yania Crespo, Juan José Rodríguez, José Manuel Marqués Corral |
Obtaining Generic Classes Automatically through a Parameterization Operator: A Focus on Constrained Genericity. |
TOOLS (31) |
1999 |
DBLP DOI BibTeX RDF |
restructuring classes, reorganizing hierarchies, constrained genericity, object oriented programming, reuse, Eiffel |
35 | Michael Kölling, Bett Koch, John Rosenberg |
Requirements for a first year object-oriented teaching language. |
SIGCSE |
1995 |
DBLP DOI BibTeX RDF |
C++, Smalltalk, Eiffel |
27 | Lucas Serpa Silva, Maarten van Someren |
Evolutionary testing of object-oriented software. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
genetic algorithms, software testing, evolutionary computing |
27 | Robert J. Gaizauskas, Mark Hepple, Mark A. Greenwood |
Information retrieval for question answering a SIGIR 2004 workshop. |
SIGIR Forum |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Saeed Araban, A. S. M. Sajeev |
Reusability Analysis of Four Standard Object-Oriented Class Libraries. |
SERA |
2004 |
DBLP DOI BibTeX RDF |
|
27 | David Maley, Ivor T. A. Spence |
But Who Will Guard the Guardians? |
TOOLS (34) |
2000 |
DBLP DOI BibTeX RDF |
VDM++, C++, Genericity, Design by Contract |
27 | Sea Ling, Heinz W. Schmidt, Rohan Fletcher |
Constructing Interoperable Components in Distributed Systems. |
TOOLS (32) |
1999 |
DBLP DOI BibTeX RDF |
distributed systems, Components, design-by-contract |
27 | Yves Le Traon, Daniel Deveaux, Jean-Marc Jézéquel |
Self-Testable Components: From Pragmatic Tests to Design-for-Testability Methodology. |
TOOLS (29) |
1999 |
DBLP DOI BibTeX RDF |
testing, design-for-testability, self-test, design by contract, reusable components |
27 | Dominique Colnet, Philippe Coucaud, Olivier Zendra |
Compiler Support to Customize the Mark and Sweep Algorithm. |
ISMM |
1998 |
DBLP DOI BibTeX RDF |
|
27 | Liliana Favre |
Object Oriented Reuse through Algebraic Specifications. |
TOOLS (28) |
1998 |
DBLP DOI BibTeX RDF |
|
27 | Jon. Hallett |
Formulating Update Messages. |
ACM SIGPLAN Notices |
1995 |
DBLP DOI BibTeX RDF |
Smalltalk |
27 | Heinz W. Schmidt, Jian Chen |
Reasoning about Concurrent Objects. |
APSEC |
1995 |
DBLP DOI BibTeX RDF |
D.1.3 Concurrent Programming, D.1.5 Object-Oriented Programming, D.2.4 Program Verification, F.3.1 Reasoning about Programs, F.1.1 Models of Computation |
27 | Naoufel Kraïem, Joël Brunet |
Mapping of Conceptual Specifications into Object-Oriented Programs. |
SEKE |
1992 |
DBLP DOI BibTeX RDF |
|
21 | Clémentin Boittiaux, Claire Dune, Maxime Ferrera, Aurélien Arnaubec, Ricard Marxer, Marjolaine Matabos, Loïc Van Audenhaege, Vincent Hugel |
Eiffel Tower: A Deep-Sea Underwater Dataset for Long-Term Visual Localization. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Clémentin Boittiaux, Claire Dune, Maxime Ferrera, Aurélien Arnaubec, Ricard Marxer, Marjolaine Matabos, Loïc Van Audenhaege, Vincent Hugel |
Eiffel Tower: A deep-sea underwater dataset for long-term visual localization. |
Int. J. Robotics Res. |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Zuoyan Zhang, Bei Zhou, Jiangwei Hao, Hongru Yang, Mengqi Cui, Yuchang Zhou, Guanghui Song, Fei Li, Jinchen Xu, Jie Zhao 0002 |
Eiffel: Inferring Input Ranges of Significant Floating-point Errors via Polynomial Extrapolation. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Arian Baloochestani, Leander Jehl |
Eiffel: Extending Formal Verification of Distributed Algorithms to Utility Analysis. |
BRAINS |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Abeda Sultana, Md. Mainul Haque, Li Chen 0019, Fei Xu, Xu Yuan 0001 |
Eiffel: Efficient and Fair Scheduling in Adaptive Federated Learning. |
IEEE Trans. Parallel Distributed Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Amrita Roy Chowdhury 0001, Chuan Guo, Somesh Jha, Laurens van der Maaten |
EIFFeL: Ensuring Integrity for Federated Learning. |
CCS |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Amrita Roy Chowdhury 0001, Chuan Guo, Somesh Jha, Laurens van der Maaten |
EIFFeL: Ensuring Integrity for Federated Learning. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
21 | Yucheng Huang, Lei Shi 0002, Yue Su, Yifan Hu 0001, Hanghang Tong, Chaoli Wang 0001, Tong Yang 0003, Deyun Wang, Shuo Liang |
Eiffel: Evolutionary Flow Map for Influence Graph Visualization. |
IEEE Trans. Vis. Comput. Graph. |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Ahmed Saeed 0001, Yimeng Zhao, Nandita Dukkipati, Ellen W. Zegura, Mostafa H. Ammar, Khaled Harras, Amin Vahdat |
Eiffel: Efficient and Flexible Software Packet Scheduling. |
NSDI |
2019 |
DBLP BibTeX RDF |
|
21 | Richard Davis 0001 |
Gustave Eiffel's wind tunnel. |
IEEE Instrum. Meas. Mag. |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Ahmed Saeed 0001, Yimeng Zhao, Nandita Dukkipati, Mostafa H. Ammar, Ellen W. Zegura, Khaled Harras, Amin Vahdat |
Eiffel: Efficient and Flexible Software Packet Scheduling. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
21 | Victor Rivera, Jooyoung Lee, Manuel Mazzara |
Mapping Event-B Machines into Eiffel Programming Language. |
SEDA |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Daniel Ståhl, Kristofer Hallén, Jan Bosch |
Achieving traceability in large scale continuous integration and delivery deployment, usage and validation of the eiffel framework. |
Empir. Softw. Eng. |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Victor Rivera, Jooyoung Lee, Manuel Mazzara, Leonard Johard |
Translating Event-B machines to Eiffel programs. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
21 | Stefan J. Galler, Bernhard K. Aichernig |
Survey on test data generation tools - An evaluation of white- and gray-box testing tools for C#, C++, Eiffel, and Java. |
Int. J. Softw. Tools Technol. Transf. |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Marco Trudel |
C nach Eiffel: Automatische Übersetzung und objektorientierte Umstrukturierung von Legacy Quelltext. |
Software Engineering |
2014 |
DBLP BibTeX RDF |
|
21 | Markku Sakkinen, Philippe Lahire, Ciprian-Bogdan Chirila |
Towards Fully-Fledged Reverse Inheritance in Eiffel. |
Nord. J. Comput. |
2013 |
DBLP BibTeX RDF |
|
21 | Charles R. Severance |
Bertrand Meyer: Software Engineering and the Eiffel Programming Language. |
Computer |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Marco Trudel, Carlo A. Furia, Martin Nordio, Bertrand Meyer 0001, Manuel Oriol |
Automatic Translation of C Source Code to Eiffel |
CoRR |
2012 |
DBLP BibTeX RDF |
|
21 | Alexander Schiftner, Nicolas Leduc, Philippe Bompas, Niccolo Baldassini, Michael Eigensatz |
Architectural Geometry from Research to Practice: The Eiffel Tower Pavilions. |
AAG |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Emil Sekerinski, Tian Zhang |
Verification Rules for Exception Handling in Eiffel. |
SBMF |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer 0001 |
Verifying Eiffel Programs with Boogie |
CoRR |
2011 |
DBLP BibTeX RDF |
|
21 | Friedrich Steimann, Christian Kollee, Jens von Pilgrim |
A Refactoring Constraint Language and Its Application to Eiffel. |
ECOOP |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Marco Trudel, Manuel Oriol, Carlo A. Furia, Martin Nordio |
Automated Translation of Java Source Code to Eiffel. |
TOOLS (49) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Bertrand Meyer 0001 |
Automatic Testing and Fixing for Eiffel - (Extended Abstract). |
TAIC PART |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Phillip J. Brooke, Richard F. Paige |
Cameo: an alternative model of concurrency for Eiffel. |
Formal Aspects Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Ruihua Jin, Marco Piccioni |
Eiffel for .NET Binding for db4o. |
ICOODB |
2008 |
DBLP BibTeX RDF |
|
21 | Phillip J. Brooke, Richard F. Paige |
Exceptions in Concurrent Eiffel. |
J. Object Technol. |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Frederic Merizen, Dominique Colnet, Philippe Ribet, Cyril Adrian |
Héritage non conforme en Eiffel. |
LMO |
2006 |
DBLP BibTeX RDF |
|
21 | Joseph R. Kiniry |
Exceptions in Java and Eiffel: Two Extremes in Exception Design and Application. |
Advanced Topics in Exception Handling Techniques |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Dominique Colnet, Guillem Marpons-Ucero, Frederic Merizen |
Reconciling Subtyping and Code Reuse in Object-Oriented Languages: Using inherit and insert in SmartEiffel, the GNU Eiffel Compiler. |
ICSR |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Jonathan S. Ostroff, Richard F. Paige, David Makalsky, Phillip J. Brooke |
E-Tester: a Contract-Aware and Agent-Based Unit Testing Framework for Eiffel. |
J. Object Technol. |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Wei Wang, Vassilios Tzerpos |
DPVK - An Eclipse Plug-in to Detect Design Patterns in Eiffel Systems. |
eTX |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Philippe Ribet, Cyril Adrian, Olivier Zendra, Dominique Colnet |
Conformance of agents in the Eiffel language. |
J. Object Technol. |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Karine Arnout, Eric Bezault |
How to get a Singleton in Eiffel. |
J. Object Technol. |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Oleksandr Fuks, Jonathan S. Ostroff, Richard F. Paige |
SECG: The SCOOP-to-Eiffel Code Generator. |
J. Object Technol. |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Miguel Oliveira e Silva |
Concurrent Object-Oriented Programming: The MP-Eiffel Approach. |
J. Object Technol. |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Gilles Ardourel, Marianne Huchard |
Class-based Visibility from an MDA Perspective: From Access Graphs to Eiffel Code. |
J. Object Technol. |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Richard F. Paige, Jonathan S. Ostroff |
ERC - An object-oriented refinement calculus for Eiffel. |
Formal Aspects Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Peter Horan |
Eiffel Assertions and the External Structure of Classes and Objects. |
J. Object Technol. |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Bertrand Meyer 0001 |
The Start of an Eiffel Standard. |
J. Object Technol. |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Manu De Backer, Guido Dedene, Monique Snoeck |
An Encapsulated Eiffel Education Environment, based on Web Services. |
J. Object Technol. |
2002 |
DBLP DOI BibTeX RDF |
|