The following pages link to Eiffel (Q16053):
Displaying 50 items.
- Quiz games as a model for information hiding (Q272185) (← links)
- A functional framework for agent-based models of exchange (Q426933) (← links)
- JCML: A specification language for the runtime verification of Java card programs (Q436381) (← links)
- Automated verification of shape, size and bag properties via user-defined predicates in separation logic (Q436400) (← links)
- Verification of object-oriented programs: a transformational approach (Q439944) (← links)
- The interaction of contracts and laziness (Q526445) (← links)
- Compositional schedulability analysis of real-time actor-based systems (Q530212) (← links)
- Metamodeling semantics of multiple inheritance (Q532422) (← links)
- Highly interactive computational steering for coupled 3D flow problems utilizing multiple GPUs (Q539175) (← links)
- Incremental reasoning with lazy behavioral subtyping for multiple inheritance (Q549694) (← links)
- The structured complexity of object-oriented programs (Q596971) (← links)
- Gmat. A software tool for the computation of the rovibrational \(G\) matrix (Q603271) (← links)
- Design and evaluation of C++ open multi-methods (Q608250) (← links)
- On the role of memory in object-based and object-oriented languages (Q674010) (← links)
- Eager and delayed contract monitoring for call-by-value and call-by-name evaluation (Q710673) (← links)
- An operational semantics for object-oriented concepts based on the class hierarchy (Q736789) (← links)
- Debugging Maude programs via runtime assertion checking and trace slicing (Q739630) (← links)
- An algebraically specified language for data directed design (Q751297) (← links)
- PROCOL. A concurrent object-oriented language with protocols delegation and constraints (Q758195) (← links)
- jContractor: Introducing design-by-contract to Java using reflective bytecode instrumentation (Q812054) (← links)
- Special issue: Concurrency and real-time for Eiffel-like languages. Papers from a workshop, York, UK, July 2006 (Q833009) (← links)
- Method redefinition-ensuring alternative behaviors (Q834963) (← links)
- What is a sorting function? (Q843213) (← links)
- Contracts for concurrency (Q846109) (← links)
- Beyond contracts for concurrency (Q846113) (← links)
- Flexible access control policy for SCOOP (Q846114) (← links)
- Cameo: an alternative model of concurrency for Eiffel (Q846117) (← links)
- Transposing partial components--an exercise on coalgebraic refinement (Q854163) (← links)
- Creol: A type-safe object-oriented model for distributed concurrent systems (Q854164) (← links)
- Towards imperative modules: reasoning about invariants and sharing of mutable state (Q854171) (← links)
- Composing atomic features (Q856903) (← links)
- Structural and behavioural compatibility of graphical service specifications (Q861295) (← links)
- Automated compositional proofs for real-time systems (Q882449) (← links)
- Observational purity and encapsulation (Q882452) (← links)
- Object-oriented programming languages: interpretation (Q884944) (← links)
- Seamless design: impedance mismatch revisited (Q885865) (← links)
- Compositional reasoning about active objects with shared futures (Q890481) (← links)
- Categorical foundations for structured specifications in \(\mathsf{Z}\) (Q903494) (← links)
- Issues in the design of a parallel object-oriented language (Q909434) (← links)
- A modest model of records, inheritance, and bounded quantification (Q922718) (← links)
- Object-oriented description of graph data structures (Q927450) (← links)
- Service refinement (Q954408) (← links)
- On environment-driven software model for internetware (Q954409) (← links)
- A generic complete dynamic logic for reasoning about purity and effects (Q973056) (← links)
- Refinement and verification in component-based model-driven design (Q1004291) (← links)
- Featherweight Java with dynamic and static overloading (Q1016639) (← links)
- As-if-serial exception handling semantics for Java futures (Q1016646) (← links)
- Client-based cohesion metrics for Java programs (Q1016650) (← links)
- Selftype is a special case (Q1178231) (← links)
- Abstract specification of structures and methods in symbolic mathematical computation (Q1199931) (← links)
