6279 search results - page 4 / 1256 » Objects as session-typed processes |
167
click to vote
ICFP
2010
ACM
15 years 5 months ago
2010
ACM
While many type systems based on the intuitionistic fragment of linear logic have been proposed, applications in programming languages of the full power of linear logic--including...
143
click to vote
FMCO
2008
Springer
15 years 7 months ago
2008
Springer
This paper outlines a general picture of our ongoing work under EU Mobius and Sensoria projects on a type-based compilation and execution framework for a class of multicore CPUs. O...
175
click to vote
NGITS
1999
Springer
15 years 9 months ago
1999
Springer
As the requirements for system analysis and design become more complex, the need for a natural, yet formal way of specifying system analysis findings and design decisions are becom...
205
click to vote
ICRE
2000
IEEE
15 years 10 months ago
2000
IEEE
BORM Object Behavior Analysis (BOBA) is a first stage in a process of object modeling which has proved successful in a wide number of applications. This paper discusses this metho...
208
click to vote
IEEESCC
2010
IEEE
15 years 3 months ago
2010
IEEE
Service-orientation and object-oriented design are common practice in the field of business application development. Business process execution languages help to facilitate the orc...