A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
Filters
Multi-stage Imperative Languages: A Conservative Extension Result
[chapter]
Lecture Notes in Computer Science
Preserved Fulltext
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
2006
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL'06
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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 a ∈ A, {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
2006
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2011
Computer Science and Information Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2006
International journal of parallel programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2006
Proceedings of the 2006 international symposium on Software testing and analysis - ISSTA'06
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
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
2000
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2010
Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation - PLDI '10
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2011
English Language Teaching
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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