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.
Filters
Calling variadic functions from a strongly-typed language
2008
Proceedings of the 2008 ACM SIGPLAN workshop on ML - ML '08
Preserved Fulltext
The importance of providing a mechanism to call C functions from high-level languages has been understood for many years and, these days, almost all statically-typed high-level-language implementations ...
Variadic functions have been ignored because it is not obvious how to give static types to them and because it is not clear how to generate calling sequence when the arguments to the function may not be ...
Java is an example of a strongly-typed language that has builtin support for variadic functions. ...
doi:10.1145/1411304.1411312
dblp:conf/ml/BlumeRR08
fatcat:3jkdinyzhvawxh6ecp6nucdck4
Extending the Interaction Nets Calculus by Generic Rules
2012
Electronic Proceedings in Theoretical Computer Science
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.
Other Versions
Furthermore, we discuss the implementation of generic rules in the language inets, which is based on the lightweight interaction nets calculus. ...
Names that occur twice are called bound. ...
This is strongly connected to the notion of arbitrarily many ports, making them in a sense indistinguishable. ...
doi:10.4204/eptcs.101.2
fatcat:dico34nywfbylisr24wzjdewla
Canonical Abstract Syntax Trees
[article]
2006
arXiv
pre-print
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.
Other Versions
This paper presents Gom, a language for describing abstract syntax trees and generating a Java implementation for those trees. ...
These features provide in particular the capability to maintain the internal representation of data in canonical form with respect to a rewrite system. ...
Private types [8] in the OCaml language do provide a similar functionality by hiding the type constructors in a private module, and exporting construction functions. ...
arXiv:cs/0601019v2
fatcat:sglp6zfco5cjjewenr2o5uusz4
Canonical Abstract Syntax Trees
2007
Electronical Notes in Theoretical Computer Science
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 paper presents GOM, a language for describing abstract syntax trees and generating a Java implementation for those trees. ...
These features provide in particular the capability to maintain the internal representation of data in canonical form with respect to a rewrite system. ...
Private types [8] in the OCaml language do provide a similar functionality by hiding the type constructors in a private module, and exporting construction functions. ...
doi:10.1016/j.entcs.2007.06.014
fatcat:wjyu3skqkng4jk36hs4gcatbz4
Global tagging optimization by type inference
1992
Proceedings of the 1992 ACM conference on LISP and functional programming - LFP '92
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.
Tag handling accounts for a substantial amount of execution cost in latently typed languages such as Common LISP and structured data, especially in lists: Steenkiste and Hennessy report that 80~o of all ...
dynamic type checking operations are due to list operations, most of which are statically eliminated by our type inference algorithm. ...
Tag-free
garbage
collection
for
strongly
typed programming
languages.
In Proc.
ACM
SIGPLAN
'91 Conf. ...
doi:10.1145/141471.141542
dblp:conf/lfp/Henglein92
fatcat:36byej6fwzcytpm7ll6hinpym4
Global tagging optimization by type inference
1992
ACM SIGPLAN Lisp Pointers
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.
Tag handling accounts for a substantial amount of execution cost in latently typed languages such as Common LISP and structured data, especially in lists: Steenkiste and Hennessy report that 80~o of all ...
dynamic type checking operations are due to list operations, most of which are statically eliminated by our type inference algorithm. ...
Tag-free
garbage
collection
for
strongly
typed programming
languages.
In Proc.
ACM
SIGPLAN
'91 Conf. ...
doi:10.1145/141478.141542
fatcat:wprmxfry55gfti35lceaka2hza
Clojerl: the expressive power of Clojure on the BEAM
2020
Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang
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 2020; you can also visit the original URL.
The file type is application/pdf.
CCS Concepts: • Software and its engineering → Functional languages. ...
The past decade has seen a surge in languages implemented for the BEAM as part of a search to combine the fault-tolerance and scalability of the BEAM with a set of desired language features. ...
The fact that a namespace maps directly to a BEAM module, makes calling a Clojerl function from another BEAM language trivial. ...
doi:10.1145/3406085.3409012
dblp:conf/erlang/FacorroC20
fatcat:zo3y55kic5hddls7s5fpup37f4
A C++11 implementation of arbitrary-rank tensors for high-performance computing
2014
Computer Physics Communications
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2013 pre-print arXiv:1209.1003v4 fatcat:ddglytg2s5dpddlanubuud2pweOther Versions
With the aims at providing a basic building block for high-performance computing, a single Array class template is carefully crafted, from which vectors, matrices, and even higher-order tensors can be ...
As a result, by using templates, an extra high-level layer is added to the C++ language when dealing with algebraic objects and their operations, without compromising performance. ...
The definition of the function makes use of recursive calls with a pack expansion, and the recursion terminates with a call to the base case empty function. ...
doi:10.1016/j.cpc.2014.01.005
fatcat:3jh25cpzlneezakyme64qantby
SoK: Sanitizing for Security
[article]
2018
arXiv
pre-print
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 2020; you can also visit the original URL.
The file type is application/pdf.
The C and C++ programming languages are notoriously insecure yet remain indispensable. Developers therefore resort to a multi-pronged approach to find security issues before adversaries. ...
Dynamic bug finding tools --- henceforth "sanitizers" --- can find bugs that elude other types of analysis because they observe the actual execution of a program, and can therefore directly observe incorrect ...
HexVASAN, a variadic function call sanitizer, builds static metadata for each variadic call site to encode the number of arguments and their types. ...
arXiv:1806.04355v1
fatcat:a4z3tqmxlvakvp4ljxzuursbsu
Experience in Teaching C++11 within the Undergraduate Informatics Curriculum
2013
Informatics in Education. An International Journal
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 2020; you can also visit the original URL.
The file type is application/pdf.
Such great number of changes are related to the launch of the new standard (known as C++11) that we have grounds to consider it even a new language. ...
C++ is the most commonly used language in introductory and intermediate programming courses in Bulgarian universities. In recent years this language has developed greatly. ...
Tuples make it much easier to return multiple values from a function. ...
doi:10.15388/infedu.2013.05
fatcat:zps6jw7wvbdidgxhlvrz7yv45a
Some History of Functional Programming Languages
[chapter]
2013
Lecture Notes in Computer Science
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 2016; you can also visit the original URL.
The file type is application/pdf.
We study a series of milestones leading to the emergence of lazy, higher order, polymorphically typed, purely functional programming languages. ...
In particular I am indebted to Josef Svenningsson of Chalmers University for showing me how to code the variadic taut function in Haskell using type classes. ...
Acknowledgements I am grateful to the programme committee of TFP 2012 for inviting me to give a lecture on the history of functional programming at TFP 2012 in St Andrews. ...
doi:10.1007/978-3-642-40447-4_1
fatcat:4jsnk6wr2jgpvjou4j354p7y7u
CheriABI
2019
Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS '19
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.
The CHERI architecture allows pointers to be implemented as capabilities (rather than integer virtual addresses) in a manner that is compatible with, and strengthens, the semantics of the C language. ...
To investigate this notion at scale, we describe the first adaptation of a full C-language operating system (FreeBSD) with an enterprise database (PostgreSQL) for complete spatial and referential memory ...
CHERI Background The CHERI architecture adds a new hardware data type suitable to implement strongly protected C-language pointers, namely, the CHERI capability. ...
doi:10.1145/3297858.3304042
dblp:conf/asplos/DavisWRNMBCCFGJ19
fatcat:teo4qzpjlzh7hk2jm3ui2pjwiy
A Composable Array Function Interface for Heterogeneous Computing in Java
2014
Proceedings of ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming - ARRAY'14
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.
In this work, we propose a new Array Function interface implemented with the new features from Java 8. ...
However, only little work has been done on integrating such concepts in mainstream languages such as Java. ...
This work was supported by a grant from Oracle Labs' External Research Office. ...
doi:10.1145/2627373.2627381
dblp:conf/pldi/FumeroSD14
fatcat:w4lwulsy5fcwnfl663wwf4oh34
Variadic function and pragmatics-rich representations of belief reports
2007
Journal of Pragmatics
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 view results then in the conclusion that the adicity of 'to ski' can vary, as is spelled out in the definition of the variadic function: "A variadic function is a function from relations to relations ...
Many tools and ideas had already been around, ready to be used: the variadic function of Recanati's TCP on one hand, the language of DRT on the other, and within the propositional attitude research, the ...
doi:10.1016/j.pragma.2007.01.001
fatcat:ha2omhnrqjbxzn6nhw7nuyzzvm
The Implementation of the Colored Abstract Simplicial Complex and its Application to Mesh Generation
[article]
2019
arXiv
pre-print
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 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
This is accomplished by using the latest C++ language features including variadic template parameters introduced in C++11 and automatic function return type deduction from C++14. ...
We introduce CASC: a new, modern, and header-only C++ library which provides a data structure to represent arbitrary dimension abstract simplicial complexes (ASC) with user-defined classes stored directly ...
CTL also acknowledges support from the NIH Molecular Biophysics Training Grant T32-GM008326. ...
arXiv:1807.01417v2
fatcat:ymi5udfprjgcjhlk44b3mxtqvy
« Previous
Showing results 1 — 15 out of 176 results