Loading...
Images of Rudi Schlatte
(0 from 0 )Network Profiles
Twitter Profile: Rudi Schlatte (rudi_sat)
Lisp. Postdoc. Cloud theoretician. Rewriting logic. Coffee?
Home · rudi/creol-mode Wiki · GitHubgithub.com › rudi › creol-mode › wiki
github.com
Initial emacs mode for Creol by Marcel Kyas &.no>, further development and maintenance by Rudi Schlatte &>. Creol-mode is ...
Rudi Schlatte on Hi
hitotoki.org
Rudi Schlatte. Somewhere, The Universe. Insert pithy one-line bio here. 62 words in 3 moments in 3 cities since January 18th,
lisplibraries/ChangeLog at master · vikram/lisplibraries · GitHubgithub.com › vikram › lisplibraries › blob › master › site › acl-compat › C...
github.com
Rudi Schlatte . * sbcl/acl-mp.lisp (defun/sb-thread): silence compilation style. warning on single-threaded sbcl.
Projects
rudi / Profile
sourceforge.net
Rudi Schlatte. User Activity Committed Document repository move 3 months ago; Posted a comment on ticket #1544 on gnuplot. Many thanks! I followed your …
Science - Peter Grzybekwww.peter-grzybek.eu › science › projects
www.peter-grzybek.eu
Project Team: Gordana Antić, Emmerich Kelih, Rudi Schlatte & Manuela Laber, Michaela Sattler, Sabine Steinweiss. Short Description: Word Length ...
Portable AllegroServe(tm) / Re: [Portableaserve-discuss] Proposal:...
sourceforge.net
April :12 schrieb Rudi Schlatte: > - Hi, > - > - The acl-compat directory is enough of a mess that I think it's time to > - add per-implementation subdirectories and move implementation-specific > - files in there. The downside, of course, is that CVS history is lost > - by the move Yes thats unfortunate. - I think the reordering should ...
Steel Bank Common Lisp / Thread: [Sbcl-help] compiling on cygwin -...
sourceforge.net
On Dec 1, :42 PM, Rudi Schlatte <rudi@ wrote: On , at 07:55, Terrence Brannon wrote: I saw the earlier thread on this subject: http ...
Books & Literature
Contributions to the Science of Text and Language: Word Length ...books.google.dk › books
books.google.dk
Also, without the help of the Graz team, mainly my friends and colleagues Gordana Anti ́c, Emmerich Kelih, Rudi Schlatte, and of course Ernst Stadlober, ...
Contributions to the Science of Text and Language: Word Length...
books.google.fr
This volume contains a collection of contributions to the science of language, focusing on the study of word length in particular. Within a synergetic...
Formal Methods for Components and Objects: 11th International ...books.google.dk › books
books.google.dk
The contributions of Rudi Schlatte and Lizeth Tapia, who have been directly involved in the development of deployment modeling in ABS, are gratefully ...
Integrated Formal Methods: 8th International Conference, IFM 2010, ...books.google.dk › books
books.google.dk
... Martin Musicante Anantha Narayanan Khanh Nguyen Truong Daniel Plagge Jean-Baptiste Raclet Thomas Ruhroth Christoph Scheben Rudi Schlatte – Neeraj Singh ...
Related Documents
CiteSeerX — Validation of Creol Models for Routing Algorithms in...
citeseerx.ist.psu.edu
Rudi Schlatte is researcher at the University of Oslo, after recently having finished his PhD studies at Graz University of Technology. He received a master ...
Developing Real-Time Collaborative Editing Using Formal Methods ...martinsteffen.github.io › masters › completed › tveito › abstract
martinsteffen.github.io
supervisors, Rudi Schlatte, Martin Steffen. IFI links, abstract, thesis, presentation. code, github repository. Tags: Clojure, collaborative editing, ...
www.quicklisp.org
www.quicklisp.org
Rudi Schlatte & - * aserve/proxy.cl (write-body-buffers): initialize len to numeric value in all cases Klaus Harbo <klaus@ ...
[PDF] Testing Abstract Behavioral Specifications - The Costa Groupcosta.fdi.ucm.es › papers › costa › WongBBGGHMS14
costa.fdi.ucm.es
Rudi Schlatte, and Peter Y. H. Wong. Modeling Spatial and Temporal Variability with the HATS Abstract. Behavioral Modeling Language. In M. Bernardo and.
Scientific Publications
Untitled Document
www-gewi.uni-graz.at
Rudi Schlatte, Österreich. Designing a Quantitative Text Analysis Server. Tomaž Erjavec, Slowenien. Reflections on a frequency dictionary for Slovene.
Bernhard Aichernig‘s Publications
www.ist.tu-graz.ac.at
... Part of the FM'99 World Congress on Formal Methods, Toulouse, pages , September [ bib ]; [93]: Rudi Schlatte and Bernhard K. Aichernig.
Publications
Incremental Database Design using UML-B and Event-B | DeepAIdeepai.org › publication › incremental-database-design-using-uml-b-and-e...
deepai.org
15 May · [18] Rudi Schlatte & Bernhard K Aichernig (1999): Database development of a work-flow planning and tracking system using VDM-SL.
Modeling Spatial and Temporal Variability with the HATS Abstract ...research.chalmers.se › publication
research.chalmers.se
29 May · Author · D. Clarke · Nikolay Diakov · Reiner Hähnle · Einar Broch Johnsen · Ina Schaefer · Jan Schäfer · Rudi Schlatte · Peter Wong.
Reports & Statements
Google Groups: Installing software and libraries - Google Groupsgroups.google.com › comp.lang.lisp
... but it has the drawback that it is only for debian. Are there other, similar tools out there? Regards, Mario. Rudi Schlatte's profile photo ...
Bugs : Rudi Schlatte
bugs.launchpad.net
Bugs related to Rudi Schlatte. Rudi Schlatte; Bugs. by importance, by status, by milestone, by location, oldest first, newest first, most recently changed ...
Re: [closer-devel] Closer-mop support for ABCL
www.mail-archive.com
[closer-devel] Closer-mop support for ABCL Rudi Schlatte. Re: [closer-devel] Closer-mop support for ABCL Pascal Costanza. Re: [closer-devel] ...
Amsterdam - Juho Snellmanwww.snellman.net › blog › archive
www.snellman.net
26 Apr · ... bunch of other SBCL hackers) ended up at the lobby/bar of the hotel where Christophe, Robert Strandh and Rudi Schlatte were staying at.
Miscellaneous
Rudi Schlatte
www.freetechbooks.com
More information about Rudi Schlatte and his/her books listed in FreeTechBooks.
'Rudi Schlatte ' posts - MARC
marc.info
Viewing messages posted by 'Rudi Schlatte <rudi () constantly ! at>' (59 msg) Next · Last [1] Re: [Sbcl-devel] Package-local nicknames sbcl- deve ...
Questions : Rudi Schlatte
answers.launchpad.net
Solved Expired Invalid. No questions involving Rudi Schlatte found with the requested statuses. Answered · Assigned · Asked · Commented · Need attention ...
Questions for Rudi Schlatte : Questions : Rudi Schlatte
answers.launchpad.net
Rudi Schlatte. Overview · Code · Bugs · Blueprints ... No questions answered by Rudi Schlatte found with the requested statuses. Answered; Assigned · Asked ...
Owned teams : Rudi Schlatte
launchpad.net
... owners are not always team members. The team participation page shows the teams that Rudi Schlatte is a member of. Rudi Schlatte doesn't own any teams.
Opinion: On the Merits of Letting Kids Play With Fire
www.adventure-journal.com
· Photo by Rudi Schlatte. Tags: camp notes, campfire, essay. Showing 10 comments. Kevin April 16, Reply. I agree that it is important for the young to learn about fires. I have noticed my kids and the nieces and nephews always wanting to play in the fire. The faster they learn the less possibility of injury or catastrophe. Being 6 …
Planet Lisp Archives - October, 2007
planet.lisp.org
30th. Alien technology sighted in Leopard - Rudi Schlatte CL-SMTP and GMail - Tim Ritchey 30 Oct Ingvar Mattsson Vancouver Lisp Users Group meeting for October Meet Patrick Collison - Bill Clementson
Closure XML
cxml.common-lisp.dev
Closure XML Parser. An XML parser written in Common Lisp Port to OpenMCL (thanks to Rudi Schlatte). Port to LispWorks (thanks to Edi Weitz).
EmacsWiki: facebook.el
www.emacswiki.org
... facebook.el --- Access the Facebook API from emacs;;; ... Version Came out and had a bunch of patches from Rudi Schlatte. Thanks, Rudi!
S-XML-RPC
s-xml-rpc.common-lisp.dev
S-XML-RPC is an implementation of XML-RPC in Common Lisp for both client and server. Originally it was written by Sven Van Caekenberghe. It is now being maintained by Sven Van Caekenberghe, Rudi Schlatte and Brian Mastenbrook.
maude-help - Maude-help mailing list - arc
lists.cs.illinois.edu
[Maude-help] New maintainer for emacs Maude mode, Rudi Schlatte,
# clisp: compile with --with-export-syscalls - Debian Bug...
bugs.debian.org
From: Rudi Schlatte &-graz.ac.at>. To: Debian Bug Tracking System &.org>. Subject: clisp: compile with --with-export- ...
'sbcl-help' list - MARCmarc.info › ...
marc.info
[2] Re: [Sbcl-help] effective methods cache and method co sbcl-help Rudi Schlatte [1] [Sbcl-help] [Final CfPart] ELS 2018, April , ...
Kasserian Ingera? How are the children? PERMIE KIDs
www.permiekids.com
Kasserian ingera? All children are our children and the children are not well. We are not well. Still in shock. Our collective hearts are indeed broken.
CLiki: Libre Software Meeting 2004
www.cliki.net
Libre Software Meeting Rudi Schlatte: simple-streams: good, bad and ugly. Rudi Schlatte: xml-rpc. Christophe Rhodes: Common Lisp and :IEEE-FLOATING …
'Re: [Sbcl-help] compiling on cygwin - part 2' - MARC
marc.info
:09 PM, Rudi Schlatte &> wrote: > > On , at 08:52, Terrence Brannon wrote: > > > On Dec 1, :42 PM, Rudi Schlatte ...
McCLIM changes: new demo, menus - Lisp Propulsion Laboratory log
www.paoloamoroso.it
McCLIM changes: new demo, menus: Tuesday, August 8, There were also miscellaneous fixes by Rudi Schlatte, Andy Hefner and Troels Henriksen.
P. Jakopin, Seggau Castle, July 1 & 2, 2005
www.jakopin.net
Seggau Castle, Styria, July 2, 2005, ... , Marko Tadić, Alexander Mehler, Anatolij A. Polikarpov, Rudi Schlatte, Jana Kusendová, Gertraud Fenk-Oczlon, ...
Kvardek Dukvardek-du.kerno.org ›
kvardek-du.kerno.org
Rudi Schlatte gave us a quick intro to the magnificent org-mode, Attila and Levente showed us some nice pieces of software like the Stefil test ...
# Gray-streams: CL-USER::CHARACTER-INPUT-STREAM !=...
bugs.debian.org
Reported by: Rudi Schlatte &-graz.ac.at> ... On Sat, Jan 05, at 02:44:59PM +0100, Rudi Schlatte wrote: > Package: cmucl > Version:
Related search requests for Rudi Schlatte
| Sebastian Schmidt Michael Schmidt Zach Beane | Oliver Schmitz |
People Forename "Rudi" (4381) Name "Schlatte" (5) |
sorted by relevance / date