3653 search results - page 343 / 731 » On Recognizable Timed Languages |
202
click to vote
ERLANG
2004
ACM
16 years 29 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...
175
click to vote
SIGSOFT
2004
ACM
16 years 29 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ļ...
210
click to vote
CD
2004
Springer
16 years 29 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...
186
click to vote
ECOOP
2004
Springer
16 years 28 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...
219
click to vote
ECOOP
2004
Springer
16 years 28 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...