Filters








176 Hits in 2.4 sec

Calling variadic functions from a strongly-typed language

Matthias Blume, Michael Rainey, John Reppy
2008 Proceedings of the 2008 ACM SIGPLAN workshop on ML - ML '08  
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

Eugen Jiresch
2012 Electronic Proceedings in Theoretical Computer Science  
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]

Antoine Reilles
2006 arXiv   pre-print
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

Antoine Reilles
2007 Electronical Notes in Theoretical Computer Science  
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

Fritz Henglein
1992 Proceedings of the 1992 ACM conference on LISP and functional programming - LFP '92  
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

Fritz Henglein
1992 ACM SIGPLAN Lisp Pointers  
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

Juan Facorro, Natalia Chechina
2020 Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang  
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

Alejandro M. Aragón
2014 Computer Physics Communications  
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]

Dokyung Song, Julian Lettner, Prabhu Rajasekaran, Yeoul Na, Stijn Volckaert, Per Larsen, Michael Franz
2018 arXiv   pre-print
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

Ivaylo DONCHEV
2013 Informatics in Education. An International Journal  
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]

D. A. Turner
2013 Lecture Notes in Computer Science  
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

Brooks Davis, Khilan Gudka, Alexandre Joannou, Ben Laurie, A. Theodore Markettos, J. Edward Maste, Alfredo Mazzinghi, Edward Tomasz Napierala, Robert M. Norton, Michael Roe, Peter Sewell, Robert N. M. Watson (+9 others)
2019 Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS '19  
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

Juan José Fumero, Michel Steuwer, Christophe Dubach
2014 Proceedings of ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming - ARRAY'14  
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

Katarzyna M. Jaszczolt
2007 Journal of Pragmatics  
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]

C.T. Lee, J.B. Moody, R.E. Amaro, J.A. McCammon, M. Holst
2019 arXiv   pre-print
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