℞CML: A Prescription for Safely Relaxing Synchrony (Englisch)
- Neue Suche nach: Sivaramakrishnan, K. C.
- Neue Suche nach: Ziarek, Lukasz
- Neue Suche nach: Jagannathan, Suresh
- Neue Suche nach: Sivaramakrishnan, K. C.
- Neue Suche nach: Ziarek, Lukasz
- Neue Suche nach: Jagannathan, Suresh
In:
Practical Aspects of Declarative Languages
;
1-16
;
2014
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:℞CML: A Prescription for Safely Relaxing Synchrony
-
Beteiligte:Sivaramakrishnan, K. C. ( Autor:in ) / Ziarek, Lukasz ( Autor:in ) / Jagannathan, Suresh ( Autor:in )
-
Erschienen in:Lecture Notes in Computer Science ; 8324 ; 1-16
-
Verlag:
- Neue Suche nach: Springer International Publishing
-
Erscheinungsort:Cham
-
Erscheinungsdatum:01.01.2014
-
Format / Umfang:16 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis E-Book
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
℞CML: A Prescription for Safely Relaxing SynchronySivaramakrishnan, K. C. / Ziarek, Lukasz / Jagannathan, Suresh et al. | 2014
- 17
-
Partial Type Signatures for HaskellWinant, Thomas / Devriese, Dominique / Piessens, Frank / Schrijvers, Tom et al. | 2014
- 33
-
The F# Computation Expression ZooPetricek, Tomas / Syme, Don et al. | 2014
- 49
-
Abstract Modular Inference Systems and SolversLierler, Yuliya / Truszczynski, Miroslaw et al. | 2014
- 65
-
Sunroof: A Monadic DSL for Generating JavaScriptBracker, Jan / Gill, Andy et al. | 2014
- 81
-
Compiling DNA Strand Displacement Reactions Using a Functional Programming LanguageLakin, Matthew R. / Phillips, Andrew et al. | 2014
- 87
-
Two Applications of the ASP-Prolog System: Decomposable Programs and Multi-context SystemsSon, Tran Cao / Pontelli, Enrico / Le, Tiep et al. | 2014
- 104
-
Towards Modeling Morality Computationally with Logic ProgrammingSaptawijaya, Ari / Pereira, Luís Moniz et al. | 2014
- 120
-
A Declarative Specification of Giant Number ArithmeticTarau, Paul et al. | 2014
- 136
-
Embedding Foreign CodeClifton-Everest, Robert / McDonell, Trevor L. / Chakravarty, Manuel M. T. / Keller, Gabriele et al. | 2014
- 152
-
Exploring the Use of GPUs in Constraint SolvingCampeotto, Federico / Palù, Alessandro / Dovier, Agostino / Fioretto, Ferdinando / Pontelli, Enrico et al. | 2014
- 168
-
On the Correctness and Efficiency of Lock-Free Expandable Tries for Tabled Logic ProgramsAreias, Miguel / Rocha, Ricardo et al. | 2014
- 184
-
Typelets — A Rule-Based Evaluation Model for Dynamic, Statically Typed User InterfacesElsman, Martin / Schack-Nielsen, Anders et al. | 2014
- 200
-
Expand: Towards an Extensible Pandoc SystemKrijnen, Jacco / Swierstra, Doaitse / Viera, Marcos O. et al. | 2014
- 216
-
Generic Generic ProgrammingMagalhães, José Pedro / Löh, Andres et al. | 2014