Michael Schwartzbach - PDFSEARCH.IO - Document Search Engine

Michael Schwartzbach
Results: 18

#	Item
1	Lecture Notes on Static Analysis Michael I. Schwartzbach BRICS, Department of Computer Science University of Aarhus, Denmark Add to Reading List Source URL: www.itu.dk Language: English - Date: 2010-08-04 09:11:54 Data types C++ Subroutines Type theory C Pointer Const C dynamic memory allocation Dereference operator Function pointer Dangling pointer Reference
2	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 Source URL: www.brics.dk Language: English - Date: 2004-04-26 06:24:23 Formal methods Logic in computer science Notation Programming language Formal verification BRIC Michael Schwartzbach Logic Monad Computing Software engineering Science
3	A Runtime System for Interactive Web Services Claus Brabrand Anders Møller Anders Sandholm Michael I. Schwartzbach Add to Reading List Source URL: www.brics.dk Language: English - Date: 1999-05-03 02:26:58 Web development Session Common Gateway Interface Push technology Web server Effi Java Servlet Server-side scripting World Wide Web Computing Software
4	Master’s Thesis Static Validation of XSLT Mads Kristian Østerby Olesen, Advisors: Anders Møller, Michael I. Schwartzbach, Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-02-10 07:55:31 XML Functional languages XSLT XSL XPath Oxygen XML Editor XML transformation language Computing Web standards Markup languages
5	A Type System for Dynamic Web Documents Anders Sandholm and Michael I. Schwartzbach BRICS, Department of Computer Science University of Aarhus, Denmark {sandholm,mis}@brics.dk Add to Reading List Source URL: www.brics.dk Language: English - Date: 2000-03-10 07:34:12 Structure Universal algebra Mathematics Formal languages Model theory
6	Growing Languages with Metamorphic Syntax Macros Claus Brabrand Michael I. Schwartzbach BRICS Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-11-02 05:23:14 Macro programming languages Transformation languages Source code Formal languages Cross-platform software C preprocessor Macro Hygienic macro Syntax Computing Software engineering Computer programming
7	Distributed Safety Controllers for Web Services Anders Sandholm and Michael I. Schwartzbach BRICS? , Department of Computer Science University of Aarhus, Ny Munkegade DK-8000 Aarhus C, Denmark Add to Reading List Source URL: www.brics.dk Language: English - Date: 2000-03-10 07:36:26 Formal methods Computer science Finite-state machine Petri net Automata theory Models of computation Theoretical computer science
8	Language-Based Caching of Dynamically Generated HTML Claus Brabrand, Anders Møller, Steffan Olesen, and Michael I. Schwartzbach BRICS, Department of Computer Science University of Aarhus, Denmark {brabrand,amoeller,oles Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-04-15 09:02:53
9	The Project Claus Brabrand, Anders Møller, and Michael I. Schwartzbach BRICS, Department of Computer Science University of Aarhus, Denmark {brabrand,amoeller,mis}@brics.dk Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-06-14 02:51:12 Cross-platform software Procedural programming languages Scripting languages Java PHP HTTP cookie Form Session Computer program Computing Software engineering Software
10	Program Analyses for Interactive Web Services Anders Møller Claus Brabrand Anders Sandholm Michael I. Schwartzbach Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-09-05 05:22:40 Scripting languages Common Gateway Interface Form HTML PHP Java Programming language Session Computing World Wide Web Cross-platform software

UPDATE