Filters








42 Hits in 4.3 sec

Variadic function and pragmatics-rich representations of belief reports

Katarzyna M. Jaszczolt
2007 Journal of Pragmatics  
It is not part of the objectives of DRT to reflect the processing of an utterance as performed by the addressee, with all possible misunderstandings, errors in referring, and instances of the lack of information  ...  The predicates are semantically underdetermined, or sense-general, and the relevant meaning is arrived at in the process of pragmatic inference or through the application of defaults.  ... 
doi:10.1016/j.pragma.2007.01.001 fatcat:ha2omhnrqjbxzn6nhw7nuyzzvm

Evaluating the Design of the R Language [chapter]

Floréal Morandat, Brandon Hill, Leo Osvald, Jan Vitek
2012 Lecture Notes in Computer Science  
This rather unlikely linguistic cocktail would probably never have been prepared by computer scientists, yet the language has become surprisingly popular.  ...  With millions of lines of R code available in repositories, we have an opportunity to evaluate the fundamental choices underlying the R language design.  ...  As R is not purely functional, the order of evaluation is observable through side-effects performed or observed by promises. Our investigation uncovered that promises are evaluated aggressively.  ... 
doi:10.1007/978-3-642-31057-7_6 fatcat:tzg2rmyvi5gjrmvpjfjywdzaky

Practical Variable-Arity Polymorphism [chapter]

T. Stephen Strickland, Sam Tobin-Hochstadt, Matthias Felleisen
2009 Lecture Notes in Computer Science  
The mechanism exploits functional contracts [6] to guarantee a generalized type soundness theorem [1] .  ...  Variadic templates provide a basis for implementing non-uniform variable-arity functions in templates.  ... 
doi:10.1007/978-3-642-00590-9_3 fatcat:gibgrtzcq5hi5gypkao645r7vi

An Artificial Intelligence Driven Multi-Feature Extraction Scheme for Big Data Detection

Jian Wan, Piaopiao Zheng, Huayou Si, Neal N. Xiong, Wei Zhang, Athanasios V. Vasilakos
2019 IEEE Access  
In the first stage, a multi-feature fusion model is developed to evaluate keywords, and this model combines the term frequency and part of speech features.  ...  In the second stage, we perform clustering and detect hot events in accordance with the procedure, and during the composition of news clusters, we analyze several variadic parameters in order to explore  ...  [58] applied a scheduling model for a class of keyword extraction approaches and proposed methods for the overall performance evaluation of different algorithms, which are based on processing time and  ... 
doi:10.1109/access.2019.2923583 fatcat:2jnwrlhzcvatjeofagojey544q

A Higher Order Approach to Ontology Evolution in Physics

Jos Lehmann, Michael Chan, Alan Bundy
2012 Journal on Data Semantics  
We call stuff the inconstancy and v(b i ) the variad. The Inconstancy repair plan establishes a relationship F between the variad and the inconstancy.  ...  evaluation of the framework 1 .  ... 
doi:10.1007/s13740-012-0016-7 fatcat:lcr46cujvjbzlpn4zncvad7ol4

MELT - a Translated Domain Specific Language Embedded in the GCC Compiler

Basile Starynkevitch
2011 Electronic Proceedings in Theoretical Computer Science  
The GCC free compiler is a very large software, compiling source in several languages for many targets on various systems.  ...  This work shows that even huge, legacy, software can be a posteriori extended by specifically tailored and translated high-level DSLs.  ...  ., field accessors), and would be invoked very often, so may become a performance bottleneck if used through a glue routine. 5.  ... 
doi:10.4204/eptcs.66.6 fatcat:o5ttevdzhzah5mgwiuluzslyha

SusTrainable: Promoting Sustainability as a Fundamental Driver in Software Development Training and Education. Teacher Training, November 1-5, Nijmegen, The Netherlands. Revised lecture notes [article]

Pieter Koopman
2022 arXiv   pre-print
Based on these papers and the very positive and constructive atmosphere, we expect a high quality and pleasant summer school. We are looking forward to contributing to a sustainable future.  ...  The contributions were reviewed and give a good overview of what can be expected from the summer school.  ...  paper acknowledges the support of the Erasmus+ Key Action 2 (Strategic partnership for higher education) project No. 2020-1-PT01-KA203-078646: Acknowledgements This work is financed by national funds through  ... 
arXiv:2204.13993v1 fatcat:m3r7zlzszzabfntgnaaiwnxahq

Thriving in a crowded and changing world: C++ 2006–2020

