Filters








4,820 Hits in 5.7 sec

An efficient compilation framework for languages based on a concurrent process calculus [chapter]

Yoshihiro Oyama, Kenjiro Taura, Akinori Yonezawa
1997 Lecture Notes in Computer Science  
We propose a framework for compiling programming languages based on concurrent process calculi, in which computation is expressed by a combination of processes and communication channels.  ...  The framework is given as a set of translation rules from a concurrent calculus to an ML-like sequential program.  ...  In this paper, we propose an ecient framework for compiling programming languages which i s based on a process calculus.  ... 
doi:10.1007/bfb0002781 fatcat:shldutfo5fe43c2qfc7x5s7jci

High-level programming of coarse-grained reconfigurable architectures

Zain ul-Abdin
2009 2009 International Conference on Field Programmable Logic and Applications  
In our view, a better approach will be to base the application development on concurrent computation models such as CSP, KPN, or Stream processing.  ...  As a proof of concept we performed an experiment by using occam-pi [6] for programming the Ambric array of processors after implementing a compiler [7] .  ... 
doi:10.1109/fpl.2009.5272337 dblp:conf/fpl/Zain-ul-Abdin09 fatcat:lnnlxxqg2rdmdn6le6nz65lcyi

PhD Abstracts

GRAHAM HUTTON
2016 Journal of functional programming  
As a service to the community, the Journal of Functional Programming publishes the abstracts from PhD dissertations completed during the previous year.  ...  The Modular Compilation of Effects In this thesis, we design and implement a parallel profiling framework based on execution replay.  ...  To study the problem of algorithmically verifying models where process identities are accurately represented we turn to the π-calculus, a process algebra based around the notion of name and mobility.  ... 
doi:10.1017/s0956796816000125 fatcat:t3inv4psk5fjdpcascctyk4jxi

Requirements for a composition language [chapter]

Oscar Nierstrasz, Theo Dirk Meijler
1995 Lecture Notes in Computer Science  
In this position paper we will elaborate our requirements and outline a strategy for the design and implementation of a composition language for the development of open systems.  ...  Objects are viewed as processes, and components are abstractions over the object space. An application is viewed as an explicit composition of software components.  ...  This suggests that a higher-order π calculus based entirely on names would be a good foundation for a formal model of objects and components.  ... 
doi:10.1007/3-540-59450-7_9 fatcat:56l5z2nbdfchjowosd3bq6kj7e

