Filters








59 Hits in 5.0 sec

Compiling the π-calculus into a Multithreaded Typed Assembly Language

Tiago Cogumbreiro, Francisco Martins, Vasco T. Vasconcelos
2009 Electronical Notes in Theoretical Computer Science  
We extend a previous work on a multithreaded typed assembly language (MIL) targeted at shared memory multiprocessors, and describe the design of a type-preserving compiler from the π-calculus into MIL.  ...  The compiler produces type correct MIL programs from type correct source code, generating low-contention cooperative multithreaded programs.  ...  Compiling π into MIL This section presents a translation of the simply typed pi-calculus with integer values (described in Section 4) into the multithreaded intermediate language (described in Section  ... 
doi:10.1016/j.entcs.2009.06.004 fatcat:4epbszgohneqtbwmszx3wjjere

Secure Compilation of Object-Oriented Components to Protected Module Architectures [chapter]

Marco Patrignani, Dave Clarke, Frank Piessens
2013 Lecture Notes in Computer Science  
A fully abstract compilation scheme prevents the security features of the high-level language from being bypassed by an attacker operating at a particular lower level.  ...  This paper contains the outline of a formal proof of full abstraction of the compilation scheme. Measurements of the overhead introduced by the compilation scheme indicate that it is negligible.  ...  This proof, as well as the formalisation of Java Jr. and the assembly language, can be found in the companion report [19] .  ... 
doi:10.1007/978-3-319-03542-0_13 fatcat:c3alqfpt2jb2diwkcxk3cwbiaa

Semi-Explicit Parallel Programming in a Purely Functional Style: GpH [chapter]

2008 Process Algebra for Parallel and Distributed Processing  
This series aims to capture new developments and applications in the field of computational science through the publication of a broad range of textbooks, reference works, and handbooks.  ...  The scope of the series includes, but is not limited to, titles in the areas of scientific computing, parallel and distributed computing, high performance computing, grid computing, cluster computing,  ...  Their diligent and conscientious efforts not only helped us to make the final selection of chapters but also provided numerous valuable suggestions to the authors, resulting in a high-quality collection  ... 
doi:10.1201/9781420064872-9 fatcat:znq5b5h47zeblbzv4bclttpfoi

An embedded modeling language approach to interactive 3D and multimedia animation

C. Elliott
1999 IEEE Transactions on Software Engineering  
We propose that this situation can be improved by a change of language, and present Fran, synthesized by complementing an existing declarative host language, Haskell, with an embedded domain-specific vocabulary  ...  There are too many low-level details that have to do not with the desired content-e.g., shapes, appearance and behavior-but rather how to get a computer to present the content.  ...  Todd Knoblock and Jim Kajiya helped to explore the basic ideas of modeled animation. Sigbjorn Finne helped with the implementation during a summer research internship and since.  ... 
doi:10.1109/32.798320 fatcat:2nrlyq4bc5bsnpbwivaachghlm

Interlanguages and synchronic models of computation [article]

Alexander Victor Berka
2010 arXiv   pre-print
A compiler for an interlanguage called Space, has been developed for the Synchronic A-Ram. Space is MIMD. strictly typed, and deterministic.  ...  They support sequential and parallel languages without the space/time overheads associated with the Turing Machine and l-calculus, enabling massive programs to be simulated.  ...  Spatiale compiles a library module, and loads the code into the A-Ram memory block.  ... 
arXiv:1005.5183v1 fatcat:eiayu7sttbfslblhdoj3ggwnwu

Feel different on the Java platform

Frank McCabe, Michael Sperber
2013 Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, Languages, and Tools - PPPJ '13  
The combination of a powerful type system (which includes type inference, constrained polymorphism, and existentials) and syntactic extensibility make the Star well-suited to producing embedded domain-specific  ...  Star is a functional, multi-paradigm and extensible programming language that runs on the Java platform.  ...  Acknowledgements We thank David Frese for implementing the task monad and the CML substrate. Andreas Bernauer provided valuable feedback on a draft of this paper.  ... 
doi:10.1145/2500828.2500837 dblp:conf/pppj/McCabeS13 fatcat:rmaqsb4donealnipxu6ijhdcrm

Revocation techniques for Java concurrency

Adam Welc, Suresh Jagannathan, Antony L. Hosking
2006 Concurrency and Computation  
We examine the performance and scalability of these different approaches in the context of a state-ofthe-art Java compiler and virtual machine, namely the Jikes Research Virtual Machine (RVM) [6] from  ...  To manipulate a complex shared data structure such as a tree or heap, applications must either impose a global locking scheme on the roots, or employ locks at lower-level nodes in the structure.  ...  We also thank the reviewers for their detailed comments and suggestions.  ... 
doi:10.1002/cpe.1008 fatcat:baekm6k3mvcxhdupbcld3zzmi4

Quantified types in an imperative language

Dan Grossman
2006 ACM Transactions on Programming Languages and Systems  
The Cyclone compiler is publicly available. 1 CYCLONE CONTEXT Because this work extracts the essence of a type system from a full programming language, it is useful to describe briefly the language's goals  ...  We describe universal types, existential types, and type constructors in Cyclone, a strongly-typed C-like language.  ...  Recent work on languages such as Typed Assembly Language Morrisett et al. 2002] has applied ideas from strongly-typed high-level languages to lower-level settings.  ... 
doi:10.1145/1133651.1133653 fatcat:silqcp35ezdqpin75nkeshwdtq

Static analysis of energy consumption for LLVM IR programs

Neville Grech, Kyriakos Georgiou, James Pallister, Steve Kerrison, Jeremy Morse, Kerstin Eder
2015 Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems - SCOPES '15  
We have developed techniques for performing a static analysis on the intermediate compiler representations of a program.  ...  This can be used to determine how much energy is required to execute a sequence of assembly instructions, without the need to instrument or measure hardware.  ...  Acknowledgments The research leading to these results has received funding from the European Union 7th Framework Programme (FP7/2007-2013) under grant agreement no 318337, ENTRA -Whole-Systems Energy Transparency  ... 
doi:10.1145/2764967.2764974 dblp:conf/scopes/GrechGPKME15 fatcat:wh6xs5q45rhplmdhoxxdhm7e3a

Unified Embedded Parallel Finite Element Computations via Software-Based Fréchet Differentiation

Kevin Long, Robert Kirby, Bart van Bloemen Waanders
2010 SIAM Journal on Scientific Computing  
We also include in this category more recent FEniCS projects such as UFL [1], which is a language specification for finite element methods, and UFC [2], a compiler for UFL similar to ffc.  ...  Yet other projects, such as Life [35] and FreeFEM [19] , provide domain-specific language for finite element computation, either by providing a grammar and interpreter for a new language (FreeFEM) or by  ...  a new bottleneck into the computation.  ... 
doi:10.1137/09076920x fatcat:mbebasijuvg7tg4b3v2uwtdfia

Models and languages for parallel computation

David B. Skillicorn, Domenico Talia
1998 ACM Computing Surveys  
Most recent models are near the center of this spectrum, exploring the best tradeoffs between expressiveness and performance. A few models have achieved both abstractness and efficiency.  ...  We survey parallel programming models and languages using six criteria to assess their suitability for realistic portable parallel programming.  ...  ACKNOWLEDGMENTS We are grateful to Dave Dove and Luigi Palopoli for their comments on a draft of this article and to the anonymous referees for their helpful comments.  ... 
doi:10.1145/280277.280278 fatcat:ynjiydoq2baonp7hubvz3ajuky

On Designing Multicore-Aware Simulators for Biological Systems

Marco Aldinucci, Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Massimo Torquati, Angelo Troina
2011 2011 19th International Euromicro Conference on Parallel, Distributed and Network-Based Processing  
Proposed solutions are tested on the parallelisation of the CWC simulator (Calculus of Wrapped Compartments) that is carried out according to proposed solutions by way of the FastFlow programming framework  ...  These opportunities are developed in two general families of solutions involving both the single simulation and a bulk of independent simulations (either replicas of derived from parameter sweep).  ...  ACKNOWLEDGEMENTS We wish to thank Gianfranco Balbo for the many fruitful discussions on simulation techniques.  ... 
doi:10.1109/pdp.2011.81 dblp:conf/pdp/AldinucciCDDTT11 fatcat:hgjnkfzgnrcqnlxgdyasibhioq

Proceedings of the 2020 Scheme and Functional Programming Workshop [article]

Baptiste Saleil, Michael D. Adams
2021 arXiv   pre-print
, and Lisp, to share research findings and discuss the future of the Scheme programming language.  ...  The Scheme and Functional Programming Workshop is held every year to provide an opportunity for researchers and practitioners using Scheme and related functional programming languages like Racket, Clojure  ...  Acknowledgement Part of this work was completed while working on the grant supported by the National Science Foundation under Grant No. CCF-1715387.  ... 
arXiv:2101.06759v1 fatcat:cklwmbrs7naqrl2hytdlynasbu

BUST: Enabling Scalable Service Orchestration

Dong Liu, Ralph Deters
2007 Proceedings of the 2nd International ICST Conference on Scalable Information Systems  
Within SO, services are viewed as computational elements that expose functionalities in a platformindependent manner and can be described, published, discovered, and consumed across language, platform,  ...  Service-Orientation (SO) is a design and integration paradigm that is based on the notion of well defined, loosely coupled services.  ...  To execute the BPEL-represented business process a compiler can convert the orchestration into code for execution on a service platform.  ... 
doi:10.4108/infoscale.2007.901 dblp:conf/infoscale/LiuD07 fatcat:vwu4pz4ldrcptdrcrvsj7ayy2y

Twenty Years of Rewriting Logic [chapter]

José Meseguer
2010 Lecture Notes in Computer Science  
This paper provides a gentle, intuitive introduction to its main ideas, as well as a survey of the work that many researchers have carried out over the last twenty years in advancing: (i) its foundations  ...  ; (ii) its semantic framework and logical framework uses; (iii) its language implementations and its formal tools; and (iv) its many applications to automated deduction, software and hardware specification  ...  the first papers were published, for their further encouragement to turn my WRLA lecture into a survey paper, and for their patience in allowing me the necessary time to finish it.  ... 
doi:10.1007/978-3-642-16310-4_2 fatcat:ho7s76r67nc63bndpoptbh5k4e
« Previous Showing results 1 — 15 out of 59 results