Treffer: A high-level modular definition of the semantics of C#

Title:
A high-level modular definition of the semantics of C#
Authors:
BÖRGER, Egon, FRUJA, Nicu G, GERVASI, Vincenzo, STÄRK, Robert F
Source:
Abstract state machines and high-level system design and analysisTheoretical computer science. 336(2-3):235-284
Publisher Information:
Amsterdam: Elsevier, 2005.
Publication Year:
2005
Physical Description:
print, 40 ref
Original Material:
INIST-CNRS
Subject Terms:
Computer science, Informatique, Sciences exactes et technologie, Exact sciences and technology, Sciences appliquees, Applied sciences, Informatique; automatique theorique; systemes, Computer science; control theory; systems, Informatique théorique, Theoretical computing, Théorie des langages et analyse syntaxique, Language theory and syntactical analysis, Logiciel, Software, Langages de programmation, Programming languages, Génie logiciel, Software engineering, Filet, Net, Red, Informatique théorique, Computer theory, Informática teórica, Interpréteur, Interpreter, Intérprete, Langage C, C language, Lenguaje C, Langage programmation, Programming language, Lenguaje programación, Machine abstraite, Abstract machine, Máquina abstracta, Machine virtuelle, Virtual machine, Máquina virtual, Modèle référence, Reference model, Modelo referencia, Sémantique, Semantics, Semántica, Validation, Validación, Vérification, Verification, Verificación
Subject Geographic:
Asie, Asia, Indonésie, Indonesia, Java
Document Type:
Fachzeitschrift Article
File Description:
text
Language:
English
Author Affiliations:
Dipartimento di Information, Università di Pisa, Via F. Buonarroti 2, 56127 Pisa, Italy
Computer Science Department, ETH Zurich, 8092 Zurich, Switzerland
ISSN:
0304-3975
Access URL:
http://pascal-francis.inist.fr/vibad/index.php?action=search&terms=16834227
Rights:
Copyright 2005 INIST-CNRS
CC BY 4.0
Sauf mention contraire ci-dessus, le contenu de cette notice bibliographique peut être utilisé dans le cadre d’une licence CC BY 4.0 Inist-CNRS / Unless otherwise stated above, the content of this bibliographic record may be used under a CC BY 4.0 licence by Inist-CNRS / A menos que se haya señalado antes, el contenido de este registro bibliográfico puede ser utilizado al amparo de una licencia CC BY 4.0 Inist-CNRS
Notes:
Computer science; theoretical automation; systems
Accession Number:
edscal.16834227
Database:
PASCAL Archive

Weitere Informationen

We propose a structured mathematical definition of the semantics of C# programs to provide a platform-independent interpreter view of the language for the C# programmer, which can also be used for a precise analysis of the ECMA standard of the language and as a reference model for teaching. The definition takes care to reflect directly and faithfully-as much as possible without becoming inconsistent or incomplete-the descriptions in the C# standard to become comparable with the corresponding models for Java in Stärk et al. (Java and Java Virtual Machine-Definition, Verification, Validation, Springer, Berlin, 2001) and to provide for implementors the possibility to check their basic design decisions against an accurate high-level model. The model sheds light on some of the dark comers of C# and on some critical differences between the ECMA standard and the implementations of the language.