Backbone.js: a JavaScript library with a RESTful JSON interface Play: an open source MVC web application framework TypeScript: a language for application-scale JavaScript development, Rajeev Alur Rastislav Bodik Garvit Juniwal Milo M. K. Martin Mukund Raghothaman Sanjit A. Seshia Rishabh Singh Armando Solar-Lezama Emina Torlak Abhishek Udupa 2013 Syntax-Guided Synthesis Proceedings of the IEEE International Conference on Formal Methods in Computer-Aided Design (FMCAD) 10.1109/FMCAD.2013.6679385 Ralph Back Jim Grundy Joakim Von Wright 1997 Structured Calculational Proof Formal Aspects of Computing 9 5-6 469–483 10.1007/BF01211456 Roland Backhouse Diethard Michaelis 2006 Exercises in quantifier manipulation Mathematics of program construction Springer 69–81 10.1007/11783596_7 Yves Bertot Thomas Kleymann-Schreiber Dilip Sequeira 1997 Implementing Proof by Pointing without a Structure Editor Technical Report ECS-LFCS-97-368 University of Edinburgh Richard Bornat Bernard Sufrin 1997 Jape: A calculator for animating proof-on-paper Automated Deduction—CADE-14 Springer 412–415 10.1007/3-540-63104-6_41 Michael Butler Thomas Långbacka 1996 Program Derivation Using the Refinement Calculator Theorem Proving in Higher Order Logics: 9th International Conference, volume 1125 of LNCS Springer Verlag 93–108 10.1007/BFb0105399 David Carrington Ian Hayes Ray Nickson G. N. Watson Jim Welsh 1996 A Tool for Developing Correct Programs by Refinement Technical Report Dipak L. Chaudhari Om Damani 2014 Automated Theorem Prover Assisted Program Calculations Elvira Albert Emil Sekerinski Integrated Formal Methods Lecture Notes in Computer Science Springer International Publishing 205–220 10.1007/978-3-319-10181-1_13 Dipak L. Chaudhari Om Damani 2015 Introducing Formal Methods via Program Derivation Innovation and Technology in Computer Science Education, ITiCSE 15 Ernie Cohen Markus Dahlweid Mark Hillebrand Dirk Leinenbach MichałMoskal Thomas Santen Wolfram Schulte Stephan Tobies 2009 VCC: A Practical System for Verifying Concurrent C Theorem Proving in Higher Order Logics Springer 10.1007/978-3-642-03359-9_2 Edsger W. Dijkstra 1975 Guarded Commands, Nondeterminacy and Formal Derivation of Programs Commun. ACM 18 8 453–457 10.1145/360933.360975 Edsger W. Dijkstra W. H. Feijen 1988 A Method of Programming Addison-Wesley Longman Publishing Co., Inc.
Boston, MA, USA
Jean-Christophe Filliâtre Andrei Paskevich 2013 Why3 – Where Programs Meet Provers ESOP'13 22nd European Symposium on Programming LNCS 7792 Springer
Rome, Italie
Michael Franssen 1999 Cocktail: A tool for deriving correct programs Workshop on Automated Reasoning Bart Jacobs Frank Piessens 2008 The VeriFast Program Verifier Technical Report CW-520 Dept. of Computer Science, Katholieke Universiteit Leuven Anne Kaldewaij 1990 Programming: The Derivation of Algorithms Prentice-Hall, Inc.
K. Rustan M. Leino 2010 Dafny: An Automatic Program Verifier for Functional Correctness Logic for Programming, Artificial Intelligence, and Reasoning Springer 10.1007/978-3-642-17511-4_20 K. Rustan M. Leino 2011 Tools and Behavioral Abstraction: A Direction for Software Engineering Sebastian Nanz The Future of Software Engineering Springer Berlin Heidelberg 115–124 10.1007/978-3-642-15187-3_7 Marcel Oliveira Manuela Xavier Ana Cavalcanti 2004 Refine and Gabriel: support for refinement and tactics Software Engineering and Formal Methods, 2004. SEFM 2004. Proceedings of the Second International Conference on IEEE 310–319 10.1109/SEFM.2004.1347535 Anthony M. Sloane 2011 Lightweight Language Processing in Kiama JoãoM. Fernandes Ralf Lämmel Joost Visser João Saraiva Generative and Transformational Techniques in Software Engineering III Lecture Notes in Computer Science 6491 Springer Berlin Heidelberg 408–425 10.1007/978-3-642-18023-1_12 Douglas R. Smith 2008 Generating Programs Plus Proofs by Refinement Bertrand Meyer Jim Woodcock Verified Software: Theories, Tools, Experiments Lecture Notes in Computer Science 4171 Springer Berlin Heidelberg 182–188 10.1007/978-3-540-69149-5_20