- Subscribe to this page:
- RSS
- Email Alert
IT University of Copenhagen
(15 results)-
White Papers
Compiling Spreadsheet-Defined Functions
June 30, 2009, 12:00am PDT
Spreadsheets are ubiquitous end-user programming tools, but lack even the simplest abstraction mechanism: The ability to encapsulate a computation as a function. This paper presents a solution in...
Provided by IT University of Copenhagen
-
White Papers
Enhancing Interactive Web Based Applications
April 4, 2008, 12:00am PDT
Internet applications are fast becoming more complex and sophisticated. This leads to the increased need of support for complex interface designs. More receptive communication flow is also...
Provided by IT University of Copenhagen
-
White Papers
A New Data Layout For Set Intersection on GPUs
February 4, 2011, 12:00am PST
Set intersection is the core in a variety of problems, e.g. frequent itemset mining and sparse boolean matrix multiplication. It is well-known that large speed gains can, for some computational...
Provided by IT University of Copenhagen
-
White Papers
Verifying Object-Oriented Programs With Higher-Order Separation Logic in Coq
May 18, 2011, 12:00am PDT
The authors present a shallow Coq embedding of a higher-order separation logic with nested triples for an object-oriented programming language. Moreover, they develop novel specification and proof...
Provided by IT University of Copenhagen
-
White Papers
Formalized Veri Cation of Snapshotable Trees: Separation and Sharing
November 21, 2011, 12:00am PST
The authors use separation logic to specify and verify a Java program that implements snapshotable search trees, fully formalizing the specification and verification in the Coq proof assistant....
Provided by IT University of Copenhagen
-
White Papers
A Concurrent Logical Relation
January 14, 2012, 12:00am PST
The authors present a logical relation for showing the correctness of program transformations based on a new type-and-effect system for a concurrent extension of an ML-like language with...
Provided by IT University of Copenhagen
-
White Papers
Views: Compositional Reasoning for Concurrent Programs
January 14, 2012, 12:00am PST
The authors present a framework for reasoning compositionally about concurrent programs. At its core is the notion of a view: an abstraction of the state that takes account of the possible...
Provided by IT University of Copenhagen
-
White Papers
A Step-Indexed Kripke Model of Hidden State Via Recursive Properties on Recursively Defined Metric Spaces
July 13, 2010, 12:00am PDT
Frame and anti-frame rules have been proposed as proof rules for modular reasoning about programs. Frame rules allow one to hide irrelevant parts of the state during verification, whereas the...
Provided by IT University of Copenhagen
-
White Papers
Logical Step-Indexed Logical Relations
May 29, 2009, 12:00am PDT
The authors show how to reason about "Step-indexed" logical relations in an abstract way, avoiding the tedious, error-prone, and proof-obscuring step-index arithmetic that seems superficially to...
Provided by IT University of Copenhagen
-
White Papers
Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types
January 5, 2009, 12:00am PST
The authors present a realizability model for a call-by-value, higher-order programming language with parametric polymorphism, general first-class references, and recursive types. The main novelty...
Provided by IT University of Copenhagen
-
White Papers
A Simple Model of Separation Logic for Higher-Order Store
April 23, 2008, 12:00am PDT
Separation logic is a Hoare-style logic for reasoning about pointer-manipulating programs. Its core ideas have recently been extended from low-level to richer, high-level languages. In this paper,...
Provided by IT University of Copenhagen
-
White Papers
Programming Services With Correlation Sets
September 1, 2011, 12:00am PDT
Correlation sets define a powerful mechanism for routing incoming communications to the correct running session within a server, by inspecting the content of the received messages. The authors...
Provided by IT University of Copenhagen
-
White Papers
Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways
August 12, 2010, 12:00am PDT
The authors present the first direct formalization of the semantics of inclusive gateways as described in the Business Process Modeling Notation (BPMN) 2.0 Beta 1 specification. The formal...
Provided by IT University of Copenhagen
-
White Papers
Guided Development With Multiple Domain-Specific Languages
June 28, 2007, 12:00am PDT
The authors study the Apache Open For Business (OFBiz), an industrial-strength platform for enterprise applications. OFBiz is an example of a substantial project using model-driven development...
Provided by IT University of Copenhagen
-
White Papers
Programming Language Concepts for Software Developers
May 18, 2008, 12:00am PDT
This note describes and motivates the current plans for an undergraduate course on programming language concepts for software development students. The paper describes the competences one expects...
Provided by IT University of Copenhagen
-
White Papers
Guided Development With Multiple Domain-Specific Languages
June 28, 2007, 12:00am PDT
The authors study the Apache Open For Business (OFBiz), an industrial-strength platform for enterprise applications. OFBiz is an example of a substantial project using model-driven development...
Provided by IT University of Copenhagen
-
White Papers
Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways
August 12, 2010, 12:00am PDT
The authors present the first direct formalization of the semantics of inclusive gateways as described in the Business Process Modeling Notation (BPMN) 2.0 Beta 1 specification. The formal...
Provided by IT University of Copenhagen
-
White Papers
Programming Services With Correlation Sets
September 1, 2011, 12:00am PDT
Correlation sets define a powerful mechanism for routing incoming communications to the correct running session within a server, by inspecting the content of the received messages. The authors...
Provided by IT University of Copenhagen
-
White Papers
A Simple Model of Separation Logic for Higher-Order Store
April 23, 2008, 12:00am PDT
Separation logic is a Hoare-style logic for reasoning about pointer-manipulating programs. Its core ideas have recently been extended from low-level to richer, high-level languages. In this paper,...
Provided by IT University of Copenhagen
-
White Papers
Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types
January 5, 2009, 12:00am PST
The authors present a realizability model for a call-by-value, higher-order programming language with parametric polymorphism, general first-class references, and recursive types. The main novelty...
Provided by IT University of Copenhagen
-
White Papers
Logical Step-Indexed Logical Relations
May 29, 2009, 12:00am PDT
The authors show how to reason about "Step-indexed" logical relations in an abstract way, avoiding the tedious, error-prone, and proof-obscuring step-index arithmetic that seems superficially to...
Provided by IT University of Copenhagen
-
White Papers
A Step-Indexed Kripke Model of Hidden State Via Recursive Properties on Recursively Defined Metric Spaces
July 13, 2010, 12:00am PDT
Frame and anti-frame rules have been proposed as proof rules for modular reasoning about programs. Frame rules allow one to hide irrelevant parts of the state during verification, whereas the...
Provided by IT University of Copenhagen
-
White Papers
Views: Compositional Reasoning for Concurrent Programs
January 14, 2012, 12:00am PST
The authors present a framework for reasoning compositionally about concurrent programs. At its core is the notion of a view: an abstraction of the state that takes account of the possible...
Provided by IT University of Copenhagen
-
White Papers
A Concurrent Logical Relation
January 14, 2012, 12:00am PST
The authors present a logical relation for showing the correctness of program transformations based on a new type-and-effect system for a concurrent extension of an ML-like language with...
Provided by IT University of Copenhagen
-
White Papers
Formalized Veri Cation of Snapshotable Trees: Separation and Sharing
November 21, 2011, 12:00am PST
The authors use separation logic to specify and verify a Java program that implements snapshotable search trees, fully formalizing the specification and verification in the Coq proof assistant....
Provided by IT University of Copenhagen
-
White Papers
Verifying Object-Oriented Programs With Higher-Order Separation Logic in Coq
May 18, 2011, 12:00am PDT
The authors present a shallow Coq embedding of a higher-order separation logic with nested triples for an object-oriented programming language. Moreover, they develop novel specification and proof...
Provided by IT University of Copenhagen
-
White Papers
A New Data Layout For Set Intersection on GPUs
February 4, 2011, 12:00am PST
Set intersection is the core in a variety of problems, e.g. frequent itemset mining and sparse boolean matrix multiplication. It is well-known that large speed gains can, for some computational...
Provided by IT University of Copenhagen
-
White Papers
Enhancing Interactive Web Based Applications
April 4, 2008, 12:00am PDT
Internet applications are fast becoming more complex and sophisticated. This leads to the increased need of support for complex interface designs. More receptive communication flow is also...
Provided by IT University of Copenhagen
-
White Papers
Compiling Spreadsheet-Defined Functions
June 30, 2009, 12:00am PDT
Spreadsheets are ubiquitous end-user programming tools, but lack even the simplest abstraction mechanism: The ability to encapsulate a computation as a function. This paper presents a solution in...
Provided by IT University of Copenhagen
-
White Papers
Programming Language Concepts for Software Developers
May 18, 2008, 12:00am PDT
This note describes and motivates the current plans for an undergraduate course on programming language concepts for software development students. The paper describes the competences one expects...
Provided by IT University of Copenhagen
Keep Up with TechRepublic
Submit a Paper
Get your content listed in our directory!
Our directory is the largest library of vendor-supplied technical content on the Web. It’s also the first place IT decision makers turn to when researching technology solutions. Our members are already finding your competitors’ papers here - shouldn’t they find yours, too? It's FREE so click here and submit your white paper, case study, data sheet, research report, or other document today!