Bjarne Stroustrup
2020 Proceedings of the ACM on Programming Languages (PACMPL)  
Themes include efforts to preserve the essence of C++ through evolutionary changes, to simplify its use, to improve support for generic programming, to better support compile-time programming, to extend  ...  The ISO C++ standard evolves through a consensus process. Inevitably, there is competition among proposals and clashes (usually polite ones) over direction, design philosophies, and principles.  ...  That way, we could replace tedious and tricky boilerplate, macros, and extra-linguistic generators with clean code.  ... 
doi:10.1145/3386320 fatcat:cewdzna33zafla4z3zcpbehmvi

Nothing is Hidden: Contextualism and the Grammar-Meaning Interface

Wolfram Hinzen
2015 Mind & Language  
, there is no truth-evaluable proposition unless a place is supplied.  ...  (e.g. through semantic representations generated at the level of the 'Language of Thought': cf.  ...  There is also the more general worry that identity of meaning is never a relation that connects two different expressions of any human language. 21 Whatever the metaphysical and Stanley, 2005, p. 245  ... 
doi:10.1111/mila.12080 fatcat:c3zro6gyxfaivdblpcgcpcgnjq

GNU epsilon - an extensible programming language [article]

Luca Saiu
2013 arXiv   pre-print
We formally specify and implement an extensible programming language, based on a minimalistic first-order imperative core language plus strong abstraction mechanisms, reflection and self-modification features  ...  We formally develop a static analysis and prove a soundness property with respect to the dynamic semantics.  ...  evaluated kind, plus a thunk-or-evaluated one: all the alive evaluated objects of a thunk-or-evaluated kind would be re-kinded at collection time.  ... 
arXiv:1212.5210v5 fatcat:2xod4xlt3nd33nhps7sijfd6y4

Identification of Idiom Usage in C++ Generic Libraries

Andrew Sutton, Ryan Holeman, Jonathan I. Maletic
2010 2010 IEEE 18th International Conference on Program Comprehension  
To facilitate automated identification, the idioms are equated to micropatterns, which can be evaluated by a fact extractor.  ...  The method is applied to study a number of widely used open source C++ generic libraries.  ...  This is common with recursive, variadic templates in C++0x. G. Mixins A mixin is a class that can be used to "inject" functionality into a user-defined type [22, 25] .  ... 
doi:10.1109/icpc.2010.37 dblp:conf/iwpc/SuttonHM10 fatcat:dj4jc2s5xjf4bnoolwpzerznne

LITERAL MEANING Literal Meaning

François Recanati, François Recanati
2003 unpublished
They were, first and foremost, logicians studying formal languages and, through them, 'language' in general.  ...  Their own work 3 gave rise to contemporary pragmatics, a discipline which, like formal semantics, developed successfully within linguistics in the past forty years.  ...  in interpretation reflects a difference in linguistic meaning, i.e. a semantic ambiguity.  ... 
fatcat:zumrocslnrf57o5ycvq4bxvice

History of Logo

Cynthia Solomon, Brian Harvey, Ken Kahn, Henry Lieberman, Mark L. Miller, Margaret Minsky, Artemis Papert, Brian Silverman
2020 Proceedings of the ACM on Programming Languages (PACMPL)  
It encompassed a widening scope that included natural language,  ...  Shepherd: Tomas Petricek, University of Kent, UK Logo is more than a programming language.  ...  But the abstract types łwordž and łsentencež have a lot in common, and are part of the same linguistic microworld.  ... 
doi:10.1145/3386329 fatcat:3wfov5fq6fcsbmystgndjuu5iu

LITERAL MEANING (book) Literal Meaning

François Recanati, François Recanati
unpublished
Truth-evaluation (or semantic evaluation more generally) requires not merely a content to evaluate, but also a 'circumstance' against which to evaluate that content.  ...  In general, contents need circumstances for their evaluation.  ... 
fatcat:eojjpnkk3nh73dckfaniymwwze

D3.8 Implementation report and available SSHOC Switchboard and VCR services

Daan Broeder, Willem Elbers, Stefan Buddenbohm, Wolfgang Schmidle, Emanuel Dima, Matej Durco, Cesare Concordia, Maurizio Sanesi, Emiliano Degl'Innocenti
2021 Zenodo  
The report references other documents and milestones (for a detailed list consult the introduction) and links to related activities, not directly related with the Switchboard and Virtual Collection Registry  ...  For optimal performance the Switchboard requires and identifies the language of the selected text resources, which is a general challenge for short text snippets.  ...  In general, the issue of sustainability through EOSC is closely related to the scope and potential uptake of such services.  ... 
doi:10.5281/zenodo.5608541 fatcat:u2ficwiu5jbvnhc3i2a2rhphb4
« Previous Showing results 1 — 15 out of 42 results