2466 search results - page 40 / 494 » Concurrent Clustered Programming |
108
Voted
PPDP
2005
Springer
15 years 7 months ago
2005
Springer
Lolli is a logic programming language based on the asynchronous propositions of intuitionistic linear logic. It uses a backward chaining, backtracking operational semantics. In th...
119
Voted
SIGSOFT
1994
ACM
15 years 6 months ago
1994
ACM
In this paper we present an approach, based on data ow analysis, that can provide cost-e ective analysis of concurrent programs with respect to explicitly stated correctness prope...
109
click to vote
ICSE
1995
IEEE-ACM
15 years 5 months ago
1995
IEEE-ACM
This paper presents a compact Petri net representation that is e cient to construct for concurrent programs that use explicit tasking and rendezvous style communication. These Pet...
122
click to vote
DAC
1998
ACM
16 years 3 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...
142
Voted
CSFW
2007
IEEE
15 years 6 months ago
2007
IEEE
Noninterference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checking of noni...