Idealized coinductive type systems for imperative object-oriented programs

Author： Ancona Davide   Lagorio Giovanni  

Publisher： Edp Sciences

E-ISSN： 1290-385x|45|1|3-33

ISSN： 0988-3754

Source： RAIRO - Theoretical Informatics and Applications, Vol.45, Iss.1, 2011-03, pp. : 3-33

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

OBJECT-ORIENTED PROGRAMMING METHODOLOGIES FOR HIGH PERFOMANCE LOW COST HMI/PLC SYSTEMS

By Johnson F Michael   Black James M  

Proceedings of the Water Environment Federation, Vol. 2002, Iss. 16, 2002-01 ,pp. : 450-469

Water Environment Federation

Access to resources Recommend Favorite

Operational Automatic Remote Sensing Image Understanding Systems: Beyond Geographic Object-Based and Object-Oriented Image Analysis (GEOBIA/GEOOIA). Part 1: Introduction

By Baraldi Andrea   Boschetti Luigi  

Remote Sensing, Vol. 4, Iss. 9, 2012-09 ,pp. : 2694-2735

MDPI

Access to resources Recommend Favorite

Operational Automatic Remote Sensing Image Understanding Systems: Beyond Geographic Object-Based and Object-Oriented Image Analysis (GEOBIA/GEOOIA). Part 2: Novel system Architecture, Information/Knowledge Representation, Algorithm Design and Implementation

By Baraldi Andrea   Boschetti Luigi  

Remote Sensing, Vol. 4, Iss. 9, 2012-09 ,pp. : 2768-2817

MDPI

Access to resources Recommend Favorite

Lakemaker: A general object-oriented software tool for modelling the eutrophication process in lakes

By Del Furia L.   Rizzoli A.   Arditi R.  

Environmental Software, Vol. 10, Iss. 1, 1995-01 ,pp. : 43-64

Elsevier

Access to resources Recommend Favorite

The concept of "SuperSub" in object-oriented SEA modeling (OO-SEA)

By Onsay Sebnem  

INTER-NOISE and NOISE-CON Congress and Conference Proceedings, Vol. 2003, Iss. 1, 2003-06 ,pp. : 919-927

Institute of Noise Control Engineering

Access to resources Recommend Favorite