469 haiku in 33 languages by 169 poets from 45 countries Junior haiku from Japan & New Zealand 5 haiku criticisms including “The Poetics of Modern Haiku” & “Haiku Poetry in Norway” 16 haiga from 12 countries The

Source URL: www.worldhaiku.net

Verifiable Programming of Object-Oriented and Distributed Systems∗ Olaf Owe University of Oslo, Department of Informatics, Oslo, Norway, and University of California, Santa Cruz, Department of Computer Science, USA Apr

Source URL: heim.ifi.uio.no

• Software engineering
• Computer programming
• Computing
• Object-oriented programming
• Software design patterns
• Concurrent programming languages
• Cross-platform software
• Method
• Objective-C
• Invariant
• Null Object pattern
• Protocol

Articles of Association for the International Sami Film Institute §1 Objectives

Source URL: www.isf.as

• Europe
• Scandinavia
• Pastoralists
• Sami people
• Kautokeino
• Smi politics
• Sami languages
• Finnmark
• Norway
• Spmi

A Specification Formalism for Interacting Objects∗ Olaf Owe Department of Informatics, University of Oslo, Norway email: , fax: +Abstract

Source URL: folk.uio.no

• Logic
• Mathematical logic
• Abstraction
• Model theory
• Predicate logic
• Formal languages
• Logic in computer science
• First-order logic
• Interpretation
• Modal logic
• Axiom
• Equality

________________________________________________________________________________ United Nations Group of Experts on Geographical Names Twenty-Second Session New York, 20 – 29 April 2004

Source URL: unstats.un.org

• Europe
• Culture
• Languages of Finland
• Languages of Sweden
• Scandinavia
• Languages of Norway
• Languages of Russia
• Sami people
• Saami Council
• Sami languages
• Spmi
• Toponymy

Reflections on Courses for Software Language Engineering Anya Helene Bagge1 , Ralf Lämmel2 , and Vadim Zaytsev3 Bergen Language Design Laboratory, University of Bergen, Norway Software Languages Team, University of Kobl

Source URL: models2014.webs.upv.es

• Compiler construction
• Formal languages
• Parsing
• Programming language implementation
• Parser generators
• Syntax
• Compiler
• LR parser
• Scannerless parsing
• XPL
• PLY
• Model-driven engineering

The birth of Simula Stein Krogdahl Department of Informatics, University of Oslo, Norway This paper is published in the proceedings of the HiNC 1 Conference in Trondheim, JuneIFIP WG 9.7, in coo

Source URL: folk.uio.no

• Procedural programming languages
• Turing Award laureates
• Simula
• Source code
• Ole-Johan Dahl
• Object-oriented programming languages
• Object-oriented programming
• ALGOL
• Kristen Nygaard
• BETA
• Library
• Subroutine

The Birth of Object Orientation: the Simula Languages⋆ Ole-Johan Dahl Dept. of Informatics, University of Oslo, Norway Abstract. The development of the programming languages Simula I and Simula 67 is briefly described.

Source URL: www.olejohandahl.info

• Software engineering
• Computer programming
• Programming language theory
• Procedural programming languages
• Object-oriented programming languages
• Turing Award laureates
• Simula
• Ole-Johan Dahl
• Programming paradigms
• Object-oriented programming
• ALGOL
• Kristen Nygaard

Newsletter for the Norwegian Researchers & Teachers Association of North America Spring 2012 NORTANA NEWS Fra Presidenten

Source URL: nortana.org

• Sami
• Pastoralists
• Sami people
• Emilie Demant Hatt
• Johan Turi
• Nynorsk
• Sápmi
• Norway
• Kautokeino
• Europe
• Scandinavia
• North Germanic languages

Microsoft Word - pcdel0975 norway on belarus.doc

Source URL: www.norway-osce.org

• Republics
• Sergei Martynov
• Human rights in Belarus
• Languages of Europe
• Europe
• Belarus