幸运飞艇计划

The Programming Theory group (PUT) focuses on the use of formal theory in understanding programming concepts. We work, for example, on聽specification and聽programming languages, on more general software structuring mechanisms and patterns, abstractions for specific domains (GUIs). The group's activities聽range聽from theoretical studies to聽building of support tools to practical software development.

.

Bergen Language Design Laboratory.