Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
Workshop on Translating CSP-Based Languages to Common Programming Languages
View through CrossRef
Programming in CSP style has traditionally been done in occam, or languages such as CSPMfor more formal verification. Occam has been in a frozen state for almost 30 years, though a runnable toolset is still available on transputer.net, and code can be targeted to Gavin Chase's Transputer Emulator and to the Transterpreter. Getting to a setup where one may compile and run occam programs with the more recent KROC occam-Pi is non-trivial, and getting the compiled occam-Pi code to run on different platforms is even more work.
Title: Workshop on Translating CSP-Based Languages to Common Programming Languages
Description:
Programming in CSP style has traditionally been done in occam, or languages such as CSPMfor more formal verification.
Occam has been in a frozen state for almost 30 years, though a runnable toolset is still available on transputer.
net, and code can be targeted to Gavin Chase's Transputer Emulator and to the Transterpreter.
Getting to a setup where one may compile and run occam programs with the more recent KROC occam-Pi is non-trivial, and getting the compiled occam-Pi code to run on different platforms is even more work.
Related Results
Piece by piece: Collaborative mosaic-making for inclusive policy development
Piece by piece: Collaborative mosaic-making for inclusive policy development
This report sets out the findings from one of four projects commissioned by Wellcome Policy Lab to pilot creative approaches to policy development. In this project, Scientia Script...
Analysis of pregnancy outcomes following surgical treatment of cesarean scar pregnancy
Analysis of pregnancy outcomes following surgical treatment of cesarean scar pregnancy
Abstract
Purpose
To investigate the surgical treatment approaches for patients with Cesarean scar pregnancy (CSP) and the effects on subsequent preg...
Methodological developments for sustainability assessment of energy technologies
Methodological developments for sustainability assessment of energy technologies
During the last centuries, human activities have intensified their influence over the environment triggering environmental, social and economic problems. Among these, climate chang...
Bioactive Lipid Mediators Predict Platelet Function in Transfusion Recipients: A Phase 1 Randomized Clinical Trial in Healthy Humans
Bioactive Lipid Mediators Predict Platelet Function in Transfusion Recipients: A Phase 1 Randomized Clinical Trial in Healthy Humans
Background: Platelets are stored at room temperature for 5-7 days (RSP) and are transfused to patients who are bleeding or at risk of bleeding. Due to frequent and severe shortages...
Frequency of Common Chromosomal Abnormalities in Patients with Idiopathic Acquired Aplastic Anemia
Frequency of Common Chromosomal Abnormalities in Patients with Idiopathic Acquired Aplastic Anemia
Objective: To determine the frequency of common chromosomal aberrations in local population idiopathic determine the frequency of common chromosomal aberrations in local population...
Safety and Efficacy of 14-Day Cold Stored Platelets in Reversing Effects of Aspirin
Safety and Efficacy of 14-Day Cold Stored Platelets in Reversing Effects of Aspirin
Abstract
Background: Aspirin is an antiplatelet therapy used to reduce the risk of vascular occlusive events. However, this therapy is associated with an increased r...
Etude des Mécanismes de Transformation de Modèles CSP/SAT
Etude des Mécanismes de Transformation de Modèles CSP/SAT
A Study on the CSP/SAT Model Transformation Mechanisms
La plupart des problèmes combinatoires peuvent être formulés comme des CSP (Constraint Satisfaction Problems)...
CSP as a Domain-Specific Language Embedded in Python and Jython
CSP as a Domain-Specific Language Embedded in Python and Jython
Recently, much discussion has taken place within the Python programming community on how best to support concurrent programming. This paper describes a new Python library, python-c...