Publications by Soren B. Lassen
Thesis
Journal papers and book chapters
-
Gavin Horn, Per Knudsgaard, Soren B. Lassen, Michael Luby, and
Jens Eilstrup Rasmussen.
A Scalable and Reliable Paradigm for Media on Demand
,
in IEEE Computer 34(9): 40-45, 2001.
-
Andrew Gordon, Paul Hankin, and Soren B. Lassen.
Compilation and Equivalence of Imperative Objects,
in Journal of Functional Programming 9(4): 373-426, 1999.
Also available as
BRICS Report RS-98-55.
-
Soren B. Lassen.
Relational Reasoning about Contexts,
in Higher Order Operational Techniques in Semantics.
Cambridge University Press 1998.
Also available as
BRICS Report RS-97-24.
-
Soren B. Lassen.
Action Semantics Reasoning about Functional Programs,
in Mathematical Structures in Computer Science 7(5): 557-589, 1997.
© Cambridge University Press.
pdf
Refereed conference papers
-
Soren B. Lassen and Paul Blain Levy.
"Typed Normal Form Bisimulation".
16th EACSL Annual Conference on Computer Science and Logic, CSL 07.
(Lausanne, Switzerland, September 11-15, 2007.)
Lecture Notes in Computer Science, Volume 4646, pages 283-297. Springer 2007.
© Springer.
pdf.
-
Kristian Støvring and Soren B. Lassen.
"A complete, co-inductive syntactic theory of sequential control and state".
34th Annual ACM SIGPLAN Symposium on
Principles of Programming Languages, POPL 2007.
(Nice, France, January 17-19, 2007.)
Pages 161-172. © ACM.
pdf.
Available as BRICS Research Report
RS-07-4
-
Soren B. Lassen.
"Head normal form bisimulation for pairs and the λμ-calculus
(Extended Abstract)".
21st Annual IEEE Symposium On Logic In Computer Science, LICS 2006.
(Seattle, USA, August 12-15, 2006.)
Pages 297-306. © IEEE.
pdf
-
Soren B. Lassen.
"Eager Normal Form Bisimulation".
20th Annual IEEE Symposium On Logic In Computer Science, LICS 2005.
(Chicago, USA, June 26-29, 2005.)
Pages 345-354. © IEEE.
pdf
-
Soren B. Lassen.
"Normal Form Simulation for McCarthy's amb".
21st Annual Conference on
Mathematical Foundations of Programming Semantics, MFPS XXI.
(Birmingham, UK, May 18-21, 2005.)
Electronic Notes in Theoretical Computer Science, Volume 155, pages 445-465.
Elsevier 2006.
© Elsevier.
-
Andrew Moran, Soren B. Lassen, and Simon Peyton Jones.
"Imprecise Exceptions, Co-Inductively".
3rd International Workshop on Higher Order Operational Techniques in Semantics,
HOOTS '99.
(Paris, France, September 30 - October 1, 1999.)
Electronic Notes in Theoretical Computer Science, Volume 26, pages 122-141.
Elsevier 1999.
© Elsevier.
ps
-
Soren B. Lassen and Andrew Moran.
"Unique Fixed Point Induction for McCarthy's Amb".
Mathematical Foundations of Computer Science 1999,
24th International Symposium, MFCS '99.
(Szklarska Poreba, Poland, September 6-10, 1999.)
Lecture Notes in Computer Science, Volume 1672, pages 198-208. Springer 1999.
© Springer.
ps
-
Soren B. Lassen:
"Bisimulation in untyped lambda calculus:
Böhm trees and bisimulation up to context".
15th Conference on the Mathematical Foundations of Programming Semantics,
MFPS XV.
(Tulane University, New Orleans, LA, April 28 - May 1, 1999.)
Electronic Notes in Theoretical Computer Science, Volume 20, pages 346-374.
Elsevier 1999.
© Elsevier.
ps
-
Andrew Gordon, Paul Hankin, Soren B. Lassen:
"Compilation and Equivalence of Imperative Objects".
Foundations of Software Technology and Theoretical Computer Science,
17th Conference.
(Kharagpur, India, December 18-20, 1997.)
Lecture Notes in Computer Science, Volume 1346, pages 74-87. Springer 1997.
© Springer.
ps
Other conference papers
-
Soren B. Lassen, Paul Blain Levy, and Prakash Panangaden.
"Divergence-Least Semantics Of amb Is Hoare".
Short presentation at 3rd APPSEM II Workshop.
(Frauenchiemsee, Germany, September 12-15, 2005.)
pdf
-
Soren B. Lassen, Peter Mosses, and David Watt.
"Introduction to AN-2: The Proposed New Version of Action Notation".
3rd International Workshop on Action Semantics, AS 2000.
(Centre for Informatics, UFPE, Recife, Brazil, May 15-16, 2000.)
BRICS Notes Series NS-00-6,
pages 19-36.
-
Soren B. Lassen. "An Algebra of Actions".
2nd International Workshop on Action Semantics, AS '99.
(Amsterdam, The Netherlands, 21 March 1999.)
BRICS Notes Series NS-99-3,
pages 89-109.
-
Soren B. Lassen and Corin Pitcher.
"Similarity and Bisimilarity for Countable Non-Determinism
and Higher-Order Functions (Extended Abstract)".
2nd Workshop on Higher Order Operational Techniques in Semantics.
(Center for the Study of Language and Information, Stanford University, USA.
December 8-11, 1997.)
Electronic Notes in Theoretical Computer Science, Volume 10, pages 246-266.
Elsevier 1997.
© Elsevier.
ps
-
Soren B. Lassen.
"Design and Semantics of Action Notation".
1st International Workshop on Action Semantics, AS '94.
(University of Edinburgh, Scotland, April 14, 1994.)
BRICS Notes Series NS-94-1,
pages 16-33.
Unpublished papers
-
Soren B. Lassen and Paul Blain Levy.
"Normal Form Bisimulation for Typed Calculi: Syntactic Minimal Invariance".
March 2007.
pdf
-
Soren B. Lassen.
"Bisimulation up to Context for Imperative Lambda Calculus".
April 1998. Unpublished note. Part of a presentation
"Bisimulation up to Context for Sequential Higher-Order Languages" at
The Semantic Challenge of Object-Oriented Programming,
Dagstuhl Seminar 98261. Schloss Dagstuhl, Wadern, Germany. June 28 - July 3, 1998.
pdf
-
Soren B. Lassen.
"Bisimulation for pure untyped λμ-calculus (Extended Abstract)".
January 1999. Unpublished.
pdf