6279 search results - page 4 / 1256 » Objects as session-typed processes |
141
Voted
ICFP
2010
ACM
15 years 3 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...
122
Voted
FMCO
2008
Springer
15 years 5 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...
152
Voted
NGITS
1999
Springer
15 years 8 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...
175
Voted
ICRE
2000
IEEE
15 years 8 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...
173
Voted
IEEESCC
2010
IEEE
15 years 1 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...