Lisp

Results: 1687



#Item
911LISP for NOS/VE Language Definition: Usage Supplement

LISP for NOS/VE Language Definition: Usage Supplement

Add to Reading List

Source URL: www.softwarepreservation.org

Language: English - Date: 2012-09-10 22:12:26
912Towards Certification of Resource Consumption Alberto Momigliano and Lennart Beringer Laboratory for Foundations of Computer Science University of Edinburgh Work carried out in the EU-project ”Mobile Resource Guarantee

Towards Certification of Resource Consumption Alberto Momigliano and Lennart Beringer Laboratory for Foundations of Computer Science University of Edinburgh Work carried out in the EU-project ”Mobile Resource Guarantee

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2005-04-12 12:28:43
913Metaprogramming Showdown Lisp vs. Ruby 1 Tim Crews

Metaprogramming Showdown Lisp vs. Ruby 1 Tim Crews

Add to Reading List

Source URL: www.rubyaz.org

Language: English
914END-USER GUIDE TECHILA WITH PYTHON JANUARY 04, 2013 Disclaimer

END-USER GUIDE TECHILA WITH PYTHON JANUARY 04, 2013 Disclaimer

Add to Reading List

Source URL: www.techila.fi

Language: English - Date: 2014-04-25 07:30:51
915A program logic for resources and its application to optimisation validation Alberto Momigliano Laboratory for Foundations of Computer Science University of Edinburgh In collaboration with:

A program logic for resources and its application to optimisation validation Alberto Momigliano Laboratory for Foundations of Computer Science University of Edinburgh In collaboration with:

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2005-12-05 13:08:28
916Preliminary List of Participants and papers

Preliminary List of Participants and papers

Add to Reading List

Source URL: www.softwarepreservation.org

Language: English - Date: 2012-04-23 13:59:57
917Automatic Certification of Resource Consumption Alberto Momigliano Laboratory for Foundations of Computer Science University of Edinburgh In collaboration with: see credits at the end of the talk Work carried out in the

Automatic Certification of Resource Consumption Alberto Momigliano Laboratory for Foundations of Computer Science University of Edinburgh In collaboration with: see credits at the end of the talk Work carried out in the

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2005-04-12 12:26:21
918Common Lisp Sockets APIs An analysis and proposal Dave Roberts dave-at-findinglisp-com www.findinglisp.com Version 0.2.5, 27-Dec-2005

Common Lisp Sockets APIs An analysis and proposal Dave Roberts dave-at-findinglisp-com www.findinglisp.com Version 0.2.5, 27-Dec-2005

Add to Reading List

Source URL: www.findinglisp.com

Language: English - Date: 2005-12-27 11:23:41
919A Software Architecture for A.I. Systems Based on Self-Modifying Software Individuals Erik Sandewall Department of Computer and Information Science Linkoping University[removed]Linkoping, Sweden

A Software Architecture for A.I. Systems Based on Self-Modifying Software Individuals Erik Sandewall Department of Computer and Information Science Linkoping University[removed]Linkoping, Sweden

Add to Reading List

Source URL: www.ida.liu.se

Language: English - Date: 2012-02-03 06:31:23
920High-Level Design of WWW Servers in Allegro CommonLisp Software Description Erik Sandewall Department of Computer and Information Science Linkoping University

High-Level Design of WWW Servers in Allegro CommonLisp Software Description Erik Sandewall Department of Computer and Information Science Linkoping University

Add to Reading List

Source URL: www.ida.liu.se

Language: English - Date: 2012-02-03 06:32:50