1088 search results - page 94 / 218 » Tools for support of automata-based programming |
130
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
Step-wise refinement is a powerful paradigm for developing a complex program from a simple program by adding features incrementally. We present the AHEAD (Algebraic Hierarchical Eq...
133
click to vote
CP
2007
Springer
16 years 16 days ago
2007
Springer
LODE is a logic-based web tool for Italian deaf children. It aims at stimulating global reasoning on e-stories written in a verbal language. Presently, we are focusing on temporal ...
148
click to vote
TOOLS
2000
IEEE
15 years 10 months ago
2000
IEEE
— In Java, method implementations are chosen at runtime by late-binding with respect to the runtime class of just the receiver argument. However, in order to simplify many progra...
182
click to vote
TOOLS
2000
IEEE
15 years 10 months ago
2000
IEEE
Some designers of class-based object oriented languages choose not to support multiple inheritance. As a result, programmers often resort to ad hoc workarounds. The most common of...
130
click to vote
TOOLS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract. Java provides a specification for a user-defined general purpose equivalence operator for objects, but collections such as Set have more stringent requirements. This in...