10666 search results - page 1756 / 2134 » Quantum programming languages |
144
click to vote
PPDP
2004
Springer
15 years 10 months ago
2004
Springer
Object Petri nets (OPNs) provide a natural and modular method for modelling many real-world systems. We give a structure-preserving translation of OPNs to Prolog by encoding the O...
155
click to vote
VMCAI
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Java is a very successful programming language which is also becoming widespread in embedded systems, where software correctness is critical. Jlint is a simple but highly...
127
click to vote
HICSS
2003
IEEE
15 years 10 months ago
2003
IEEE
Abstract— This paper presents a framework for verifying compilation tools for parametrised hardware libraries with placement information. Such libraries are captured in Pebble, a...
131
click to vote
IPPS
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper presents a technique, called loop dissevering, to temporally partitioning any type of loop presented in programming languages. The technique can be used in the presence...
147
click to vote
PODC
2003
ACM
15 years 10 months ago
2003
ACM
The distinction between safety and liveness properties is due to Lamport who gave the following informal characterization. Safety properties assert that nothing bad ever happens w...