Filters








478 Hits in 4.4 sec

ContextErlang: A language for distributed context-aware self-adaptive applications

Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella
2015 Science of Computer Programming  
For example dynamic change and concurrency can easily lead to inconsistencies. In addition, the activation mechanism should seamlessly interact with distribution to support remote adaptation.  ...  Since concurrency, in the presence of dynamic change can easily lead to inconsistencies, we formalize ContextErlang with a minimal calculus that defines its semantics and the behavior of the language in  ...  For example, we chose an imperative style with storage for the execution of method bodies and a storage stack for nested proceed calls in a way that resembles function calls in assembly languages.  ... 
doi:10.1016/j.scico.2014.11.016 fatcat:v7vissqevreihk2m5bqimkidxq

Challenges and directions in formalizing the semantics of modeling languages

Barrett Bryant, Jeff Gray, Marjan Mernik, Peter Clarke, Robert France, Gabor Karsai
2011 Computer Science and Information Systems  
Even though there has been much work in formalizing programming languages, with many successful tools constructed using such formalisms, there has been little work in formalizing modeling languages for  ...  However, many of these tools have a common semantic foundation centered around an underlying modeling language, which would make it possible to automate their development if the modeling language specification  ...  This work was supported in part by United States National Science Foundation awards CAREER CPA-1052616, CCF-0811630, CCF-1018711, HRD-0833093, OISE-0730065, and OISE-0968596, and programs by the Defense  ... 
doi:10.2298/csis110114012b fatcat:qnaldl2gzrbr5irholqq5asiqi

Static and dynamic processor allocation for higher-order concurrent languages [chapter]

Hanne Riis Nielson, Flemming Nielson
1995 Lecture Notes in Computer Science  
The other analysis provides information useful for making a dynamic decision about processor allocation; to this end it determines the maximum communication cost among processes with the same label.  ...  This research has been funded in part by the LOMAPS (ESPRIT BRA) and DART (Danish Science Research Council) projects.  ...  Introduction Higher-order concurrent languages as CML [15] and FACILE [5] offer primitives for the dynamic creation of processes and channels.  ... 
doi:10.1007/3-540-59293-8_222 fatcat:6qkpojbu5vg7lfzen3nekxnyru

Static and Dynamic Processor Allocation for Higher-Order Concurrent Languages

Hanne Riis Nielson, Flemming Nielson
1994 DAIMI Report Series  
The other analysis provides information useful for making a dynamic decision about processor allocation; to this end it determines the maximum communication cost among processes with the same label.  ...  This research has been funded in part by the LOMAPS (ESPRIT BRA) and DART (Danish Science Research Council) projects.  ...  Introduction Higher-order concurrent languages as CML [15] and FACILE [5] offer primitives for the dynamic creation of processes and channels.  ... 
doi:10.7146/dpb.v23i483.6976 fatcat:2y5v2r4gqjdn5b6hwcm2tnqzyi

Programming in Manticore, a Heterogenous Parallel Functional Language [chapter]

Matthew Fluet, Lars Bergstrom, Nic Ford, Mike Rainey, John Reppy, Adam Shaw, Yingqi Xiao
2010 Lecture Notes in Computer Science  
Additionally, we use CML communication mechanisms to represent the interface to imperative features such as input/output. Section 3 explores this programming paradigm in more detail.  ...  CML-style primitives have also been added to a number of other languages, including HASKELL [72], JAVA [22] , OCAML [47], and SCHEME [29] .  ...  The design of CML has inspired many implementations of CML-style concurrency primitives in other languages.  ... 
doi:10.1007/978-3-642-17685-2_4 fatcat:krgpjp2ts5f7xllnoldgdtcdma

Asynchronous functional reactive programming for GUIs

Evan Czaplicki, Stephen Chong
2013 Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation - PLDI '13  
We present Elm, a practical FRP language focused on easy creation of responsive GUIs.  ...  Layout in Elm is achieved using a purely functional declarative framework that makes it simple to create and combine text, images, and video into rich multimedia displays.  ...  This research is supported in part by the National Science Foundation under Grant No. 1054172.  ... 
doi:10.1145/2491956.2462161 dblp:conf/pldi/CzaplickiC13 fatcat:esrmse73mvdfxpht5373ifox5m

A survey of semantic description frameworks for programming languages

