Search Results - d.3.3 [programming languages]: language construction and features-classes and objects inheritance*

General Terms Languages, Verification

Authors: Tahina Ramananandro Gabriel Dos Reis Xavier Leroy et al.

Contributors: Tahina Ramananandro Gabriel Dos Reis Xavier Leroy et al.

Source: http://hal.inria.fr/docs/00/67/46/63/PDF/cpp-construction.pdf.

Subject Terms: Categories and Subject Descriptors D.1.5 [Programming techniques, Object-oriented Programming, D.2.0 [Software Engineering, General—Standards, D.2.2 [Software Engineer- ing, Design Tools and Techniques—Object-oriented design methods, D.2.4 [Software Engineering, Software/Program Verification—Correctness proofs, D.3.3 [Programming Languages, Language Constructs and Features—Classes and objects, Inheritance, F.3.3 [Logics and meanings of programs

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.593.2435

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.593.2435
http://hal.inria.fr/docs/00/67/46/63/PDF/cpp-construction.pdf

Implementing statically typed object-oriented programming languages.

Authors: Ducournau, Roland

Source: ACM Computing Surveys; Apr2011, Vol. 43 Issue 3, p1-48, 48p

Subject Terms: OBJECT-oriented programming, DATA structures, COMPUTER programming, ELECTRONIC file management, OBJECT-oriented methods (Computer science)

JavaGI: The Interaction of Type Classes with Interfaces and Inheritance.

Authors: Wehr, Stefan Thiemann, Peter

Source: ACM Transactions on Programming Languages & Systems; Jul2011, Vol. 33 Issue 4, p12:1-12:83, 83p

Subject Terms: JAVA programming language, COMPUTER interfaces, BINARY-coded decimal system, COMPILERS (Computer programs), CODE generators, COMPUTER software

Expressive and Modular Predicate Dispatch for Java.

Authors: MILLSTEIN, TODD FROST, CHRISTOPHER RYDER, JASON et al.

Source: ACM Transactions on Programming Languages & Systems; Feb2009, Vol. 31 Issue 2, p7:1-7:54, 54p, 43 Diagrams, 2 Charts

Subject Terms: JAVA programming language, OBJECT-oriented programming, MODULAR programming, ALGORITHMS, CASE studies, EQUALITY, FUNCTIONAL programming (Computer science)

Type-Checking OQL Queries In the ODMG Type Systems.

Authors: Alagić, Suad

Source: ACM Transactions on Database Systems; Sep99, Vol. 24 Issue 3, p319-360, 42p

Subject Terms: OBJECT-oriented databases, JAVA programming language, POLYMORPHISM (Crystallography), C++, INFORMATION storage & retrieval systems, INTERNET programming

A Real-Time Java Virtual Machine with Applications in Avionics.

Authors: Armbruster, Austin Baker, Jason Cunei, Antonio et al.

Source: ACM Transactions on Embedded Computing Systems; Dec2007, Vol. 7 Issue 1, p1-49, 49p, 1 Black and White Photograph, 26 Diagrams, 3 Charts, 6 Graphs

Subject Terms: AVIONICS, JAVA programming language, VIRTUAL machine systems, COMPUTER memory management, OPEN source software

Compiling with C# and Java

Authors: Pat D Terry

Resource Type: eBook.

Subjects: C# (Computer program language), Java (Computer program language)

Categories: NON-CLASSIFIABLE

PostGIS in Action, Second Edition

Authors: Leo S. Hsu Regina O. Obe

Resource Type: eBook.

Subjects: Geographic information systems, Database searching

Categories: COMPUTERS / Optical Data Processing, COMPUTERS / Data Science / General

Handbook of Applied Spatial Analysis : Software Tools, Methods and Applications

Authors: Manfred M. Fischer Arthur Getis

Resource Type: eBook.

Subjects: Spatial analysis (Statistics)--Data processing, Spatial data infrastructures

Categories: BUSINESS & ECONOMICS / Urban & Regional, BUSINESS & ECONOMICS / Econometrics, SCIENCE / Environmental Science, SCIENCE / Earth Sciences / Geography, SOCIAL SCIENCE / Human Geography, SOCIAL SCIENCE / Statistics

Artificial Intelligence: Theories, Models and Applications : 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008, Proceedings

Authors: John Darzentas George Vouros Spyros Vosinakis et al.

Resource Type: eBook.

Subjects: Artificial intelligence--Congresses

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Data Science / Data Analytics, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General, MATHEMATICS / Probability & Statistics / General

ECOOP '88 European Conference on Object-Oriented Programming

Authors: Stein Gjessing Kristen Nygaard

Resource Type: eBook.

Subjects: Object-oriented programming (Computer science)--

Categories: COMPUTERS / Programming / General, COMPUTERS / Artificial Intelligence / General