( en | de | ru )

 

Disambiguation of "Björner, Dines"

Author of the publication

copydeleteadd this publication to your clipboard
Programming Languages: Formal Development of Programming Languages and Compilers

. Int. Computing Symp., North-Holland, Amsterdam, See also: report ID673, Department of Comp. Sc., Tech. University of Denmark, Lyngby (1977)..(April 1977)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ulf Björner

Erling Björner Marum

Dines Christen

Nicoleta Dines

Joachim Dinessen

 

Other publications of authors with the same name

Programming Languages: Formal Development of Programming Languages and Compilers. Int. Computing Symp., North-Holland, Amsterdam, See also: report ID673, Department of Comp. Sc., Tech. University of Denmark, Lyngby (1977)..(April 1977)A Formal Model of a Generalized CSP-like Language., and . IFIP Congress, page 95-99. (1980)Experiments in Block-structured GOTO Modelling: exits vs. Continuations.. Abstract Software Specifications, volume 86 of Lecture Notes in Computer Science, page 216-247. Springer, (1979)On "The Right" Software.. Int. J. Softw. Informatics, 5 (3): 509-523 (2011)Project Graphs and Meta-Programs. Towards a Theory of Software Development.. System Development and Ada, volume 275 of Lecture Notes in Computer Science, page 117-152. Springer, (1986)Algorithmic & Knowledge Based Methods - Do they Ünify" ? With some Programme Remarks for UNU/IIST., and . FGCS, page 191-198. IOS Press, (1992)Preface for the Special Issue (on Partial Evaluation and Mixed Computation).. New Generation Comput., 6 (2&3): 77-78 (1988)A survey of domain engineering.. APSEC Workshops, page 145. IEEE, (2012)Domain Engineering: a "Radical Innovation" for Software and Systems Engineering? A Biased Account.. Verification: Theory and Practice, volume 2772 of Lecture Notes in Computer Science, page 100-144. Springer, (2003)Domains: Their Simulation, Monitoring and Control - A Divertimento of Ideas and Suggestions.. Rainbow of Computer Science, volume 6570 of Lecture Notes in Computer Science, page 167-183. Springer, (2011)