Publisher: Springer; 2011 edition (October 28, 2011)
Format: PDF / Kindle / ePub
Size: 9.1 MB
Downloadable formats: PDF
This e-book constitutes the completely refereed post-conferenceproceedings of the twenty second foreign Symposium on Implementation andApplications of practical Languages, IFL 2010, held in Alphen aan denRijn, The Netherlands, in September 2010.The thirteen revised complete papers provided have been rigorously reviewed and wereselected from 31 submissions. The IFL symposia carry togetherresearchers and practitioners which are actively engaged in theimplementation and using useful and serve as dependent programminglanguages. each year IFL presents a venue for the presentation anddiscussion of latest principles and ideas, of labor in growth, and ofpublication-ripe effects.
Formal Techniques for Safety-Critical Systems: 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers (Communications in Computer and Information Science) summary