Search for Topics All Reviews
	Browse All Reviews > Software (D) > Programming Languages (D.3) > Formal Definitions And Theory (D.3.1) > Semantics (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 35 Reviews about "Semantics (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   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   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   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   Journal on data semantics XIV (LNCS 5880) Spaccapietra S., Delcambre L. Springer-Verlag, Berlin, Germany, 2009.  Type: Divisible Book Engineering software for the semantic Web has many formidable challenges, many of which involve data semantics as either a central or major issue. This volume consists of five papers.... Nov 23 2011   A theory of typed coercions and its applications Swamy N., Hicks M., Bierman G. ACM SIGPLAN Notices 44(9): 329-340, 2009.  Type: Article The report on ALGOL 68 [1] introduced the term “coercion” to describe an implicit change of mode. For example, if x is an ALGOL 68 integer variable, then it has mode “ref integer.... Apr 23 2010   Higher-order abstract syntax in classical higher-order logic Howe D.  LFMTP 2009 (Proceedings of the 4th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, Montreal, Quebec, Canada, Aug 2, 2009) 1-11, 2009.  Type: Proceedings It is remarkable how apparently simple ideas can be difficult to formalize. A bound variable--a variable that has a scope, such as the body of the function for which it is a parameter--is a case in point. When the lam... Apr 19 2010   The Java module system: core design and semantic definition Strniša R., Sewell P., Parkinson M. ACM SIGPLAN Notices 42(10): 499-514, 2007.  Type: Article The use of packages and class loaders in Java does not help in managing several different versions of the same software unit in a satisfactory way. As expressed by the authors, this situation is traditionally referenced ... Sep 5 2008       Display 510152550100 per page
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy