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 510152550100 per page
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy