Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages
نویسندگان
چکیده
منابع مشابه
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...
متن کاملProceedings of the Ninth Workshop on Text Mining
Human-generated, typically unstructured, content has exploded due to the popularity and availability of Internet-based technologies: social networking sites, blogs and microblogs, shared documents, and ever increasing reliance on email, instant messaging, and SMS. These represent treasure troves of potentially useful data to reveal patterns and trends, to understand how people foster relationsh...
متن کاملWorkshop on Database Programming Languages
These are the revised proceedings of the Workshop on Database Programming Languages held at Roscoff, Finistère, France in September of 1987. The last few years have seen an enormous activity in the development of new programming languages and new programming environments for databases. The purpose of the workshop was to bring together researchers from both databases and programming languages to...
متن کاملNinth International Conference on Principles and Practice of Constraint Programming – CP’03 WORKSHOP PROCEEDINGS MultiCPL’03: Second International Workshop on Multiparadigm Constraint Programming Languages and RCoRP’03: Fifth International Workshop on Rule-Based Constraint Reasoning and Programming
This paper explains how to design and implement an extension for by-need synchronization for a confluent (subset of a) multiparadigm concurrent constraint language, while keeping the extended language confluent. It reveals the subtleties and pitfalls that can easily lead to the loss of confluence, especially in languages with a powerful unification operator. The authors report on their own expe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2011
ISSN: 2075-2180
DOI: 10.4204/eptcs.57.0