Search
for Topics
All Reviews
Browse All Reviews
>
Software (D)
>
Programming Languages (D.3)
> Formal Definitions And Theory (D.3.1)
Options:
All Media Types
Journals
Proceedings
Div Books
Whole Books
Other
Date Reviewed
Title
Author
Publisher
Published Date
Descending
Ascending
1-10 of 78 Reviews about "
Formal Definitions And Theory (D.3.1)
":
Date Reviewed
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 A...
Sep 16 2019
Foundations of programming languages (2nd ed.)
Lee K., Springer International Publishing, New York, NY, 2017. 370 pp. Type: Book (978-3-319707-89-1)
Programming is a science-based craft. For a programmer, the better the science, the better the craft.
Foundations of programming languages
provides a computer science (CS)-based treatment of the foundations of three programming ...
Apr 8 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 semanti...
Nov 2 2018
FOO: a minimal modern OO calculus
Gerakios P., Fourtounis G., Smaragdakis Y. FTfJP 2015 (Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs, Prague, Czech Republic, Jul 7, 2015) 1-4, 2015. Type: Proceedings
Many object calculi (for example, [1]) or language-specific modeling techniques (for example, [2]) do not capture well the elements of recent object-oriented language design. The flyweight object-oriented (FOO) calculus is a simple, mi...
Oct 7 2015
Foundations of programming languages
Lee K., Springer Publishing Company, Incorporated, Cham, Switzerland, 2014. 354 pp. Type: Book (978-3-319133-13-3)
The philosophical motivation for the structure and substance of the book appears in the preface: predicting what a program will do is important and best achieved when the programmer understands how the language works on the hardware le...
Jul 20 2015
Dependent type theory for verification of information flow and access control policies
Nanevski A., Banerjee A., Garg D. ACM Transactions on Programming Languages and Systems 35(2): 1-41, 2013. Type: Article
Security issues are a growing concern in an increasingly connected society. Given the central role played by programming languages in the implementation of information technology systems, introducing such matters early in the specifica...
Sep 5 2013
Bisimulation for quantum processes
Feng Y., Duan R., Ying M. ACM Transactions on Programming Languages and Systems 34(4): 1-43, 2012. Type: Article
Quantum cryptography enables provably secure communication based on the principles of quantum mechanics [1]. However, research is hampered by the lack of good formalisms for modeling and verifying quantum protocols. One possible approa...
Mar 13 2013
ECMA-335 static formal semantics
Vasenin V., Krivchikov M. Programming and Computing Software 38(4): 183-188, 2012. Type: Article
Formal semantics are becoming increasingly important as a prerequisite for creating trusted software. This is especially useful when a standard such as ECMA-335 exists for defining a language, in this case, the common language infrastr...
Jan 24 2013
Towards a categorical foundation for generic programming
Hinze R., Wu N. WGP 2011 (Proceedings of the 7th ACM SIGPLAN Workshop on Generic Programming, Tokyo, Japan, Sep 18, 2011) 47-58, 2011. Type: Proceedings
Hinze and Wu begin with the following claim: “Datatype-generic programming (DGP) aims at making your life as a programmer easier by making your programs more general and more robust.” Haskell programmers are convinc...
Mar 29 2012
Environmental bisimulations for higher-order languages
Sangiorgi D., Kobayashi N., Sumii E. ACM Transactions on Programming Languages and Systems 33(1): 1-69, 2011. Type: Article
Bisimulation has a long history as a technique for studying the equivalence of mathematical structures. A recurring theme in the literature of bisimulation is the characterization of semantic equivalence of expressions in a language. F...
Dec 19 2011
Display
5
10
15
25
50
100
per page
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy