Définitions formelles des classes et des structures

math
class
object
struct

2010-09-30 6 views 0 likes

Je me souviens d'avoir abordé ce sujet lors d'un cours sur les langages de programmation. Je me souviens vaguement qu'une structure pouvait être vue comme un tuple mathématique. Est-il possible de décrire une classe ou un objet d'une manière similaire?Définitions formelles des classes et des structures

Source

2010-09-30 Magnus

Répondre

Oui. Voir "A Theory of Objects" by Abadi and Cardelli.

Source

2010-09-30 23:20:03 CesarGon

Questions connexes

1. Comment regrouper des énumérations, des structures et des sous-classes dans des classes?
2. Programmation pédagogique et méthodes formelles
3. Taille des structures gérées
4. Différences entre les structures et les classes?
5. Utiliser des pointeurs avec des fonctions et des structures
6. Où déclarer des structures, etc.?
7. Importer des définitions d'objets Spring
8. Nettoyage Transfert des définitions ORM?
9. Sérialisation des structures
10. Définitions de classes fantômes dans Flash CS5?
11. Passer des pointeurs vers des structures privées en C?
12. Définition des structures de données et des algorithmes C#
13. Liste des algorithmes génériques et des structures de données
14. .NET Le choix entre les structures et les classes
15. Les objets DAO doivent-ils être des classes ou des structures?
16. Quand utiliser __gc pour les classes et les structures?
17. Comment lier des classes et des menus
18. Code utilisant des classes et des interfaces
19. vecteurs STL, des pointeurs et des classes
20. Lier des liaisons avec des structures
21. anonyme classes non étiquetées vides, structures, unions, et enums
22. Références dans les définitions de fonction et les définitions des paramètres
23. Problèmes avec des structures avec des pointeurs vers des tableaux d'autres structures en C
24. Flex - Sérialisation XML et dé-sérialisation des structures d'objets imbriquées
25. Libération récursive des structures C
26. aide avec des pointeurs et des structures et des tableaux dans c
27. Accès variables et méthodes en dehors des définitions de classe
28. confus, où sont les définitions des actions show et index?
29. Organisation des assistants, des méthodes et des classes
30. Applescript obtenant des définitions de google