Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Alessandro Giacalone"'
Publikováno v:
Automata, Languages and Programming ISBN: 3540528261
ICALP
ICALP
We study the semantic foundations of a class of languages that combine the typed λ-calculus with process constructs for synchronised communication over typed channels. Examples include PFL, Amber, PML and Facile, a language under development at Ston
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::058301cb217391d9375483eda1e2019d
https://doi.org/10.1007/bfb0032073
https://doi.org/10.1007/bfb0032073
Publikováno v:
Semantics: Foundations and Applications ISBN: 9783540565963
REX Workshop
REX Workshop
Facile is an experimental programming language intended to support applications that require a combination of distribution and complex computation. The language originates from an integration of the typed call-by-value λ-calculus with a model of con
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::08b638b628fdaa0b4756ae500aabe22e
https://doi.org/10.1007/3-540-56596-5_47
https://doi.org/10.1007/3-540-56596-5_47
Autor:
Arie E. Kaufman, Alessandro Giacalone
Publikováno v:
Human-Machine Interactive Systems ISBN: 9781468458855
This chapter describes a project, currently under way at Stony Brook, concerned with tools to assist in building visualization environments for applications primarily in the applied sciences. Active applications are in material sciences, mechanical e
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dc2af90c373cd87021eff3b306011b63
https://doi.org/10.1007/978-1-4684-5883-1_10
https://doi.org/10.1007/978-1-4684-5883-1_10
Publikováno v:
Workshops in Computing ISBN: 9783540195818
Specification and Verification of Concurrent Systems
Specification and Verification of Concurrent Systems
Winston is an interactive environment that offers hierarchical editing, analysis, and simulation of concurrent systems. Winston is built using the design/OA™ Development System and hence inherits all the graphics capabilities of design. Winston s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a4a04806e8b2912b4f8188f4db63ad55
https://doi.org/10.1007/978-1-4471-3534-0_7
https://doi.org/10.1007/978-1-4471-3534-0_7
Publikováno v:
International Journal of Parallel Programming. 18:121-160
Facile is a symmetric integration of concurrent and functional programming. The language supports both function and process abstraction. Functions may be defined and used within processes, and processes can be dynamically created during expression ev
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a5b9f93f26527a93631141c91c89f003
https://doi.org/10.1007/bf01491213
https://doi.org/10.1007/bf01491213
Autor:
Alessandro Giacalone
Publikováno v:
ACM Symposium on User Interface Software and Technology
XY-WINS is an integrated environment that supports design, prototyping, implementation, and debugging of graphical user interfaces. XY-WINS tools allow user interface designers to work at an abstract level, thus enabling non-experts in computer graph
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b6ebbc67c66a1f7774203d55554ce6b4
https://doi.org/10.1145/62402.62425
https://doi.org/10.1145/62402.62425
Publikováno v:
Software Development Environments (SDE)
IDEOSY is an experiment in the use of a formal semantics as the basis for a programming system and in use of an ideographic language as the primary means of user-computer communication. The important characteristics of our system are that it uses an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2f23bfd4cd3584f340135fd90f0703b0
https://doi.org/10.1145/800020.808244
https://doi.org/10.1145/800020.808244
Autor:
I. V. Ramakrishnan, Arie E. Kaufman, Alessandro Giacalone, Scott A. Smolka, Philip M. Lewis, Prateek Mishra, David S. Warren, Michael Kifer, Jack Heller
Publikováno v:
SPIE Proceedings.
VERITAS (Visualization Environment Research In The Applied Sciences) involves the design and development of tools for the creation of user environments for scientific computing systems. The initial goal has been to provide a tool-based environment in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a6c2b38b3dd13f5c0f139f8e816f7257
https://doi.org/10.1117/12.952880
https://doi.org/10.1117/12.952880
Publikováno v:
TAPSOFT '89 ISBN: 9783540509400
TAPSOFT, Vol.2
TAPSOFT, Vol.2
This dissertation reports the development of a multiparadigm language called Facile that symmetrically integrates an ML-like applicative language with an occam-like concurrent language. The integration is called symmetric because both the functional
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::495ddf80765f5c41f29117dd6edfdff8
https://doi.org/10.1007/3-540-50940-2_36
https://doi.org/10.1007/3-540-50940-2_36
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.