Aliasing in object-oriented programming : types, analysis, and verification

This book presents a survey of the state-of-the-art on techniques for dealing with aliasing in object-oriented programming. It marks the 20th anniversary of the paper The Geneva Convention On The Treatment of Object Aliasing by John Hogg, Doug Lea, Alan Wills, Dennis de Champeaux and Richard Holt. T...

Uloženo v:

Podrobná bibliografie
Další autoři:	Clarke, Dave (Editor) Noble, James (Editor) Wrigstad, Tobias (Editor)
Korporace:	SpringerLink (online služba) (Distributor)
Médium:	E-kniha
Jazyk:	angličtina
Vydáno:	Berlin ; Heidelberg : Springer, 2013
Edice:	Lecture notes in computer science
Žánr/forma:	elektronické knihy sborníky
ISBN:	978-3-642-36946-9 978-3-642-36945-2
Témata:	informatika softwarové inženýrství programovací jazyky objektově orientované programování
On-line přístup:	Plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!

Obálka

Podobné jednotky

Object-oriented programming with REXX
Autor: Ender, Tom, 1950-
Vydáno: (1997)

Object-oriented programming using C++
Autor: Pohl, Ira
Vydáno: (1993)

Object-oriented technology : ECOOP 2006 workshop reader : ECOOP 2006 workshops, Nantes, France, July 3-7, 2006 : final reports
Vydáno: (2007)

Object-oriented project management with UML
Autor: Cantor, Murray
Vydáno: (1998)

Object-oriented programming with Visual Basic.NET
Autor: McMillan, Michael, 1957-
Vydáno: (2004)

Object-oriented technology : ECOOP 2002 workshop reader : ECOOP 2002 workshop and posters, Málaga, Spain, June 10-14, 2002 : proceedings
Vydáno: (2002)

Relational objects : Augmenting object-oriented paradigm with declarative aspects. Summary of PhD dissertation thesis
Autor: Váňa, Pavel
Vydáno: (1997)

Beginning object-oriented programming with VB 2005 : from novice to professional : [master the principles of object-oriented software development]
Autor: Clark, Dan, 1963-
Vydáno: (2006)

Relational objects : Augmenting oject-oriented paradigm with declarative aspects. Doctoral thesis
Autor: Váňa, Pavel
Vydáno: (1997)

Object-oriented technology : a manager's guide
Autor: Taylor, David A., 1943-
Vydáno: (1990)

Object-oriented programming in C++
Autor: Josuttis, Nicolai
Vydáno: (2003)

Modular specification and verification of object-oriented programs
Autor: Müller, Peter
Vydáno: (2002)

Modular specification and verification of object-oriented programs
Autor: Müller, Peter
Vydáno: (2002)

The object primer : the application developer´s guide to object orientation and the UML
Autor: Ambler, Scott W., 1966-
Vydáno: (2001)

Object-oriented programming in Oberon-2
Autor: Mössenböck, Hanspeter, 1959-
Vydáno: (1993)

ECOOP 2010 - object-oriented programming : 24th European conference, Maribor, Slovenia, June 21-25, 2010 : proceedings
Vydáno: (2010)

Object-oriented technology : ECOOP 2003 workshop reader : ECOOP 2003 workshops, Darmstadt, Germany, July 21-25, 2003 : final reports
Vydáno: (2004)

Object-oriented technology : ECOOP 2004 workshop reader : ECOOP 2004 workshops, Oslo, Norway, June 14-18, 2004 : final reports
Vydáno: (2005)

ECOOP 2007 - Object-oriented programming : 21st European conference, Berlin, Germany, July 30 - August 3, 2007 : proceedings
Vydáno: (2007)

ECOOP 2009 - Object-Oriented Programming : 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings
Vydáno: (2009)

Object-Oriented Programming using SOM and DSOM
Autor: Lau, Christina
Vydáno: (1995)

Python object-oriented programming : build robust and maintainable object-oriented Python applications and libraries
Autor: Lott, Steven F., 1956-
Vydáno: (2021)

An introduction to programming and object-oriented design using Java 5.0
Autor: Niño, Jaime
Vydáno: (2005)

Object oriented programming through Java
Autor: Radha Krishna, P.
Vydáno: (2007)

Growing object-oriented software, guided by tests
Autor: Freeman, Steve, 1958-
Vydáno: (2010)

Python 3 object oriented programming : harness the power of Python 3 objects
Autor: Phillips, Dusty, 1983-
Vydáno: (2010)

Deciphering object-oriented programming with C++ : a practical, in-depth guide to implementing object-oriented design principles to create robust code
Autor: Kirk, Dorothy R.
Vydáno: (2022)

Inside the object model : The sensible use of C++
Autor: Papurt, David M.
Vydáno: (1995)

ECOOP 2013 - Object-Oriented Programming : 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings
Vydáno: (2013)

C++ primer plus : teach yourself object-oriented programming
Autor: Prata, Stephen, 1942-
Vydáno: (1995)

Transactions on aspect-oriented software development.
Vydáno: (2006)

Practical object-oriented design in Ruby : an agile primer
Autor: Metz, Sandi
Vydáno: (2013)

Object-oriented technology : ECOOP '99 workshop reader. ECOOP '99 workshops, panels, and posters, Lisbon, Portugal, June 14-18, 1999. Proceedings
Vydáno: (1999)

Object-oriented environments : The Mjolner approach
Vydáno: (1993)

Transactions on aspects-oriented software development II
Vydáno: (2006)

Agent-oriented software engineering II : second international workshop, AOSE 2001, Montreal, Canada, May 29, 2001 : revised papers and invited contributions
Vydáno: (2002)

ECOOP 2006 - Object-Oriented Programming : 20th European Conference, Nantes, France, July 3-7, 2006. Proceedings
Vydáno: (2006)

The object-oriented thought process
Autor: Weisfeld, Matt A.
Vydáno: (2009)

Verification of object-oriented software : the KeY approach
Vydáno: (2007)

Object modeling with the OCL : the rationale behind the object constraint language
Vydáno: (2002)