Search for Author All Reviews
	Castagna, Giuseppe     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 4 of 4 reviews       A theory of contracts for Web services Castagna G., Gesbert N., Padovani L. ACM Transactions on Programming Languages and Systems 31(5): 1-61, 2009.  Type: Article In Web-based computing, services and clients must agree on their contract--the order of the messages to be exchanged--in order to have a successful conversation. In particular, it must be possible to decide whether th...... Jul 1 2010     Parametric polymorphism for XML Hosoya H., Frisch A., Castagna G.  Principles of programming languages (Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Long Beach, California, USA, Jan 12-14, 2005) 50-62, 2005.  Type: Proceedings Polymorphism selectively and safely weakens a programming language’s type system when the difference between types isn’t important. Extensible Markup Language (XML) is a programming language with one operati...... Apr 7 2005     Object-oriented programming Castagna G., Birkhäuser Boston Inc., Cambridge, MA, 1997.  Type: Book (9780817639051) Object-oriented languages can be roughly divided into two classes: those inspired by Simula, where messages are always sent to a unique receiver and methods are associated with a unique class of objects, and those that ascribe to the s...... Dec 1 1997     Covariance and contravariance Castagna G. ACM Transactions on Programming Languages and Systems 17(3): 431-447, 1995.  Type: Article Ever since the O2 data model [1] and later the Eiffel language [2] introduced the concept of covariant specialization of methods, type theorists have argued whether it is better to use covariant or contravariant specializati...... Aug 1 1996
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy