Added concrete par example from grammar. Added further elaboration on example. Other...
[firstyearreport:firstyearreport.git] / report.bib
1
2 @InProceedings{Nilsson2008,
3   author =       "H. Nilsson",
4   title =        "{T}ype-{B}ased {S}tructural {A}nalysis for {M}odular {S}ystems of
5                   {E}quations",
6   booktitle =    "Proceedings of the 2nd International Workshop on
7                   Equation-Based Object-Oriented Languages and Tools",
8   year =         2008,
9   series =       "Link{\"o}ping Electronic Conference Proceedings",
10 }
11
12 @InProceedings{Broman2006a,
13   author = {David Broman and Kaj Nystr\"{o}m and Peter Fritzson},
14   title = {{Determining Over- and Under-Constrained Systems of
15                   Equations using Structural Constraint Delta}},
16   booktitle = {GPCE},
17   year = {2006},
18   publisher = {ACM},
19   address = {New York, NY, USA},
20 }
21
22 @InProceedings{Giorgidze2009a,
23   author = {George Giorgidze and Henrik Nilsson},
24   title = {Higher-Order Non-Causal Modelling and Simulation of Structurally Dynamic Systems},
25   booktitle = {Proceedings of the 7th International Modelica Conference, Como, 
26                Italy, September 20-22, 2009},
27   pages = {208-218},
28   year = {2009},
29   editor = {Francesco Casella},
30   publisher = {Linkoping University Electronic Press, Linkoping universitet},
31   series = {Linkoping Electronic Conference Proceedings},
32   volume = {43},
33   isbn = {978-91-7393-513-5},
34   doi = {http://dx.doi.org/10.3384/ecp09430137}
35 }
36
37 @InProceedings{Giorgidze2010a,
38   author = {George Giorgidze and Henrik Nilsson},
39   title = {Mixed-level Embedding and {JIT} Compilation for an Iteratively Staged {DSL}},
40   booktitle = {Functional and (Constraint) Logic Programming, 19th International Workshop, 
41                WFLP 2010, Madrid, Spain, January 17, 2010},
42   year = {2010},
43   note = {To Appear}
44 }
45
46 @InProceedings{Nilsson2010,
47   author =       "Henrik Nilsson and George Giorgidze",
48   title =        "Exploiting Structural Dynamism in {F}unctional
49                   {H}ybrid {M}odelling for Simulation of Ideal Diodes",
50   booktitle =    "Proceedings of the 7th EUROSIM Congress on Modelling
51                   and Simulation",
52   year =         2010,
53   address =      "Prague, Czech Republic",
54   month =        sep,
55   publisher =    "Czech Technical University Publishing House",
56
57
58 @InProceedings{Nikoukhah,
59   author = "R. Nikoukhah",
60   title = "Hybrid Dynamics in Modelica: Should all Events be
61                   Considered Synchronous",
62   booktitle = "Proceedings of the 1st International Conference on
63                   Equation-Based Object-Oriented Languages and Tool",
64   year = "2008",
65 }
66
67 @Article{Bunus2002,
68   author =      "P. Bunus and P. Fritzson",
69   title =       "{A} {D}ebugging {S}cheme for {D}eclarative {E}quation {B}ased
70                  {M}odeling {L}anguages",
71   journal =     "Lecture Notes in Computer Science",
72   year =        "2001",
73 }
74
75 @Article{Nytsch2005,
76   author = "C. Nytsch-Geusen and T. Ernst and A. Nordwig and P Schwarz
77                   and P Schneider and M. Veter and C. Wittwer and
78                   T. Nouidui and A. Holm and J. Leopold and G. Schmidt
79                   and A. Mattes and U. Doll",
80   title = "MOSILAB: Development of a Modelica based generic simulation
81                   tool supporting model structural dynamics",
82   booktitle = "Proceedings of the 4th International Modelica Conference",
83   pages = "527--535",
84   year = "2005",
85 }
86
87 @Article{McKinna2006,
88   author =      "J. McKinna and T. Altenkirch and C. McBride",
89   title =       "Why {D}ependent {T}ypes {M}atter",
90   journal =     "ACM SIG{\-}PLAN Notices",
91   volume =      41,
92   number =      1,
93   year =        2006,
94 }
95
96 @Book{Cellier,
97   author = "Fran\c{c}ois E. Cellier",
98   title  = {Continuous System Simulation},
99   year   = 2006, 
100   pages  = 643,
101   publisher = "Ernesto",  
102 }
103
104 @Article{Kuhn,
105   author =      "H. Kuhn",
106   title =       "{S}olvability and {C}onsistency for {L}inear {E}quations and
107                  {I}nequalities",
108   journal =     "American Mathematical Monthly",
109   volume =      "63",
110   year =        "1956",
111 }
112
113 @Misc{Clang,
114   author = {Alfred V. Aho},
115   title = {{The C Programming Language}},
116   year = {1988}
117 }
118
119 @TechReport{Agdalang,
120   author = {Ulf Norell},
121   title = {{Towards a Practical Programming Language Based on
122                 Dependent Type Theory}},
123   institution = {{Chalmers University of Technology}},
124   year = {2007}
125 }
126
127 @Misc{Haskell98Report,
128   author =      "Simon Peyton Jones and others",
129   title =       "Haskell 98 -- {A} non-strict, purely functional
130                  language",
131   howpublished = "Available from http://www.haskell.org/onlinereport",
132   year =        "1999",
133   month =       feb,
134 }
135
136 @Book{Smalltalk,
137   author =      "A. Goldberg and D. Robson",
138   title =       "{Smalltalk 80: The Language and its Implementation}",
139   pages =       "736",
140   year =        "1983",
141   publisher =   "Addison-Wesley",
142   keywords =    "I30 books, I36 Smalltalk",
143   annote =      "ISBN 0--201--11371--6",
144 }
145
146 @TechnicalReport{ModelicaSpec,
147   author = {Modelica Specification},
148   title  = {Modelica - A Unified Object-Oriented Language for
149             Physical Systems Modelling - Language Specification
150             Version 3.0},
151   year   = 2007,
152   url    = http://www.modelica.org/,  
153 }
154
155 @InProceedings{CapperNilsson,
156   author = {John Capper and Henrik Nilsson},
157   title = {{Static Balance Checking for Modular Systems of Equations}},
158   institution = {{University of Nottingham}},
159   address = {{School of Computer Science, Jubilee Campus, 
160      Nottingham, United Kingdom}},
161   year = {2010},
162   booktitle = {Proceedings of the Eleventh Symposium on 
163                    Trends in Functional Programming}
164 }
165
166 @InProceedings{Nilsson03,
167   author =      "Henrik Nilsson and John Peterson and Paul Hudak",
168   title =       "{Functional Hybrid Modeling}",
169   booktitle =   "Proc. Int. Workshop on Practical Aspects of
170                  Declarative Languages",
171   series =      "LNCS",
172   volume =      "2562",
173   pages =       "376--390",
174   publisher =   "Springer Verlag",
175   month =       jan,
176   year =        "2003",
177   keywords =    "wShop, PADL, FP, FP, programming, Yampa, c2003, c200x,
178                  c20xx, model, simulation, simulate, physical, reactive,
179                  FRP, YaleUni, zz0605",
180 }
181
182 @Article{Taha1998,
183   author =      "Walid Taha and Zine-El-Abidine Benaissa and Tim
184                   Sheard",
185   title =       "Multi-Stage Programming: Axiomatization and Type
186                   Safety",
187   journal =     "Lecture Notes in Computer Science",
188   volume =      "1443",
189   pages =       "918",
190   year =        "1998",
191 }
192
193 @InProceedings{Taha1997,
194   title =       "Multi-Stage Programming",
195   author =      "Walid Taha and Tim Sheard",
196   year =        "1997",
197   booktitle =   "ICFP",
198   pages =       "321",
199 }
200
201 @InProceedings{Taha2003,
202   author =      "Walid Taha",
203   booktitle =   "Domain-Specific Program Generation",
204   pages =       "30--50",
205   title =       "A Gentle Introduction to Multi-stage Programming.",
206   year =        "2003",
207 }
208
209 @Article{Taha2007,
210   title =       "Implicitly Heterogeneous Multi-Stage Programming",
211   author =      "Jason Eckhardt and Roumen Kaiabachev and Emir Pasalic
212                  and Kedar N. Swadi and Walid Taha",
213   journal =     "New Generation Computing",
214   year =        "2007",
215   number =      "3",
216   volume =      "25",
217   pages =       "305--336",
218 }
219
220 @Article{Karr1978,
221   author = "M. Karr and D. Loveman",
222   title  = "Incorporation of units into programming languages",
223   booktitle = "Communications of the ACM",
224   publisher = "ACM",
225   volume    = "21",
226   pages = "385--391",
227   month = may,
228   year = "1978",
229 }
230
231 @Article{Dreiheller1986,
232   author =      "A. Dreiheller and M. Moerschbacher and B. Mohr",
233   title =       "{PHYSCAL}: Programming {Pascal} with physical units",
234   journal =     "ACM SIG{\-}PLAN Notices",
235   volume =      "21",
236   number =      "12",
237   pages =       "114--123",
238   month =       dec,
239   year =        "1986",
240 }
241
242 @Articile{Wand1991,
243   author = "M. Wand and P. O'Keefe",
244   title  = "Automatic dimensional inference",
245   editors = "J. Lassez and G. Plotkin",
246   journal = "Computational Logic: Essays in Honor of Alan Robinson", 
247   publisher = "MIT Press",
248   year = "1991",
249 }
250
251 @InProceedings{Kennedy2008a,
252   title =       {Types for units-of-measure in F\#: invited talk},
253   author =      {Andrew J. Kennedy},
254   booktitle =   "Proceedings of the {ACM} Workshop on {ML}, 2008,
255                  Victoria, {BC}, Canaday, September 21, 2008",
256   publisher =   "ACM",
257   year =        "2008",
258   editor =      "Eijiro Sumii",
259   pages =       "1--2",
260   URL =         "http://doi.acm.org/10.1145/1411304.1411305",
261 }
262
263 @InProceedings{Kennedy1997,
264   author =      "Andrew J. Kennedy",
265   title =       "Relational parametricity and units of measure",
266   editor =      "{ACM}",
267   booktitle =   {Conference record of POPL '97, the 24th ACM
268                  SIGPLAN-SIGACT Symposium on Principles of Programming
269                  Languages: papers presented at the symposium, Paris,
270                  France},
271   publisher =   "ACM Press",
272   pages =       "442--455",
273   year =        "1997",
274   URL =         "http://www.acm.org:80/pubs/citations/proceedings/plan/263699/p442-kennedy/",
275 }
276
277 @InProceedings{Kennedy2010,
278   author = "Andrew J. Kennedy",
279   title  = "Types for Units-of-Measure: Theory and Practice",
280   booktitle = "3rd Cenral European Functioanl Programming School. To appear in LNCS",
281   publisher = "Springer",
282   series   = "LNCS",
283   year = "2010",
284 }
285
286 @InProceedings{Kennedy2008b,
287   author = "Andrew J. Kennedy",
288   title = "Formalizing an Extensional Semantics for Units of Measure",
289   booktitle = "3rd ACM SIGPLAN Workshop on Mechanizing Metatheory (WMM)",
290   year = "2008",
291 }
292
293 @InProceedings{Kennedy1994,
294   author    = {Andrew J. Kennedy},
295   editor    = {Donald Sannella},
296   title     = {Programming Languages and Systems - ESOP'94, 5th European
297                Symposium on Programming, Edinburgh, U.K., April 11-13,
298                1994, Proceedings},
299   booktitle = {ESOP},
300   publisher = {Springer},
301   series    = {Lecture Notes in Computer Science},
302   volume    = {788},
303   year      = {1994},
304 }
305
306 @InProceedings{Aronsson2009,
307  author = "Peter Aronsson and David Broman",
308  title = "{Extendable Physical Unit Checking with Understandable Error
309                   Reporting}",
310  booktitle = "Proceedings of the 7th International Modelica
311                   Conference",
312  year = "2009",
313  pages = "890--897",
314  address = "Como, Italy",
315 }
316
317 @InProceedings{Aronsson2008,
318  author = "David Broman and Peter Aronsson and Peter Fritzson",
319  title = "{Design Considerations for Dimensional Inference and Unit
320                   Consistency Checking in Modelica}",
321  booktitle = "Proceedings of the 6th International Modelica
322                   Conference",
323  year = "2008",
324  pages = "3--12",
325  address = "Bielefeld, Germany",
326 }
327
328 @Book{Consoliver,
329   author =      "E. Consoliver and G. Mitchell",
330   title =       "{Automotive Ignition Systems}",
331   pages =       "4",
332   year =        "1920",
333   publisher =   "McGraw-Hill",
334 }
335
336 @InProceedings{Pugh91,
337   author =      "W. Pugh",
338   title =       "The {Omega} {T}est: a {F}ast and {P}ractical {I}nteger
339                  {P}rogramming {A}lgorithm for {D}ependence {A}nalysis",
340   booktitle =   "Supercomputing 91",
341   year =        1991,
342 }
343
344 @Book{Pierce,
345   author =      "B. Pierce",
346   publisher =   "The MIT Press",
347   title =       "Types and Programming Languages",
348   URL =         "http://www.cis.upenn.edu/~bcpierce/tapl/index.html",
349   year =        "2002",
350 }
351
352 @Article{Benton,
353   author =      "P. N. Benton",
354   title =       "Strictness properties of lazy algebraic datatypes",
355   journal =     "Lecture Notes in Computer Science",
356   volume =      "724",
357   year =        "1993",
358   CODEN =       "LNCSD9",
359   ISSN =        "0302-9743",
360 }
361
362 @Misc{Mottl,
363   title =       "Using Algebraic Datatypes as Uniform Representation
364                  for Structured Data",
365   author =      "Markus Mottl",
366   year =        "2003",
367   language =    "en",
368   subject =     "Structured data; Algebraic datatypes; Decision tree
369                  learning c 2003 Kluwer Academic Publishers. Printed in
370                  the Netherlands. algebraic_dts.; 17/03/2003; 18; 35;
371                  p.1",
372   URL =         "http://www.oefai.at/~markus/oefai/papers/algebraic_dts/algebraic_dts.ps.gz",
373 }
374
375 @InProceedings{KuncakJackson,
376   title =       "Relational analysis of algebraic datatypes",
377   author =      "Viktor Kuncak and Daniel Jackson",
378   booktitle =   "Proceedings of the 10th European Software Engineering
379                  Conference held jointly with 13th {ACM} {SIGSOFT}
380                  International Symposium on Foundations of Software
381                  Engineering, 2005, Lisbon, Portugal",
382   publisher =   "ACM",
383   year =        "2005",
384   editor =      "Michel Wermelinger and Harald Gall",
385   pages =       "207--216",
386   URL =         "http://doi.acm.org/10.1145/1081706.1081740",
387 }
388
389 @Unpublished{Hosoya,
390   author =      "Haruo Hosoya and Benjamin C. Pierce and David N.
391                  Turner",
392   title  =      "Datatypes and Subtyping",
393   year   =      "1998",
394   URL    =      "http://www.cis.upenn.edu/~bcpierce/ds.ps",
395 }
396
397 @Report{NASA,
398   author = {National Aeronautics and Space Administration},
399   title = {Mars Climate Orbiter, Mishap Investigation Board, Phase {I} Report},
400   month = "november",
401   year  = "1999",
402   url = "ftp://ftp.hq.nasa.gov/pub/pao/reports/1999/MCO_report.pdf",
403 }
404
405
406 @Book{Barbeau,
407   author = {Edward J. Barbeau},
408   booktitle = {Pell's Equation, Problem Books in Mathematics},
409   publisher = {Springer-Verlag},
410   year  = "2003",
411 }