Nicholas Smallbone

Forskare vid Chalmers, Data- och informationsteknik, Funktionell programmering

Visar 21 publikationer

2017

Quick Specifications for the Busy Programmer

Nicholas Smallbone, Moa Johansson, Koen Lindström Claessen et al
Journal of Functional Programming. Vol. 27
Artikel i vetenskaplig tidskrift
2017

QuickSpec: A Lightweight Theory Exploration Tool for Programmers

Maximilian Algehed, Koen Lindström Claessen, Moa Johansson et al
SIGPLAN Notices (ACM Special Interest Group on Programming Languages). Vol. 52 (10), p. 38-39
Paper i proceeding
2016

Find More Bugs with QuickCheck!

John Hughes, Ulf Norell, Nicholas Smallbone et al
11th IEEE/ACM International Workshop on Automation of Software Test (AST 2016), p. 71-77
Paper i proceeding
2016

Encoding monomorphic and polymorphic types

Jasmin Christian Blanchette, Sascha Böhme, Andrei Popescu et al
Logical Methods in Computer Science. Vol. 12 (4)
Artikel i vetenskaplig tidskrift
2015

TIP: Tons of Inductive Problems

Koen Lindström Claessen, Moa Johansson, Dan Rosén et al
Lecture Notes in Computer Science. Vol. 9150, p. 332-336
Paper i proceeding
2015

Tip: Tools for inductive provers

Dan Rosén, Nicholas Smallbone
Lecture Notes in Computer Science. Vol. 9450, p. 219-232
Paper i proceeding
2015

Linking Unit Tests and Properties

Alex Gerdes, John Hughes, Nicholas Smallbone et al
Erlang Workshop, 2015-09-04, Vancouver, p. 19-26
Paper i proceeding
2014

An expressive semantics of mocking

Josef Svenningsson, Hans Svensson, Nicholas Smallbone et al
Lecture Notes in Computer Science. Vol. 8411, p. 385-399
Paper i proceeding
2014

Hipster: Integrating theory exploration in a proof assistant

Moa Johansson, Dan Rosén, Nicholas Smallbone et al
Lecture Notes in Computer Science. Vol. 8543, p. 108-122
Paper i proceeding
2014

Compiling Linear Logic using Continuations

Jean-Philippe Bernardy, Dan Rosén, Nicholas Smallbone
Preprint
2013

Automating Inductive Proofs using Theory Exploration

Koen Lindström Claessen, Dan Rosén, Moa Johansson et al
Lecture Notes in Computer Science. Vol. 7898, p. 392-406
Paper i proceeding
2013

Encoding Monomorphic and Polymorphic Types

Jasmin Christian Blanchette, Sascha Böhme, Andrei Popescu et al
Lecture Notes in Computer Science. Vol. 7795, p. 493-507
Paper i proceeding
2013

Lightweight verification of functional programs

Nicholas Smallbone
Doktorsavhandling
2011

Accelerating race condition detection through procrastination

Thomas Arts, John Hughes, Ulf Norell et al
Proceedings of the 2011 ACM SIGPLAN Erlang Workshop, Tokyo, 23 September 2011, p. 14-22
Paper i proceeding
2011

Property-based testing for functional programs

Nicholas Smallbone
Licentiatavhandling
2011

Sort it out with monotonicity: translating between many-sorted and unsorted first-order logic

Koen Lindström Claessen, Ann Lillieström, Nicholas Smallbone
Lecture Notes in Computer Science, p. 207-221
Paper i proceeding
2010

QuickSpec: Guessing Formal Specifications using Testing

Koen Lindström Claessen, Nicholas Smallbone, John Hughes
Lecture Notes in Computer Science. Vol. 6143, p. 6-21
Paper i proceeding
2010

Ranking programs using black box testing

Koen Lindström Claessen, John Hughes, Michal Palka et al
Proceedings - International Conference on Software Engineering, p. 103-110
Paper i proceeding
2009

Finding Race Conditions in Erlang with Quick Check and PULSE

Koen Lindström Claessen, Michal Palka, Nicholas Smallbone et al
ICFP'09: Proceedings of the ACM SIGPLAN International Conference on Functional Programming, p. 149-160
Paper i proceeding
2009

Finding Race Conditions in Erlang with QuickCheck and PULSE

Koen Claessen, Michal Palka, Nicholas Smallbone et al
ACM SIGPLAN international conference on Functional programming
Paper i proceeding
2009

Finding race conditions in erlang with quickcheck and PULSE

Koen Lindström Claessen, Michal Palka, Nicholas Smallbone et al
ACM SIGPLAN Notices. Vol. 44 (9), p. 149-160
Artikel i vetenskaplig tidskrift

Spara referenser

Om du har installerat Zotero eller Mendeley på din dator kan du direkt ta ut referenser från de publikationer du ser i listan.

Du laddar ner dessa pluginer här:
Zotero
Mendeley

Visar 1 forskningsprojekt

2017–2022

Systematisk testning av cyberfysiska system (SyTeC)

John Hughes Funktionell programmering
Koen Lindström Claessen Funktionell programmering
Martin Fabian Automation
Mary Sheeran Funktionell programmering
Bengt Lennartson Automation
Nicholas Smallbone Funktionell programmering
Zahra Ramezani Automation
Knut Åkesson Automation
Vetenskapsrådet (VR)

Det kan finnas fler projekt där Nicholas Smallbone medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.