1932 search results - page 113 / 387 » Molecule-oriented programming in Java |
ICFP
2007
ACM
16 years 17 days ago
2007
ACM
This paper summarizes experiences from an open source project that builds a free Haskell IDE based on Eclipse (an open source IDE platform). Eclipse is extensible and has proved t...
104
click to vote
CCGRID
2001
IEEE
15 years 4 months ago
2001
IEEE
In this paper, we describe the results of an experiment to add support for multimethod communication to the NexusJava communications library using metalevel programming techniques...
88
Voted
ENTCS
2007
15 years 17 days ago
2007
The Mono Model Checker (mmc) is a software model checker for cil bytecode programs. mmc has been developed on the Mono platform. mmc is able to detect deadlocks and assertion viol...
105
click to vote
DAC
1998
ACM
16 years 1 months ago
1998
ACM
We present a Petri net theoretic approach to the software synthesis problem that can synthesize ordinary C programs from processbased concurrent specifications without the need for...
SCM
1998
15 years 1 months ago
1998
As part of an investigation of scalable development techniques for systems written in the JavaTM programming language, the Forest Project is building JP, a prototype distributed pr...