BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Italy
1 × USA
Collaborated with:
M.Walicki J.C.Mitchell N.Madhav D.C.Luckham D.P.Helmbold D.L.Bryan M.A.Haberler
Talks about:
nondeterminist (1) distribut (1) standard (1) specifi (1) sequenc (1) languag (1) inherit (1) generat (1) system (1) subtyp (1)

Person: Sigurd Meldal

DBLP DBLP: Meldal:Sigurd

Contributed to:

POPL 19911991
Software Development and Ada 19861986

Wrote 3 papers:

POPL-1991-MitchellMM #inheritance #ml #standard #type system
An Extension of Standard ML Modules with Subtyping and Inheritance (JCM, SM, NM), pp. 270–278.
CRAI-1986-LuckhamHMBH #ada #distributed #specification
Task Sequencing Languages for Specifying Distributed Ada Systems (DCL, DPH, SM, DLB, MAH), pp. 249–305.
TAPSOFT-1995-WalickiM #modelling #nondeterminism
Generated Models and the omega-Rule: The Nondeterministic Case (MW, SM), pp. 424–438.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.