@string{brics = "{BRICS}"} @string{daimi = "Department of Computer Science, University of Aarhus"} @string{iesd = "Department of Computer Science, Institute of Electronic Systems, Aalborg University"} @string{rs = "Research Series"} @string{ns = "Notes Series"} @string{ls = "Lecture Series"} @string{ds = "Dissertation Series"} @proceedings{BRICS-NS-99-3, title = "Proceedings of the Second International Workshop on Action Semantics, {AS~'99}, {\em (Amsterdam, The Netherlands, March 21, 1999)}", year = 1999, editor = "Mosses, Peter D. and Watt, David A.", number = "NS-99-3", series = ns, address = daimi, month = may, organization = brics, note = "iv+172~pp", abstract = "Action Semantics is a practical framework for formal semantic description of programming languages. Since its appearance in 1992, action semantics has been used to describe major languages such as Pascal, SML, ANDF, and Java, and various tools for processing action-semantic descriptions have been developed. Recently, the close relationship between action semantics and monadic approaches to denotational semantics has been established.\bibpar AS'99, the 2nd International Workshop on Action Semantics, was held as a one-day satellite event of ETAPS'99 in Amsterdam. As can be seen from the workshop programme and from the contributed papers collected in these proceedings, much interesting work was presented and discussed during the workshop, focussing on tool support for Action Semantics, recent action-semantic descriptions, theoretical foundations, and prospects for the future of Action Semantics", linkhtmlabs = "", linkps = "", linkpdf = "" } @proceedings{BRICS-NS-99-2, title = "Proceedings of the Workshop on Semantics of Objects As Processes, {SOAP~'99}, {\em(Lisbon, Portugal, June 15, 1999)}", year = 1999, editor = "H{\"u}ttel, Hans and Kleist, Josva and Nestmann, Uwe and Ravara, Ant{\'o}nio", number = "NS-99-2", series = ns, address = iesd, month = may, organization = brics, note = "iv+64~pp", abstract = "The '99 edition of SOAP, taking place as a satellite workshop of ECOOP~'99, is composed of two complementary thematic building blocks. The first is addressing the motto `Semantics of Objects {\em As} Processes' literally in that objects are represented as a derived concept within a framework of processes; we are happy to welcome Oscar Nierstrasz, Markus Lumpe, and Jean-Guy Schneider as invited speakers to present the work they have been accomplishing in this area|starting out from a mobile process calculus|and to let us learn about their conclusions. This session is rounded up by a verification approach using a temporal logic as a target setting for, in this case, UML-style objects. The second building block, divided into a session on behavioral subtyping and another one on behavioral typing, is more to be seen as an adaptation of the process-theoretic viewpoint to some object-oriented framework. While the typed $\lambda$-calculus is a firm ground to study typing for object-oriented languages, the typing of concurrent objects poses particular problems due to synchronization constraints. A static notion of typing is not powerful enough to capture dynamic properties of objects' behavior, like non-uniform service availability. Concurrency theory inspires dynamic notions of typing and subtyping, and the works that constitute this block of SOAP '99 exemplify the research currently being done in the field.", linkps = "", linkpdf = "" } @proceedings{BRICS-NS-99-1, title = "{ACM SIGPLAN} Workshop on Partial Evaluation and Semantics-Based Program Manipulation, {PEPM~'99}, {\em(San Antonio, Texas, USA, January 22--23, 1999)}", year = 1999, editor = "Danvy, Olivier", number = "NS-99-1", series = ns, address = daimi, month = jan, organization = brics, abstract = "The \htmladdnormallink{PEPM~'99}{http://www.brics.dk/~pepm99} workshop brought together researchers working in the areas of semantics-based program manipulation and partial evaluation. The workshop focused on techniques and supporting theory for the analysis and manipulation of programs.\bibpar PEPM~'99 took place on January 22nd and 23rd, 1999, following POPL~'99. It consisted of 13 contributed papers, as well as three invited talks by Alan Bawden, Charles Consel, and Olin Shivers. The present BRICS technical report (distributed at the workshop) served as an informal proceedings. The 13 papers were selected among 24 submissions. These submissions came from all over the world: US, UK, France, Germany, Denmark, Spain, Australia, New Zealand, Japan, and Singapore, incidentally all from academia. 85 reviews were generated (3.5 per submission).", linkhtmlabs = "", linkps = "", linkpdf = "" }