Zum Inhalt springen

Runciman, Colin [Verfasser:in] ; Association for Computing Machinery, ACM Special Interest Group on Programming Languages

Proceedings of the eighth ACM SIGPLAN international conference on Functional programming

Online ansehen
Schließen

Zugang

... zum E-Book via ACM Digital Library (Volltext)

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

New York, NY: ACM, 2003

Erschienen in: ACM Digital Library- ACM Conferences
Bulwahn, Lukas [Verfasser:in] ; Nipkow, Tobias (Prof., Ph.D.) [Mitwirkende:r]; Nipkow, Tobias (Prof., Ph.D.);Runciman, Colin [Mitwirkende:r]

Counterexample Generation for Higher-Order Logic Using Functional and Logic Programming ; Generierung von Gegenbeispielen für höherstufige Logik unter Verwendung von funktionalen und logischen Programmen

Online ansehen
Schließen

Links

... zur Hochschulschrift

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Technical University of Munich; Technische Universität München, 2013-11-27
Bulwahn, Lukas [Verfasser:in] ; Nipkow, Tobias [Akademische:r Betreuer:in]; Runciman, Colin [Akademische:r Betreuer:in]

Counterexample Generation for Higher-Order Logic Using Functional and Logic Programming

Online ansehen
Schließen

Zugang

... zum E-Book via Resolving-System

... zum E-Book via Deutsche Nationalbibliothek

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

München: Universitätsbibliothek der TU München, 2013
Runciman, Colin

Session details: Higher-order model checking and slicing

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2012

Erschienen in: ACM SIGPLAN Notices, 47 (2012) 9
RUNCIMAN, COLIN

FUNCTIONAL PEARL Lazy wheel sieves and spirals of primes

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cambridge University Press (CUP), 1997

Erschienen in: Journal of Functional Programming, 7 (1997) 2, Seite 219-225
Runciman, Colin

Modula and a vision laboratory

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 1981

Erschienen in: International Journal of Man-Machine Studies, 14 (1981) 3, Seite 371-386
Runciman, Colin

Scarcely variabled programming and Pascal

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 1979

Erschienen in: ACM SIGPLAN Notices, 14 (1979) 11, Seite 97-106
HINZE, RALF; RUNCIMAN, COLIN

Super-naturals

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cambridge University Press (CUP), 2022

Erschienen in: Journal of Functional Programming, 32 (2022)
Braquehais, Rudy; Runciman, Colin

FitSpec: refining property sets for functional testing

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2018

Erschienen in: ACM SIGPLAN Notices, 51 (2018) 12, Seite 1-12
Walker, Michael; Runciman, Colin

Functional and Logic Programming: Cheap Remarks About Concurrent Programs

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2018

Erschienen in: Functional and Logic Programming (2018), Seite 264-279
Braquehais, Rudy; Runciman, Colin

Speculate: discovering conditional equations and inequalities about black-box functions by reasoning from test results

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2017

Erschienen in: ACM SIGPLAN Notices, 52 (2017) 10, Seite 40-51
Walker, Michael; Runciman, Colin

Déjà Fu: a concurrency testing library for Haskell

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2016

Erschienen in: ACM SIGPLAN Notices, 50 (2016) 12, Seite 141-152
NAYLOR, MATTHEW; RUNCIMAN, COLIN

The Reduceron reconfigured and re-evaluated

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cambridge University Press (CUP), 2012

Erschienen in: Journal of Functional Programming, 22 (2012) 4-5, Seite 574-613
Naylor, Matthew; Runciman, Colin

The reduceron reconfigured

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2010

Erschienen in: ACM SIGPLAN Notices, 45 (2010) 9, Seite 75-86
Mitchell, Neil; Runciman, Colin

Not all patterns, but enough : an automatic verifier for partial but sufficient pattern matching : an automatic verifier for partial but sufficient pattern matching

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2009

Erschienen in: ACM SIGPLAN Notices, 44 (2009) 2, Seite 49-60
Mitchell, Neil; Runciman, Colin

Implementation and Application of Functional Languages: A Supercompiler for Core Haskell

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2008

Erschienen in: Implementation and Application of Functional Languages (2008), Seite 147-164
Naylor, Matthew; Runciman, Colin

Implementation and Application of Functional Languages: The Reduceron: Widening the von Neumann Bottleneck for Graph Reduction Using an FPGA

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2008

Erschienen in: Implementation and Application of Functional Languages (2008), Seite 129-146
Matsushita, Tatsuru; Runciman, Colin

The accepting power of unary string logic programs

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2001

Erschienen in: Theoretical Computer Science, 266 (2001) 1-2, Seite 59-79
Adam, Bakewell; Colin, Runciman

A Space Semantics for Core Haskell

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2001

Erschienen in: Electronic Notes in Theoretical Computer Science, 41 (2001) 1, Seite 36
Wallace, Malcolm; Runciman, Colin

The bits between the lambdas : binary data in a lazy functional language : binary data in a lazy functional language

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 1999

Erschienen in: ACM SIGPLAN Notices, 34 (1999) 3, Seite 107-117

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr