Results 31 to 40 of about 174,815,442 (248)
Information and Telecommunication Sciences, 2018 Background. C or C ++ languages are most commonly used for programming of embedded systems. The main drawbacks are: lack of updates, difficulty in use, limited backward compatibility and potentially a large number of possible programmer errors. Therefore,
Oleksii Shmalko +4 more
doaj +1 more source
Clustering and Beamforming for Efficient Communication in Wireless Sensor Networks
Sensors, 2016 Energy efficiency is a critical issue for wireless sensor networks (WSNs) as sensor nodes have limited power availability. In order to address this issue, this paper tries to maximize the power efficiency in WSNs by means of the evaluation of WSN node ...
Francisco Porcel-Rodríguez +5 more
doaj +1 more source
First steps in synthetic guarded domain theory: step-indexing in the topos of trees [PDF]
Logical Methods in Computer Science, 2012 We present the topos S of trees as a model of guarded recursion. We study the internal dependently-typed higher-order logic of S and show that S models two modal operators, on predicates and types, which serve as guards in recursive definitions of terms,
Lars Birkedal +3 more
doaj +1 more source
Covariance and Controvariance: a fresh look at an old issue (a primer in advanced type systems for learning functional programmers) [PDF]
Logical Methods in Computer Science, 2022 Twenty years ago, in an article titled "Covariance and contravariance: conflict without a cause", I argued that covariant and contravariant specialization of method parameters in object-oriented programming had different purposes and deduced that, not ...
Giuseppe Castagna
doaj +1 more source
The Standard Model for Programming Languages: The Birth of a Mathematical Theory of Computation [PDF]
, 2020 Despite the insight of some of the pioneers (Turing, von Neumann, Curry, Böhm), programming the early computers was a matter of fiddling with small architecture-dependent details.
Simone Martini, Martini, Simone
core +1 more source
Extensible Model for Comparison of Expressiveness of Object-Oriented Programming Languages
Applied Computer Systems, 2016 We consider the problem of comparison of programming languages with respect to their ability to express programmers’ ideas. Our assumption is that the way of programmers’ thinking is reflected in languages used to describe software systems and programs ...
Batdalov Ruslan +2 more
doaj +1 more source
Sequent Calculus and Equational Programming [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 Proof assistants and programming languages based on type theories usually come in two flavours: one is based on the standard natural deduction presentation of type theory and involves eliminators, while the other provides a syntax in equational style. We
Nicolas Guenot, Daniel Gustafsson
doaj +1 more source
From Theory to Systems: A Grounded Approach to Programming Language Education [PDF]
, 2019 I present a new approach to teaching a graduate-level programming languages course focused on using systems programming ideas and languages like WebAssembly and Rust to motivate PL theory.
Crichton, Will
core +1 more source
Logical Methods in Computer ScienceMeasurable cones, with linear and measurable functions as morphisms, are a model of intuitionistic linear logic and of call-by-name probabilistic PCF which accommodates "continuous data types" such as the real line.
Thomas Ehrhard, Guillaume Geoffroy
doaj +1 more source
A Recipe for State-and-Effect Triangles [PDF]
Logical Methods in Computer Science, 2017 In the semantics of programming languages one can view programs as state transformers, or as predicate transformers. Recently the author has introduced state-and-effect triangles which capture this situation categorically, involving an adjunction between
Bart Jacobs
doaj +1 more source