Yingzhou Zhang, Baowen Xu
2004 SIGPLAN notices  
[Gle1999] Glesner, S., Natural semantics for imperative and object- [HKT2000] Harel, D., Kozen, D. and Tiuryn, J., Dynamic logic. oriented programming language.  ...  [Rep1991] Reppy, J., CML: a higher-order concurrent language. In: [Mou1993] Moura, H.P., Action notation transformations [Ph.D.  ... 
doi:10.1145/981009.981013 fatcat:aq23dovoqvdgzdo5xz7vclcnoe

Survey on reinforcement learning for language processing [article]

Victor Uc-Cetina, Nicolas Navarro-Guerrero, Anabel Martin-Gonzalez, Cornelius Weber, Stefan Wermter
2022 arXiv   pre-print
In recent years some researchers have explored the use of reinforcement learning (RL) algorithms as key components in the solution of various natural language processing tasks.  ...  Finally, we elaborate on promising research directions in natural language processing that might benefit from reinforcement learning.  ...  Acknowledgements This work received partial support from the German Research Foundation (DFG) under project CML (TRR-169).  ... 
arXiv:2104.05565v3 fatcat:hiwdpykddzhzzi3wqcv4hhknba

JoCaml: A Language for Concurrent Distributed and Mobile Programming [chapter]

Cédric Fournet, Fabrice Le Fessant, Luc Maranget, Alan Schmitt
2003 Lecture Notes in Computer Science  
In these lecture notes, we give an overview of concurrent, distributed, and mobile programming using JoCaml. JoCaml is an extension of the Objective Caml language.  ...  It extends OCaml with support for concurrency and synchronization, the distributed execution of programs, and the dynamic relocation of active program fragments during execution.  ...  Many thanks to the members of the Moscova project at INRIA, and in particular Georges Gonthier, James J. Leifer, and Jean-Jacques Lévy.  ... 
doi:10.1007/978-3-540-44833-4_5 fatcat:ga6e75xexrdullaolf76ucffdy

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  
This paper gives an overview of the language, and reports on some aspects of its design process, on our experience on using it in industrial projects, and on our experience implementing Star on the Java  ...  Star is a functional, multi-paradigm and extensible programming language that runs on the Java platform.  ...  Also, the comments from the PPPJ reviewers were very helpful in producing the final version.  ... 
doi:10.1145/2500828.2500837 dblp:conf/pppj/McCabeS13 fatcat:rmaqsb4donealnipxu6ijhdcrm

Developing standards using the language of teaching and learning

Heidi Bolton
2013 Per Linguam : A Journal of Language Learning  
Evidence was presented for the argument that the explication of evaluation criteria was central in all the teaching-and-learning practices linked to high levels of learner competence in a number of studies  ...  The current paper presents an in-depth linguistic analysis of some of the ways in which teachers have elaborated evaluation criteria, examining the relationship between instructional and regulative discourse  ...  Given the less-developed language of description of vocational teaching-and-learning in the Anglophone world, researchers turn to more general theories of teaching and learning and explore their applicability  ... 
doi:10.5785/28-2-530 fatcat:g4l6hxyh4jcappctcgfhwam3bq

Language primitives and type discipline for structured communication-based programming [chapter]

Kohei Honda, Vasco T. Vasconcelos, Makoto Kubo
1998 Lecture Notes in Computer Science  
After presenting the formal semantics, the use of language constructs is illustrated through examples, and the basic syntactic results of the type discipline are established.  ...  We introduce basic language constructs and a type discipline as a foundation of structured communication-based concurrent programming.  ...  In present days, having the language constructs for structured programming is a norm in imperative languages.  ... 
doi:10.1007/bfb0053567 fatcat:r74zk4rz4vchvf2xwvqev6hboy

On abstraction and the expressive power of programming languages

John C. Mitchell
1993 Science of Computer Programming  
Moreover, an abstraction-preserving reduction must map every abstraction construct in the source language to a construct that hides analogous distinctions in the target language.  ...  Several examples and counterexamples to abstraction-preserving reductions are given. It is not known whether any language is universal with respect to abstraction-preserving reduction.  ...  Motivated by the need to compare parallel languages, Shapiro discusses the general issues involved in using language translations to make language comparisons.  ... 
doi:10.1016/0167-6423(93)90004-9 fatcat:liovtka3fjavjn65r5y3kogi3y

Procedure linkage optimization working paper

A. Maggiolo-Schettini, B. K. Rosen, H. R. Strong
1973 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '73  
This additional use is not part of the general theory. We assume that operators have been classified in three ways: declarative/imperative, flowsirple/flowcomplex, andmacro/nommacro.  ...  For our purposes W is too close to machine language: what a~pears as a single nacroexpansion in a dynamic program becomes a series of bookkeeping operations and jumps controlled by a static~program. such  ... 
doi:10.1145/512927.512944 dblp:conf/popl/Maggiolo-SchettiniRS73 fatcat:h5s7wkdicvfa3cdk7l3zg3pbaq

A generalization of exceptions and control in ML-like languages

Carl A. Gunter, Didier Rémy, Jon G. Riecke
1995 Proceedings of the seventh international conference on Functional programming languages and computer architecture - FPCA '95  
We add functional continuations and prompts to a language with an ML-style type system.  ...  The operators signicantly extend and simplify the control operators in SML/NJ, and can be themselves used to implement (simple) exceptions.  ...  The rules specify how to reify a continuation and pass a value up to the nearest dynamically enclosing prompt. A few examples should make the behavior of the reduction semantics more apparent.  ... 
doi:10.1145/224164.224173 dblp:conf/fpca/GunterRR95 fatcat:iczlne3u5jg3bnff2jjt2ioa2q
« Previous Showing results 1 — 15 out of 478 results