3653 search results - page 343 / 731 » On Recognizable Timed Languages |
174
click to vote
ERLANG
2004
ACM
16 years 7 days ago
2004
ACM
Structured Programming techniques are applied to a personal accounting software application implemented in erlang as a demonstration of the utility of processes as design construc...
164
click to vote
SIGSOFT
2004
ACM
16 years 7 days ago
2004
ACM
Aspect-oriented programming has become an increasingly important means of expressing cross-cutting program abstractions. Despite this, aspects lack support for computeraided veriļ...
190
click to vote
CD
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. JBoss is an extensible Java application server that aļ¬ords remote access to EJB components via multiple protocols. Its IIOP module supports IIOP-enabled EJBs, which are...
170
click to vote
ECOOP
2004
Springer
16 years 6 days ago
2004
Springer
After two decades of eļ¬ort, type inference for dynamically typed languages scales to programs of a few tens of thousands of lines of code, but no further. For larger programs, th...
193
click to vote
ECOOP
2004
Springer
16 years 6 days ago
2004
Springer
Transactional monitors are proposed as an alternative to monitors based on mutualexclusion synchronization for object-oriented programming languages. Transactional monitors have e...