Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
  Browse All Reviews > Software (D) > Programming Languages (D.3) > Formal Definitions And Theory (D.3.1) > Semantics (D.3.1...)  
  1-10 of 193 Reviews about "Semantics (D.3.1...)": Date Reviewed
  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
  Separation logic
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
Display per page
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2021 ThinkLoud, Inc.
Terms of Use
| Privacy Policy