Slide 11 Towards a Verifying Compiler: The Spec# Approach Wolfram Schulte Microsoft Research Formal Methods 2006 Joint work with Rustan Leino, Mike Barnett, Manuel Fähndrich,…
1.TypeScript30.4.2013, @papsl2. Meet Me• C#, SQL• Web and Mobile• Security & white hacks• Computer history• Scrum, daily work at pixi* labs• Startup wanna…
1. International Journal of Programming Languages and Applications ( IJPLA ) Vol.4, No.1, January 2014A NOVEL DATATYPE ARCHITECTURE SUPPORT FOR PROGRAMMING LANGUAGES Mehran…
PowerPoint Presentation Let it Crash Based on Prolog Academic Bad for Text RabbitMQ Opscode Chef Not Node.JS Web-scale Riak Parallelism Funny Syntax Concurrent Actor Model…
2015-01-31 http://www.gnosis.cx/pycon-by-2015/ PyCon&Belarus&2015 Keynote:(type(annotations David&Mertz page 1 PEP 484 and Python's (future) type annotation…
https://www.dartlang.org/events/2014/flight-school/ It might be awhile before Dart reaches Australia! Familiar Looks like Java Looks like C# Behaves like JavaScript &…