Operational Semantics: Computer Science, Computer Program, Formal Semantics of Programming Languages, Axiomatic Semantics - Brossura

Brossura

ISBN 10: 6130356145 ISBN 13: 9786130356149

Casa editrice: Betascript Publishing, 2010

Riassunto

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. In computer science, operational semantics is a way to give meaning to computer programs in a mathematically rigorous way. Other approaches to providing a formal semantics of programming languages include axiomatic semantics and denotational semantics.The operational semantics for a programming language describes how a valid program is interpreted as sequences of computational steps. These sequences then are the meaning of the program. In the context of functional programs, the final step in a terminating sequence returns the value of the program. (In general there can be many return values for a single program, because the program could be nondeterministic, and even for a deterministic program there can be many computation sequences since the semantics may not specify exactly what sequence of operations arrives at that value.)

Dettagli dell'edizione

• Editore: Betascript Publishing
• Data di pubblicazione: 2010
• Lingua: Inglese
• ISBN 10: 6130356145
• ISBN 13: 9786130356149
• Rilegatura: Copertina flessibile
• Numero di pagine: 68
• Redattore: Surhone Lambert M., Timpledon Miriam T., Marseken Susan F.
• Contatto del produttore: non disponibile
• Persona responsabile: non disponibile