Browse All Reviews
Programming Languages (D.3)
Formal Definitions And Theory (D.3.1)
> Semantics (D.3.1...)
All Media Types
1-10 of 193 Reviews about "
Compiling with continuations, or without? Whatever.
Cong Y., Osvald L., Essertel G., Rompf T. Proceedings of the ACM on Programming Languages 3(ICFP): 1-28, 2019. Type: Article
The front end of a compiler analyzes a computer program’s source code and parses it into an intermediate representation (IR). The back end then takes this IR and translates it into machine code for execution. The techniques used for generati...
Dec 16 2020
Scalable distributed semantic network for knowledge management in cyber physical system
Song S., Lin Y., Guo B., Di Q., Lv R. Journal of Parallel and Distributed Computing 118(P1): 22-33, 2018. Type: Article
Knowledge extraction in cyber-physical systems (CPS) is a challenging task. Traditional methods are not efficient for this complicated task; an approach that exploits parallel and distributed computing methods while considering scalability is esse...
Dec 3 2020
O’Hearn P. Communications of the ACM 62(2): 86-95, 2019. Type: Article
Formal reasoning about mutable data can be difficult when concurrency is present, for instance, when attempting mutation of the same data at the same time from multiple processors; or when aliasing is present, for instance, when the same data is n...
Oct 28 2020
RDF multi-query optimization algorithm for query rewriting using common subgraphs
Wang M., Fu H., Xu F. CSAE 2019 (Proceedings of the 3rd International Conference on Computer Science and Application Engineering, Sanya, China, Oct 22-24, 2019) 1-8, 2019. Type: Proceedings
Resource description framework (RDF) is a data representation standard for loosely structured data that can be used to represent large datasets that arise in applications such as social networks. The challenge of searching and analyzing this data ...
Aug 17 2020
Engineering resilient collective adaptive systems by self-stabilisation
Viroli M., Audrito G., Beal J., Damiani F., Pianini D. ACM Transactions on Modeling and Computer Simulation 28(2): 1-28, 2018. Type: Article
Smart cities, together with the Internet of Things (IoT), are becoming reality at an accelerated speed, supported by the fifth generation of mobile technology (5G) and other advances in technology. The supporting networked computational systems in...
Jul 8 2020
Bayesian synthesis of probabilistic programs for automatic data modeling
Saad F., Cusumano-Towner M., Schaechtle U., Rinard M., Mansinghka V. Proceedings of the ACM on Programming Languages 3(POPL): 1-32, 2019. Type: Article
Somewhat overshadowed by neural networks (NN) is another thread in machine learning: the Bayesian-based approach. Less data hungry, it also has the promise of being closer to explainable artificial intelligence (XAI), although it hasn’t had ...
Jun 3 2020
Formal methods: an appetizer
Nielson F., Nielson H., Springer International Publishing, New York, NY, 2019. 162 pp. Type: Book (978-3-030051-55-6)
I’ve occasionally been intimidated into ordering an appetizer as the main course, but have rarely regretted it thanks to the presence of “gourmet” friends. This is an excellent, ultra-elegant, and rigorous book. Its 160 printed p...
Apr 23 2020
Static identification of injection attacks in Java
Spoto F., Burato E., Ernst M., Ferrara P., Lovato A., Macedonio D., Spiridon C. ACM Transactions on Programming Languages and Systems 41(3): 1-58, 2019. Type: Article
A programming language’s security principles guarantee robustness and sustainability by detecting and neutralizing any tainted object in the programming code, which can potentially be the source of any vulnerability during the operation and ...
Feb 6 2020
FIESTA-IoT project: federated interoperable semantic IoT/cloud testbeds and applications
Serrano M., Gyrard A., Tragos E., Nguyen H. WWW 2018 (Companion Proceedings of the Web Conference 2018, Lyon, France, Apr 23-27, 2018) 425-426, 2018. Type: Proceedings
This publication showcases the goals of the FIESTA-IoT project. The presented testbed was designed to facilitate interoperability between disjointed Internet of Things (IoT) environments using a common semantic approach. Published in April 2018, t...
Sep 16 2019
Sentence entailment in compositional distributional semantics
Sadrzadeh M., Kartsaklis D., Balkır E. Annals of Mathematics and Artificial Intelligence 82(4): 189-218, 2018. Type: Article
Systems for natural language understanding are now quite good and becoming commonplace. Unfortunately, some of the most powerful are also quite opaque: there is no satisfactory theory for why they work. However, ongoing work on semantics is trying...
Nov 2 2018
Reproduction in whole or in part without permission is prohibited. Copyright © 2000-2022 ThinkLoud, Inc.