Filters








25,355 Hits in 4.9 sec

Multi-stage Imperative Languages: A Conservative Extension Result [chapter]

Cristiano Calcagno, Eugenio Moggi1
Lecture Notes in Computer Science  
The resulting language is a conservative extension of MiniML ref , a simple imperative subset of SML.  ...  combine imperative and multi-stage programming.  ...  This paper would not have been conceived without the previous work in collaboration with Zino Benaissa, Tim Sheard and Walid Taha, who have introduced us to the challenges of multi-stage programming.  ... 
doi:10.1007/3-540-45350-4_9 dblp:conf/saig/CalcagnoM00 fatcat:op6sriuqrjfqvgnvriyjydcoxu

A polymorphic modal type system for lisp-like multi-staged languages

Ik-Soon Kim, Kwangkeun Yi, Cristiano Calcagno
2006 Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL'06  
The combination is meaningful because ML is a practical higher-order, impure, and typed language, while Lisp's quasi-quotation system has long evolved complying with the demands from multi-staged programming  ...  This article presents a polymorphic modal type system and its principal type inference algorithm that conservatively extend ML by all of Lisp's staging constructs (the quasi-quotation system).  ...  A relation F ⊆ A × B is a (partial) function if for all aA, {b Simply-Typed Multi-Staged Language λ sim open This section presents the multi-staged language λ sim open and its simple type system.  ... 
doi:10.1145/1111037.1111060 dblp:conf/popl/KimYC06 fatcat:lsll4vzxyjbgbpcf3gytplnpfa

A polymorphic modal type system for lisp-like multi-staged languages

Ik-Soon Kim, Kwangkeun Yi, Cristiano Calcagno
2006 SIGPLAN notices  
This article presents a polymorphic type system and its principal type inference algorithm that conservatively extend ML by all of Lisp's multi-staged programming constructs.  ...  The combination is meaningful because ML is a practical higher-order, impure, and typed language, while Lisp has long evolved to comply with the demands from multi-staged programming practices.  ...  F + a : b is the extension of a function F with a : b such that F + a : b = F | − Operational Semantics Multi-staged language λ sim open has a call-by-value semantics.  ... 
doi:10.1145/1111320.1111060 fatcat:7a3i6zsehvdjriukl252pdsdiq

Software agents: Languages, tools, platforms

Costin Bădică, Zoran Budimac, Hans-Dieter Burkhard, Mirjana Ivanovic
2011 Computer Science and Information Systems  
Our recent overview of the agent programming literature revealed a number of trends in the development of agent programming languages.  ...  with other agents in a multi-agent system; acts autonomously; is intelligent; learns from experience; acts proactively as well as reactively; is modeled and/or programmed using human-like features (beliefs  ...  A search engine may perform extensive search over large databases and a lot of effort to rank the results.  ... 
doi:10.2298/csis110214013b fatcat:bc64xixmdvgotddftc3nrcodsy

SAC—A Functional Array Language for Efficient Multi-threaded Execution

Clemens Grelck, Sven-Bodo Scholz
2006 International journal of parallel programming  
We give an in-depth introduction to the design of our functional array programming language SaC, the main aspects of its compilation into host machine code, and its parallelisation based on multi-threading  ...  Both optimisation and parallelisation rigorously exploit the absence of side-effects and the explicit data flow characteristic of a functional setting.  ...  In contrast to the classical array languages as well as in contrast to the high-level extensions of imperative languages such as the more recent Fortran dialects, in SaC, the generic array operations are  ... 
doi:10.1007/s10766-006-0018-x fatcat:odlho7mgsvdrnd424gcgp7qqhq

Language learning

2006 Language Teaching  
Twelve grade 7 French immersion students participated in a multi-stage task that provided them with the opportunity to discuss the reformulation of a text they had written.  ...  as a result of J.  ...  In this paper, we draw on a social semiotic theory of language (Systemic Functional Linguistics) and of gesture, to frame a multi-layered exploration of interpersonal meaning in this register that incorporates  ... 
doi:10.1017/s0261444806223310 fatcat:co3my7t2prdwtckngwickqczga

Language testing

2006 Language Teaching  
Twelve grade 7 French immersion students participated in a multi-stage task that provided them with the opportunity to discuss the reformulation of a text they had written.  ...  as a result of J.  ...  In this paper, we draw on a social semiotic theory of language (Systemic Functional Linguistics) and of gesture, to frame a multi-layered exploration of interpersonal meaning in this register that incorporates  ... 
doi:10.1017/s0261444806243313 fatcat:7ayaupt5rna55p7x5dssq5zehe

Language teaching

2006 Language Teaching  
Twelve grade 7 French immersion students participated in a multi-stage task that provided them with the opportunity to discuss the reformulation of a text they had written.  ...  as a result of J.  ...  In this paper, we draw on a social semiotic theory of language (Systemic Functional Linguistics) and of gesture, to frame a multi-layered exploration of interpersonal meaning in this register that incorporates  ... 
doi:10.1017/s0261444806213314 fatcat:c4kb7cauizfp7p6iankc7xuqbq

The case for analysis preserving language transformation

Xiaolan Zhang, Larry Koved, Marco Pistoia, Sam Weber, Trent Jaeger, Guillaume Marceau, Liangzhao Zeng
2006 Proceedings of the 2006 international symposium on Software testing and analysis - ISSTA'06  
There is thus a strong need for developing analysis tools for multi-language software.  ...  We introduce a technique called Analysis Preserving Language Transformation (aplt) that enables the analysis of multi-language software, and also allows analysis tools for one language to be applied to  ...  One approach to multi-language analysis is to have multiple analyzers, one for each target language, implementing the same analysis. Results from each analyzer are then combined at the end.  ... 
doi:10.1145/1146238.1146260 dblp:conf/issta/ZhangKPWJMZ06 fatcat:hp6vkmfqovfyfjcjlhkbsa2dei

Domain-specific languages

Arie van Deursen, Paul Klint, Joost Visser
2000 SIGPLAN notices  
We propose the following definition: A domain-specific language (DSL) is a programming language or executable specification language that offers, through appropriate notations and abstractions, expressive  ...  DSLs embody domain knowledge, and thus enable the conservation and reuse of this knowledge. DSLs allow validation and optimization at the domain level [6, 13, 55].  ...  An earlier version of this paper appeared as Domain-Specific Languages: An Annotated Bibliography in ACM SIGPLAN Notices, 2000. We would like to thank Jan Heering from CWI for many useful remarks.  ... 
doi:10.1145/352029.352035 fatcat:whmdcopenrbg5fybo4lkztwsye

Domain-specific languages

2012 2012 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)  
We propose the following definition: A domain-specific language (DSL) is a programming language or executable specification language that offers, through appropriate notations and abstractions, expressive  ...  DSLs embody domain knowledge, and thus enable the conservation and reuse of this knowledge. DSLs allow validation and optimization at the domain level [6, 13, 55].  ...  An earlier version of this paper appeared as Domain-Specific Languages: An Annotated Bibliography in ACM SIGPLAN Notices, 2000. We would like to thank Jan Heering from CWI for many useful remarks.  ... 
doi:10.1109/vlhcc.2012.6344498 fatcat:quacqrripnbk3eude4tuy2jjnu

Domain-specific languages

2008 2008 IEEE Symposium on Visual Languages and Human-Centric Computing  
We propose the following definition: A domain-specific language (DSL) is a programming language or executable specification language that offers, through appropriate notations and abstractions, expressive  ...  DSLs embody domain knowledge, and thus enable the conservation and reuse of this knowledge. DSLs allow validation and optimization at the domain level [6, 13, 55].  ...  An earlier version of this paper appeared as Domain-Specific Languages: An Annotated Bibliography in ACM SIGPLAN Notices, 2000. We would like to thank Jan Heering from CWI for many useful remarks.  ... 
doi:10.1109/vlhcc.2008.4639065 fatcat:s2c5dee2znfg3detp2wfs2gkzm

Domain specific languages [chapter]

2014 Chapman &Hall/CRC The R Series  
We propose the following definition: A domain-specific language (DSL) is a programming language or executable specification language that offers, through appropriate notations and abstractions, expressive  ...  DSLs embody domain knowledge, and thus enable the conservation and reuse of this knowledge. DSLs allow validation and optimization at the domain level [6, 13, 55].  ...  An earlier version of this paper appeared as Domain-Specific Languages: An Annotated Bibliography in ACM SIGPLAN Notices, 2000. We would like to thank Jan Heering from CWI for many useful remarks.  ... 
doi:10.1201/b17487-19 fatcat:tawg3zdbavclliat7ncl2vvd7e

Mint

Edwin Westbrook, Mathias Ricken, Jun Inoue, Yilong Yao, Tamer Abdelatif, Walid Taha
2010 Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation - PLDI '10  
Multi-stage programming (MSP) provides a disciplined approach to run-time code generation.  ...  Unfortunately, MSP is difficult to combine with imperative features, which are prevalent in mainstream languages.  ...  One approach to this problem is multi-stage programming (MSP), a language feature that provides a disciplined form of runtime code generation.  ... 
doi:10.1145/1806596.1806642 dblp:conf/pldi/WestbrookRIYAT10 fatcat:g7r3w5uvlvbq5ioswoih6rebra

Imperatives of Information and Communication Technology (ICT) for Second Language Learners and Teachers

Akinwamide Timothy Kolade
2011 English Language Teaching  
It may become imperative therefore to have a rethinking on how to ameliorate the constraints of second language users through the applications of modern technologies.  ...  This paper therefore is an overview presentation of how modern technologies can be of assistance to both teachers and students of a second language setting.  ...  Language learning is a skill subject and it requires extensive practice for mastery.  ... 
doi:10.5539/elt.v5n1p44 fatcat:2vjmoh4pgnbqfk6abttygqeiti
« Previous Showing results 1 — 15 out of 25,355 results