Lennart Augustsson (1998):
Cayenne - a Language with Dependent Types.
In: Matthias Felleisen, Paul Hudak & Christian Queinnec: ICFP.
ACM,
pp. 239–250.
Available at http://doi.acm.org/10.1145/289423.289451.
Clark Barrett, Christopher L. Conway, Morgan Deters, Liana Hadarean, Dejan Jovanovic, Tim King, Andrew Reynolds & Cesare Tinelli (2011):
CVC4.
In: Ganesh Gopalakrishnan & Shaz Qadeer: Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings,
Lecture Notes in Computer Science 6806.
Springer,
pp. 171–177,
doi:10.1007/978-3-642-22110-1_14.
Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph R. Kiniry, Gary T. Leavens, K. Rustan Leino & Erik Poll (2005):
An overview of JML tools and applications.
International Journal on Software Tools for Technology Transfer 7(3),
pp. 212–232,
doi:10.1007/s10009-004-0167-4.
Patrice Chalin, Joseph R. Kiniry, Gary T. Leavens & Erik Poll (2005):
Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2.
In: FMCO,
Lecture Notes in Computer Science 4111.
Springer,
pp. 342–363,
doi:10.1007/11804192_16.
Susanne Graf & Hassen Saïdi (1997):
Construction of Abstract State Graphs with PVS.
In: Orna Grumberg: CAV,
Lecture Notes in Computer Science 1254.
Springer,
pp. 72–83,
doi:10.1007/3-540-63166-6_10.
Cordelia V. Hall, Kevin Hammond, Will Partain, Simon L. Peyton Jones & Philip Wadler (1992):
The Glasgow Haskell Compiler: A Retrospective.
In: John Launchbury & Patrick M. Sansom: Functional Programming, Glasgow 1992, Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992,
Workshops in Computing.
Springer,
pp. 62–71.
Michael Hind & Amer Diwan (2009):
Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009.
ACM.
C. A. R. Hoare (1969):
An Axiomatic Basis for Computer Programming.
Comm. ACM 12(10),
pp. 89–100,
doi:10.1145/363235.363259.
E. Horowitz, S. Sahni & D. Mehta (1997):
Fundamentals of Data Structures in C++,
4th edition.
Computer Science Press.
Ming Kawaguchi, Patrick Maxim Rondon & Ranjit Jhala (2009):
Type-based data structure verification.
In: Hind & Diwan,
pp. 304–315,
doi:10.1145/1542476.1542510.
Leonardo Mendonça de Moura & Nikolaj Bjørner (2008):
Z3: An Efficient SMT Solver.
In: C. R. Ramakrishnan & Jakob Rehof: Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings,
Lecture Notes in Computer Science 4963.
Springer,
pp. 337–340,
doi:10.1007/978-3-540-78800-3_24.
R. Peña (2005):
Diseño de Programas: Formalismo y Abstracción.
Tercera edición. Pearson Prentice-Hall.
Patrick Maxim Rondon, Alexander Bakst, Ming Kawaguchi & Ranjit Jhala (2012):
CSolve: Verifying C with Liquid Types.
In: P. Madhusudan & Sanjit A. Seshia: CAV,
Lecture Notes in Computer Science 7358.
Springer,
pp. 744–750.
Available at http://dx.doi.org/10.1007/978-3-642-31424-7_59.
Patrick Maxim Rondon, Ming Kawaguchi & Ranjit Jhala (2008):
Liquid types.
In: Rajiv Gupta & Saman P. Amarasinghe: PLDI.
ACM,
pp. 159–169,
doi:10.1145/1375581.1375602.
Saurabh Srivastava & Sumit Gulwani (2009):
Program verification using templates over predicate abstraction.
In: Hind & Diwan,
pp. 223–234,
doi:10.1145/1542476.1542501.
A. M. Turing (1949):
Checking a Large Routine.
In: Report of a Conference on High Speed Automatic Calculating Machines, Univ. Math. Lab., Cambridge,
pp. 67–69.
Niki Vazou, Eric L. Seidel & Ranjit Jhala (2014):
LiquidHaskell: experience with refinement types in the real world.
In: Wouter Swierstra: Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, Gothenburg, Sweden, September 4-5, 2014.
ACM,
pp. 39–51,
doi:10.1145/2633357.2633366.
Niki Vazou, Eric L. Seidel, Ranjit Jhala, Dimitrios Vytiniotis & Simon L. Peyton Jones (2014):
Refinement types for Haskell.
In: Johan Jeuring & Manuel M. T. Chakravarty: Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, Gothenburg, Sweden, September 1-3, 2014.
ACM,
pp. 269–282,
doi:10.1145/2628136.2628161.
eptcs@eptcs.org