Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems
نویسندگان
چکیده
منابع مشابه
Fifth Workshop on Quantitative Aspects of Programming Languages
Chemical and biochemical systems are presented as collectives of interacting stochastic automata: each automaton represents a molecule that undergoes state transitions. This framework constitutes an artificial biochemistry, where automata interact by the equivalent of the law of mass action. We analyze several example systems and networks, both by stochastic simulation and by ordinary different...
متن کاملProceedings of the Workshop on Algorithmic Aspects of Advanced Programming Languages
This paper describes a general framework for designing purely functional datatypes that automatically satisfy given size or structural constraints. Using the framework we develop implementations of different matrix types (eg square matrices) and implementations of several tree types (eg Braun trees, 2-3 trees). Consider, for instance, representing square /102/ matrices. The usual representation...
متن کاملMultiscale Modelling and Simulation, 14th International Workshop
Multiscale Modelling and Simulation (MMS) is a cornerstone in today’s research in computational science. Simulations containing multiple models, with each model operating at a different temporal or spatial scale, are a challenging setting that frequently require innovative approaches in areas such as scale bridging, code deployment, error quantification, and scientific analysis. The aim of the ...
متن کاملProceedings of MASPLAS'04 Mid-Atlantic Student Workshop on Programming Languages and Systems
We present an analyzer tool that accepts as input a string of programming language statements and outputs possible meanings for those program statements. The Graphical User Interface allows us to see which meanings were proposed for different program statements. The analyzer is packaged as a software tool, which we refer to as the Semantic Extraction tool (SET). SET, through a GUI utilizes a mu...
متن کاملProceedings of the 13th International Workshop on Logic Programming Environments
The Prolog programmer’s needs have always been the focus for guiding the development of the SWI-Prolog system. This article accompanies an invited talk about how the SWI-Prolog environment helps the Prolog programmer solve common problems. It describes the central parts of the graphical development environment as well as the command line tools which we see as vital to the success of the system....
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2016
ISSN: 2075-2180
DOI: 10.4204/eptcs.227.0