bldl.ii.uib.no
Bergen Language Design Laboratory (BLDL) Seminars 2013 – BLDL
http://bldl.ii.uib.no/2013/seminars-2013.html
Bergen Language Design Laboratory (BLDL) Seminars 2013. Bergen Language Design Laboratory (BLDL). BLDL has an internal meeting series. Some of these have a content which may be of interest to a larger audience. The program of these are announced here. Tuesday, 2013-09-24 1115, room 4138. Tero Hasu (BLDL): Inferring Required Permissions for Statically Composed Programs. Presentation for NordSec 2013. Ilulissat, Greenland, 18-21 October 2013. Tuesday, 2013-09-17 1115, room 4138. The Software Languages Team.
bldl.ii.uib.no
Bergen Language Design Laboratory (BLDL) Seminars 2010 – BLDL
http://bldl.ii.uib.no/2010/seminars-2010-spring.html
Bergen Language Design Laboratory (BLDL) Seminars 2010. Bergen Language Design Laboratory (BLDL). BLDL has a weekly internal meeting series. Some of these have a content which may be of interest to a larger audience. The program of these are announced here. Tuesday, 2010-02-16 1430, room 4138. Eva Burrows (BLDL): A Retrospective of Crystal - another ` parallel compiler ambition from the late 80's. Tuesday, 2010-03-02 1430, room 4138. Tuesday, 2010-03-09 1430, room 4138. Presentations for ETAPS 2010.
bldl.ii.uib.no
BLDL Publications (by author) – BLDL
http://bldl.ii.uib.no/bib/author.html
BLDL Publications (by author). BLDL Publications (by author). See also: BLDL (by date). Alexa Anderlik and Magne Haveraaen. On the category of data dependency algebras and embeddings. Proceedings of the Estonian Academy of Sciences, Physics, Mathematics. 52(4):337 355, 2003. [ bib. Constructs and Concepts: Language Design for Flexibility and Reliability. Anya Helene Bagge. Language description for front end implementation. In Claus Brabrand and Pierre-Etienne Moreau, editors,. July 2013. [ bib. Anya Hele...
bldl.ii.uib.no
BLDL opening week – BLDL
http://bldl.ii.uib.no/bldl-opening-week.html
Program for BLDL opening week. Photos from the Opening Week. November 2-6, 2009. Tuesday 3.11.09 13-16, VilVite auditorium (building next to the department), defence:. Anya Bagge: Constructs and Concepts, Language Design for Flexibility and Reliability. Wednesday 4.11.09 1400-1830, Auditorium 2144 HiB. 1400-1415: Official opening by Vice-Rector for Education, Professor Kuvvet Atakan, Department head, Professor Torleiv Kløve, and BLDL head, Professor Magne Haveraaen. Meeting room 3137 HiB. The Bergen scie...
bldl.ii.uib.no
BLDL Publications (newest first) – BLDL
http://bldl.ii.uib.no/bib
BLDL Publications (newest first). BLDL Publications (newest first). See also: BLDL (by author). Anya Helene Bagge and Vadim Zaytsev. Workshop on open and original problems in software language engineering. In. Software Evolution Week 2014 (CSMR/WCRE'14). 2014 To appear. [ bib. Eva Burrows. Compiling a dataflow-based language abstraction onto an FPGA. In. Pages 507 514, 2014. [ bib. Proceedings of the 18th Nordic Conference on Secure IT Systems (NordSec'13). July 2013. [ bib. Proceedings of the Sixth Inte...
bldl.ii.uib.no
Axiom-Based Testing – BLDL
http://bldl.ii.uib.no/testing.html
Unit testing is an important part of the software development process, but coming up with comprehensive unit tests can be a major challenge. Also known as property-based testing or specification-based testing) provides a systematic way to develop comprehensive test suites, where the behaviour of program components are described using. Axiom-based testing is fundamental in the integration of specification and code in Magnolia. Experimental language. We also provide a tool, JAxT. Dr Anya Helene Bagge.
bldl.ii.uib.no
Bergen Language Design Laboratory (BLDL) Seminars 2015 – BLDL
http://bldl.ii.uib.no/2015/seminars-2015.html
Bergen Language Design Laboratory (BLDL) Seminars 2015. Bergen Language Design Laboratory (BLDL). BLDL has an internal meeting series. Some of these have a content which may be of interest to a larger audience. The program of these are announced here. Tuesday 2015-09-29 1415-1500, Stort auditorium (2144), Høyteknologisenteret. Texas A&M; University. College Station, TX, USA). Better User Interfaces with less Code. Friday 2015-06-19, 1015-1100, 2142 (lille auditorium). Livar Bergheim (UiB, Bergen, NO):.
bldl.ii.uib.no
Bergen Language Design Laboratory (BLDL) Visitor 2013: Ralf Lämmel – BLDL
http://bldl.ii.uib.no/2013/13h-RalfLammel.html
Bergen Language Design Laboratory (BLDL) Visitor 2013: Ralf Lämmel. Bergen Language Design Laboratory (BLDL). The international conference on Software Language Engineering ( SLE. And the 101companies project. Prof Dr. Lämmel is visiting BLDL 2013-08-15 to 2013-09-15. Scientific Computing with Algebraic and Generative Abstractions (SAGA). HTML 4.01 Strict,.
bldl.ii.uib.no
Design of a Mouldable Programming Language – BLDL
http://bldl.ii.uib.no/dmpl.html
Design of a Mouldable Programming Language. Design of a Mouldable Programming Language (DMPL). DMPL is a research project of the Bergen Language Design Laboratory. And centres around exploring ideas of flexibility, adaptability, genericity and robustness (in short, mouldability. In programming languages. As part of the project, we are designing and implementing the prototype mouldable language. And also putting it to real life testing. By developing applications using the language. Error-handling with al...
bldl.ii.uib.no
Workshop on Concepts (WoC) 2009 – BLDL
http://bldl.ii.uib.no/woc2009.html
Workshop on Concepts (WoC) 2009. Workshop on Concepts - WoC 2009. Workshop on Concepts - WoC 2009. Took place Thursday 5.11.09 0900-1800, meeting room 3137 HiB, Department of informatics. University of Bergen. Photos. Early experiments with concept based software development have shown significant productivity increases. And the advent of tools for concepts is opening up new areas like high level software optimisation, software testing, software evolution tools etc. Magne Haveraaen: Domain Engineering wi...
