๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Non-Standard Semantics for Program Slicing

โœ Scribed by Roberto Giacobazzi; Isabella Mastroeni

Book ID
111554399
Publisher
Springer
Year
2003
Tongue
English
Weight
294 KB
Volume
16
Category
Article
ISSN
1388-3690

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Program slicing for VHDL
Program slicing for VHDL
โœ E.M. Clarke; M. Fujita; S.P. Rajan; T. Reps; S. Shankar; T. Teitelbaum ๐Ÿ“‚ Article ๐Ÿ“… 2002 ๐Ÿ› Springer ๐ŸŒ English โš– 314 KB
Non-standard semantics of hybrid systems
Non-standard semantics of hybrid systems modelers
โœ Albert Benveniste; Timothy Bourke; Benoรฎt Caillaud; Marc Pouzet ๐Ÿ“‚ Article ๐Ÿ“… 2012 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 586 KB
Formal Semantics for Program Paths
Formal Semantics for Program Paths
โœ Karl Lermer; Colin Fidge; Ian Hayes ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 230 KB