Two-Level Functional Languages 1
bokomslag Two-Level Functional Languages
Data & IT

Two-Level Functional Languages

Flemming Nielson • Hanne Riis Nielson • Flemming Nielson • Hanne Riis Nielson • C J Van Rijsbergen

Pocket

869:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 5-10 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 312 sidor
  • 2005
The authors describe here a framework in which the type notation of functional languages is extended to include a distinguishing notation for run-times and compile-times. Consequently the ability to specify code and verify program correctness can be improved.
  • Författare: Flemming Nielson, Hanne Riis Nielson, Flemming Nielson, Hanne Riis Nielson, C J Van Rijsbergen
  • Format: Pocket/Paperback
  • ISBN: 9780521018470
  • Språk: Engelska
  • Antal sidor: 312
  • Utgivningsdatum: 2005-08-22
  • Förlag: Cambridge University Press

Du kanske gillar

  1. bokomslag SIGIR '94

    SIGIR '94

    W Bruce Croft, Cornelis Joost Van Rijsbergen, C J Van Rijsbergen, Bruce Croft, C J Van Rijsbergen

    Pocket

    1469:-
  2. bokomslag Computational Learning Theory

    Computational Learning Theory

    M H G Anthony, N Biggs, M H G Anthony, Norman L Biggs, C J Van Rijsbergen

    Pocket

    699:-
  3. bokomslag Two-Level Functional Languages

    Two-Level Functional Languages

    Flemming Nielson, Hanne Riis Nielson, Flemming Nielson, Hanne Riis Nielson

    Inbunden

    2219:-
  4. bokomslag Free Choice Petri Nets

    Free Choice Petri Nets

    Jorg Desel, Javier Esparza, Jorg Desel, Javier Esparza, C J Van Rijsbergen

    Pocket

    679:-
  5. bokomslag Type And Effect Systems: Behaviours For Concurrency

    Type And Effect Systems: Behaviours F...

    Torben Amtoft, Hanne Riis Nielson, Flemming Nielson, Flemming Nielson & Torben Amtoft

    Inbunden

    2019:-
  6. bokomslag Information Flow

    Information Flow

    Jon Barwise, Jerry Seligman, Jon Barwise, Whatley, C J Van Rijsbergen

    Inbunden

    1259:-
  7. bokomslag Theoretical Foundations of VLSI Design

    Theoretical Foundations of VLSI Design

    K Mcevoy, J V Tucker, K Mcevoy, C J Van Rijsbergen, C J Van Rijsbergen

    Pocket

    1059:-
  8. bokomslag Maxwell and the Very Big Cookie

    Maxwell and the Very Big Cookie

    Ginger A Nielson, Ginger A Nielson, Ginger A Nielson, Ginger A Nielson

    Pocket

    219:-
  9. bokomslag The Optimal Implementation of Functional Programming Languages

    The Optimal Implementation of Functio...

    Andrea Asperti, Stefano Guerrini, Andrea Asperti, C J Van Rijsbergen, C J Van Rijsbergen

    Inbunden

    1439:-
  10. bokomslag Psychologies in Religion

    Psychologies in Religion

    E T Dowd, Steven Nielson, E Thomas Dowd, Stevan Nielson, Stevan Nielson Phd

    Inbunden

    1339:-

Andra av samma författare

  1. bokomslag Semantics with Applications: An Appetizer

    Semantics with Applications: An Appet...

    Flemming Nielson Hanne Riis Nielson

    Pocket

    529:-
  2. bokomslag Programs, Recursion and Unbounded Choice

    Programs, Recursion and Unbounded Choice

    Wim H Hesselink, Hesselink Wim H, C J Van Rijsbergen

    Pocket

    789:-
  3. bokomslag Nets, Terms and Formulas

    Nets, Terms and Formulas

    E-R Olderog, E R Olderog, C J Van Rijsbergen, C J Van Rijsbergen, Samson Abramsky

    Pocket

    789:-
  4. bokomslag Extensions of First-Order Logic

    Extensions of First-Order Logic

    Maria Manzano, Maria Manzano, C J Van Rijsbergen, C J Van Rijsbergen, Samson Abramsky

    Pocket

    1219:-
  5. bokomslag Free Choice Petri Nets

    Free Choice Petri Nets

    Jorg Desel, Javier Esparza, Jorg Desel, Javier Esparza, C J Van Rijsbergen

    Pocket

    679:-
  6. bokomslag The Logic of Typed Feature Structures

    The Logic of Typed Feature Structures

    Robert L Carpenter, Bob Carpenter, C J Van Rijsbergen, C J Van Rijsbergen, Samson Abramsky

    Pocket

    789:-
  7. bokomslag Deductive and Declarative Programming

    Deductive and Declarative Programming

    Peter Padawitz, P Padawitz, C J Van Rijsbergen

    Pocket

    789:-
  8. bokomslag The Uncertain Reasoner's Companion

    The Uncertain Reasoner's Companion

    J B Paris, J B Paris, C J Van Rijsbergen, C J Van Rijsbergen, Samson Abramsky

    Pocket

    829:-
  9. bokomslag Logic and Computation

    Logic and Computation

    Lawrence C Paulson, Lawrence C Paulson, C J Van Rijsbergen, C J Van Rijsbergen, Samson Abramsky

    Pocket

    949:-
  10. bokomslag Formal Methods in Artificial Intelligence

    Formal Methods in Artificial Intellig...

    Allan M Ramsay, Allan Ramsay, C J Van Rijsbergen, C J Van Rijsbergen, Samson Abramsky

    Pocket

    699:-