The e language: A fresh separation of concerns

"Technology of Object-Oriented Languages and Systems

Volumn , Issue , 2001, Pages 41-50

  Hollander, Y ^a   Morley, M ^a   Noy, A ^a  

^a Verisity Ltd   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE; COMPUTER OPERATING SYSTEMS; COMPUTER SIMULATION; CONSTRAINT THEORY; DATA STRUCTURES; ELECTRONICS INDUSTRY; INDUSTRIAL APPLICATIONS; MICROPROCESSOR CHIPS; OBJECT ORIENTED PROGRAMMING; PROGRAM COMPILERS; SPECIFICATIONS; SYSTEMS ANALYSIS;

ASPECT ORIENTED PROGRAMMING; DATA FORMATS; HARDWARE SYSTEMS; MICROCHIP INDUSTRY; SUBJECT ORIENTED PROGRAMMING;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0034986777     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (17)

1. Adaptive plug-and-play components for evolutionary software development
2. Real-life object-oriented systems
3. Verisity openly licenses its #1 verification language
4. Maintaining object-oriented software
5. Implementing extensible theorem provers
6. The designer's guide to VHDL
7. The verilog hardware description language
8. Predicate classes
9. Semantics of temporal e
10. Traces (a cut at the "make isn't generic" problem)
11. Environmental acquisition: A new inheritance-like abstraction mechanism
12. Design patterns: Elements of reusable object-oriented software
13. A temporal logic for multilevel reasoning about hardware
14. Languages run verification ecosystem