Back to Results
First PageMeta Content
Formal methods / Logic in computer science / Notation / Programming language / Formal verification / BRIC / Michael Schwartzbach / Logic / Monad / Computing / Software engineering / Science


BRICS Basic Research in Computer Science BRICS DS-02-4 A. Møller: Program Verification with M2L & Languages for Web Service Development
Add to Reading List

Document Date: 2004-04-26 06:24:23

Open Document

File Size: 1,97 MB

Share Result on Facebook

Country

Denmark / /

/

Facility

Computer Science University of Aarhus / Computer Science University of Aarhus Ny Munkegade / University of Aarhus / Computer Science University of Aarhus Denmark Program Verification / /

IndustryTerm

Web Service Development / red-black search trees / interactive Web services / Web Service Development Program Verification / Web Service Development Anders Møller BRICS Dissertation Series ISSN / Web services / /

Organization

Faculty of Science / BRICS Department / University of Aarhus / Web Service Development Anders Møller Ph.D. Dissertation Department / Computer Science University / UC Berkeley / Computer Science University of Aarhus Ny Munkegade / /

Person

Anders Møller June / Sara Louise / Rasmus Pagh / Jeff Foster / Jacob Elgaard / Anders Møller / Louise Elgaard / Anna Ostlin / Michael Schwartzbach / Hanne / David Gay / Anders Sandholm / Nils Klarlund / Aske Simon Christensen / Alex Aiken / Claus Brabrand / Zhendong Su / /

/

Position

Web service programmer / supervisor / programmer / /

ProgrammingLanguage

XML / Java / C / XML schema / HTML / /

ProvinceOrState

New Jersey / /

Technology

XML / Java / caching / HTML / /

URL

ftp /

SocialTag