Design, Analysis and Reasoning about Tools: Abstracts from the First Workshop (Aarhus, Danmark, 1991, September 16-17

Flemming Nielson
1991 DAIMI Report Series  
This booklet gives a brief introduction, abstracts of all talks, and a detailed description of the goals of the DART project.  ...  The first DART workshop took place on September 16th and September 17th at Aarhus University. It attracted some 26 attendees and 16 half-hour talks were given.  ...  Acknowledgements Finally, thanks to Susanne Brøndberg for arranging the workshop and to Tove Legaard for arranging the payment of our bills.  ... 
doi:10.7146/dpb.v20i367.6598 fatcat:vt7hgazcbvfvxjpdq7swp3dhou

Design, analysis and Reasoning about Tools: Abstracts from the Second Workshop (Aalborg, 1992, 20-21 August)

Flemming Nielson
1992 DAIMI Report Series  
<br />The second DART workshop took place on August 20-21, 1992 in Aalborg.  ...  This report contains a brief overview of DART as well as abstracts of the 20 talks given at the workshop and a status report of DART as of summer 1992.  ...  A guest Ph.D. student at DAIMI is investigating compiler generation for concurrent languages based on their ASDs.  ... 
doi:10.7146/dpb.v21i417.6730 fatcat:pwvpx7dapfffhpzvtcy7nkl7sq

Embedded and Real-time Systems [chapter]

Edward L. Lamie
2019 Real-Time Embedded Multithreading Using ThreadX  
Our previous work led to the design of a theoretical and algorithmic framework rooted in the polyhedral model of compilation, and to the implementation of a set of tools based on production compilers (  ...  It also includes an ILP solver based on generalized basis reduction. isl also supports affine transformations for polyhedral compilation.  ... 
doi:10.1201/9780429187575-1 fatcat:ngrbtza47bhrdmlrbn2xdhg5de

Kickstarting Choreographic Programming [article]

Fabrizio Montesi
2015 arXiv   pre-print
We present an overview of some recent efforts aimed at the development of Choreographic Programming, a programming paradigm for the production of concurrent software that is guaranteed to be correct by  ...  The author was supported by the Danish Council for Independent Research project Choreographies for Reliable and efficient Communication software (CRC), grant no.  ...  DFF-4005-00304, and by the EU COST Action IC1201 Behavioural Types for Reliable Large-Scale Software Systems (BETTY).  ... 
arXiv:1502.02519v2 fatcat:ojef7mrz55gxzasdk62s5le5m4

Occam-pi as a High-Level Language for Coarse-Grained Reconfigurable Architectures

Zain-ul-Abdin, Bertil Svensson
2011 2011 IEEE International Symposium on Parallel and Distributed Processing Workshops and Phd Forum  
In this paper, we demonstrate the applicability of occam-pi for programing an array of functional units, eXtreme Processing Platform (XPP).  ...  Recently we proposed occam-pi as a high-level language for programming coarse grained reconfigurable architectures.  ...  ACKNOWLEDGMENT The authors would like to thank PACT XPP Technologies for giving access to their software development suite.  ... 
doi:10.1109/ipdps.2011.147 dblp:conf/ipps/Zain-ul-AbdinS11 fatcat:dq6luivjlfekbdzeuerwvlq424

Rewriting Logic as a Framework for Generic Verification Tools

Martin Leucker, Thomas Noll
2000 Electronical Notes in Theoretical Computer Science  
More specifically, the syntax and semantics of the specification language has to be described in terms of Rewriting Logic, a unified semantic framework for concurrency.  ...  The compiler is linked together with the existing verification platform Truth to obtain a model-checking tool for the specification language in question.  ...  Rewriting Logic was proposed in [19, 20] as a unified semantic framework for concurrency.  ... 
doi:10.1016/s1571-0661(05)80123-9 fatcat:iegpmy6b5fcdpp26kngilrw3fe

Type-theoretic foundations for concurrent object-oriented programing

Naoki Kobayashi, Akinori Yonezawa
1994 SIGPLAN notices  
Based on an analogous view "concurrent object-oriented programming = concurrent calculus + record," we develop a static type system for concurrent objectoriented programming.  ...  We choose our own Higher-Order ACL as a basic concurrent calculus, and show that a concurrent object-oriented language can be easily encoded in the Higher-Order ACL extended with record operations.  ...  We are also thankful to the anonymous referees for helpful comments.  ... 
doi:10.1145/191081.191088 fatcat:7kcexsy7wvgg7buqpbpmojjbnq

Semantics of Objects As Processes (SOAP) [chapter]

Uwe Nestmann, António Ravara
1999 Lecture Notes in Computer Science  
We present a formal framework for the definition of behavioral typing in CoOperative Objects, a concurrent Object Oriented language, based upon Client/Server Petri nets.  ...  The πL-Calculus A Formal Foundation for Software Composition (Markus Lumpe) In this talk, we present a formal language for software composition that is based on the π-calculus.  ... 
doi:10.1007/3-540-46589-8_18 fatcat:njv6znlwo5f65fiw6ellpuovfm

A Virtual Machine for a Process Calculus [chapter]

Luís Lopes, Fernando Silva, Vasco T. Vasconcelos
1999 Lecture Notes in Computer Science  
This paper presents a virtual machine for a strongly typed, polymorphic, concurrent, object-oriented programming language based on the TyCO process calculus.  ...  The system runs byte-code files, assembled from an intermediate assembly language representation, which is in turn generated by a compiler.  ...  Acknowledgments We would like to thank the anonymous referees for their valuable comments and suggestions.  ... 
doi:10.1007/10704567_15 fatcat:r7m3rx7okzcllbuwywy5x56ocm

PhD Abstracts

GRAHAM HUTTON
2014 Journal of functional programming  
The abstracts are freely available on the JFP website, i.e. not behind any paywall, and do not require any transfer for copyright, merely a license from the author.  ...  If a student or advisor would like to submit a dissertation abstract for publication in this series, please contact the editor for further details.  ...  Given-Wilson, Gorla and Jay present a concurrent pattern calculus (CPC) that adapts sequential pattern-matching to symmetric pattern-unification in a process calculus.  ... 
doi:10.1017/s0956796814000215 fatcat:rs2j5wgm5ndf7ek2zls5pmg2w4

Quantum programming languages: survey and bibliography

SIMON J. GAY
2006 Mathematical Structures in Computer Science  
design of compilers for quantum programming languages.  ...  The field of quantum programming languages is developing rapidly and there is a surprisingly large literature.  ...  The language is based on call-by-value λ-calculus, and includes both classical and quantum data.  ... 
doi:10.1017/s0960129506005378 fatcat:fsbhcecn6vcebiy3g4tuunjimy
« Previous Showing results 1 — 15 out of 4,820 results