Leif Pedersen

According to our database¹, Leif Pedersen authored at least 4 papers between 2006 and 2016.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2016

The Future of Public Libraries: A Technology Perspective.

[BibT_eX]

[DOI]

Public Libr. Q., 2016

2010

Using Pit to improve security in low-level programs.

[BibT_eX]

[DOI]

J. Supercomput., 2010

2009

The Impact of a Portable Programming Language Pit.

[BibT_eX]

Proceedings of the 2009 International Conference on Software Engineering Research & Practice, 2009

2006

A Formal Specification of a Programming Language: Design of Pit.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, 2006