1088 search results - page 23 / 218 » Tools for support of automata-based programming |
ENTCS
2002
13 years 8 months ago
2002
Modularity and tool support are crucial features for practical use of formal descriptions of programming languages. The combination of unrestricted context-free grammars with acti...
LISP
2008
13 years 8 months ago
2008
Abstract Reasoning about the termination of equational programs in sophisticated equational languages such as ELAN, MAUDE, OBJ, CAFEOBJ, HASKELL, and so on, requires support for ad...
TAPIA
2005
ACM
14 years 2 months ago
2005
ACM
This paper examines the GrewpEdit tool which was developed as part of the Groupware Research in Education and the Workforce Project. GrewpEdit was designed to support close collab...
RTAS
2008
IEEE
14 years 2 months ago
2008
IEEE
Recent technologies such as the Real-Time Specification for Java promise to bring Java’s advantages to real-time systems. While these technologies have made Java more predictab...
TOOLS
1997
IEEE
14 years 21 days ago
1997
IEEE
Object-oriented programming techniques support construction of reusable and extensible code. However, class-based languages have poor support for implementing type-orthogonal beha...