back

 

Bibliographie.

 

[AbCa95] Martin Abadi, Luca Cardelli. A Theory of Primitive Objects. Digital Equipment Corporation, Systems Research Center, 1995.

 

[Abad93] Martin Abadi. Baby Modula-3 and a Theory of Objects. SRC Research Report 95. Digital, February 2, 1993.

 

[Agon94] Augusto Agon. DEA d'informatique de l'université Paris XI. Sous la direction de Gérard Assayag. Paris, 1994.

 

[AAFR94] Carlos Agon, Gérard Assayag, Joshua Fineberg, Camilo Rueda. Kant : A Critique of Pure Quantification. Proceedings of the ICMC 94, Aarhus (Danemark), 1994.

 

[AARL98] Augusto Agon, Gérard Assayag, Mikael Laurson, Camilo Rueda . Computer Assisted Composition at Ircam : PatchWork & OpenMusic. Computer Music Journal, to be published.

 

[AADR98] Carlos Agon, Gérard Assayag, Olivier Delerue, Camilo Rueda. Objects, Time and Constraints in OpenMusic. Proceedings of the ICMC 98, Aar Harvor USA 1998.

 

[Ames96] C. Ames. Thresholds of confidence: an analysis os Statistical Methods for Composition. In Leonardo Music Journal. vol. 6 MIT press, 1996.

 

[AsMa84] G. Assayag, C. Malherbe. Manipulation et représentation d'objets musicaux. proc. ICMC 84. 1984.

 

[AsCa85] G. Assayag, M. Castellengo, C. Malherbe. Functional integration of complex instrumental sounds in music writing. proc. ICMC 85. 1985.

 

[Assa93] G. Assayag. Composition Assistée par Ordinateur : Vers la partition potentielle. Les Cahiers de l'Ircam, Paris, 1993.

 

[AsRu93] G. Assayag C. Rueda. Representations Musicales. Revue Intermedia, Paris, 1993.

 

[AsCh95] G. Assayag et J. P. Cholleton. Musique, nombres et ordinateurs. Dans La Recherche 278 juillet-août 1995 volume 26, Paris, 1995.

 

[AsAg96] Gérard Assayag, Carlos Agon. OpenMusic Architecture. Proceedings of the ICMC 96, Hong Kong, 1996.

 

[AAFH97] Gérard Assayag, Carlos Agon, Joshua Fineberg, Peter Hanappe. An Object Oriented Visual Environment For Musical Composition. Proceedings of the ICMC 97, Thessaloniki, 1997.

 

[AsTi86] G. Assayag et Dan Timis. A toolBox for music notation. ICMC86, The Hague, 1986.

 

[AsTi87] G. Assayag et Dan Timis. Computer printing, storage and transfer of musical scores. ICMC87, San Francisco, 1987.

 

[AVIS97] Grupo de investigacion de Ambientes VISuales de Programacion Aplicativa, AVISPA. Informe de avance. Cali, 1997.

 

[Balle94] P. Ballesta. Contraintes et objets :clef de voûte d'un outil d'aide à la composition. Ph.D. Université du Maine, Le Mans, 1994.

 

[Barb68] Pierre Barbaud. La musique discipline scientifique.Dunod, Paris, 1968.

 

[Batt95] Marc Battier. Entre l'idee et l'¤uvre : parcours de l'informatique musicale.

Esthetique des arts mediatiques Tome 1. Presses de l'Université de Québec, 1995.

 

[BeLi89] H. Bestougeff et G Ligozat. Outils logiques pour le traitement du temps. De la linguistique à l'intelligence artificielle. Masson Editores, Paris, 1989.

 

[Borg33] Borges José Luis. Historia de la eternidad. Ed. Emencé. Buenos Aires, 1933.

 

[BoRu97] A. Bonnet et C. Rueda. Situation version 2.0, manuel de référence. CDROM Forum Ircam, 1997.

 

[Brun93] Bruno Christophe. Pourquoi sommes-nous si grands ? Dans Barca No 1, Paris, septembre 1993.

 

[BrLe98] Bruno Christophe et Philippe Leroux. Musique contemporaine : une soulution de continuité. Paris, 1998.

 

[Cast98] Castagna Giuseppe. Foundations of Object-oriented programming. ETAPS, Lisbone, 1998.

 

[CaWe85] Luca Cardelli, Peter Wegner. On Understanding types, data Abstraction and polymorphism. Computing Surveys vol. 17 No 4, 1985.

 

[Chan87] Shi-Kuo Chang. Visual Languages: A Tutorial and Survey. IEEE Software Magazine, Vol. 4, No. 1, January 1987, 29-39.

 

[Chem90] M. Chemillier. Structure et méthode algébriques en informatique musicale. Thèse de doctorat de l'Université Paris VI, Paris, 1990.

 

[ChPa94] Chidiac Pascal. Logique temporelle. Rapport de soutenance de stage de DEA. LRI, Université d'Orsay, septembre 1994.

 

[Cope91] D. Cope. Computers and Musical Style. Oxford University Press, USA, 1991.

 

[CPOT97] Shi-Kuo Chang, G. Polese, S. Orefice, M. Tucci. A Methodologie and Interactive Environment for Iconic Language Design. University of Pittsburgh. Pittsburgh, 1997.

 

[Cour90] Francis Courtot. CARLA : Knowledge acquisition and induction for computer assited composition. Rapport de recherche, Ircam, 1990.

 

[Cour93] Francis Courtot. Entre le décomposé et l'incomposable. Les cahiers de l'Ircam 1(3) : La composition assistée par ordinateur 1(3). Paris juin 1993.

 

[DaDu90] M.A. Dalbavie et Jacques Duthen. Manuel preFORM version II.

Ircam , 1990.

 

[Dele97] Olivier Delerue. Etude et réalisation d'opérateurs musicaux pour un environnement de composition assitée par ordinateur. Rapport de stage du DEA ATIAM. Paris, 1997.

 

[DeAA98] Olivier Delerue, Gérard Assayag, Carlos Agon. Etude et réalisation d'opérateurs d'opérateurs rythmiques dans OpenMusic. JIM 98, Lyon, 1997.

 

[DeHo94] Desain, P. et Honing, H. CLOSe to the edge? Advanced object oriented

techniques in the representation of musical knowledge. Research Report CT- 94-13. Institute for Logic, Language and Computation, Amsterdam, 1994.

 

[DeMi92] Serge Dentin et Philipp Minh. Les modèles du temps en physique et en logique. Dans Temps et mouvement, la musique et ses doubles. Laboratoire Musique et Informatique de Marseille, ed. Marseille, 1992.

 

[Dufo81] Hugues Dufourt. Le compositeur et l'ordinateur. Rapports Ircam, Paris, 1981.

 

[Ebci92] K. Ebcioglu. An Expert System for Harmonizing Chorales in the Style of J.S. Bach. IN Understanding Music with AI. The AAAI Press, Californie, 1992.

 

[Fatu89] Claude fatus. Composition musicale et informatique. Minerve Editeur, Paris, 1989.

 

[Fern81] Brian Ferneyhough. Le compositeur et l'ordinateur. Rapports Ircam, Paris, 1981.

 

[FLOr95] Fober D., Letz S., Orlarey Y. MidiShare, un système d'exploitation musical pour la communication et la collaboration. Proceedings of the Journées d'Informatique Musicale JIM95, Paris, pp.91-100, 1995.

 

[GHJV95] E. Gamma, R. Helm, R. Johnson, J. Vlissides. Design petterns, elements of reusable object-oriented software. Addison-Wesley publishing company.

1995.

 

[Gabb95] Dov M. Gabbay. Publication Notes. To appear in volume 2. of Handbook of Logic in Artificial Intelligence and Logic Programming. Oxford University Press, Oxford, 1995.

 

[Gerz93] Andrew Gerzo. Informatique et musique. La recherche N° 257, Paris, 1993.

 

[Gris87] Gérard Grisey. Tempus ex machina. In Contemporary Music Review vol 2.

Part 1, 1987.

 

[Haar95] Volker Haarslev. Formal Semantics of Visual languages Using Spatial Reasoning. In proceedings, 11th Symposium on Visual Languages, Darmstadt, 1995.

 

[Haar96] Volker Haarslev. A Fully Theory for Describing Visual Notations. In International Workshop on the Theory of Visual Languages, Gubbio, Italy, 1996.

 

[Habe96] Benoît Habert. Objectif : CLOS. Masson ed. Paris, 1996.

 

[Hill69] Lejaren Hiller. Music composed with computers. In Music by computers, Heinz von Foerster col. J. Wiley & sons Ed. New York, 1969

 

[JBKr70] Ole-Johan Dahl, Björn Myhrhaug and Kristen Nygaard. SIMULA - Common Base Language. Norwegian computing center, Oslo, 1970.

 

[Koen71] G. M. K¤nig. Emploi des programmes d'ordinateur dans la creation musicale. Dans Revue Musicale No. 268-269, Paris, 1971.

 

[Kram88] Jonathan D. Kramer. The time of Music. Schirmer Books ed. New York, 1988.

 

[KSHa91] K. M. Kahn, V. A. Saraswat, V. Haarslev. Pictorial Janus : A Completely Visual Programming Language and its Environment. In GI-Fachgespräch Programmieren Multimedialer. Darmstadt, 1991.

 

[Kurl93] David Kurlandeer. Graphical Editing by Exemple in CHIMERA. In Watch Wath I Do : Programming by Demonstration. Allen Cypher, ed. New York, 1993.

 

[Laur93] Laurson M. PWConstraints. In Haus G. and Pighi I. (eds), X Colloquio di

Informatica Musicale, 332-335, Associazione di Informatica Musicale Italiana, . Milano 1993.

 

[Laur96] Laurson M. PATCHWORK: A Visual Programming Language and some Musical Applications. Helsinki : Sibelius Academy, Helsinki, 1996.

 

[Live92] Pierre Livet. Logique temporelles et temps musical. Dans Temps et mouvement, la musique et ses doubles. Laboratoire Musique et Informatique de Marseille, ed. Marseille, 1992.

 

[LoyG88] Gareth Loy. Composing with Computers - A Survey of Some Compositional Formalisms and Music Programming Languages. In Current Directions in Computer Music Research, edited by M. V. Matthews & J. R. Pierce. Cambridge, MIT Press. Cambridge, 1988.

 

[MaMe96a] Kim Marriott, Bernd Meyer. Towards a Hierarchy of Visual Languages. Monash University, Department of Computer Science, dans Proceedings of the 12th International IEEE Workshop on Visual Languages. 1996

 

[MaMe96b] Kim Marriott, Bernd Meyer. Formal Classification of Visual Languages. Monash University, Department of Computer Science. dans Proceedings of the I International Workshop on Theory of Visual Languages, Gubbio, Italy, 1996.

[Melc91] Alessandro Melchiorre. Le flux et l'obstacle, une idée du temps. Parue dans la revue Sonus, numéro 1-2, Potenza, 1991.

 

[MeRi89] M. Mesnage, A. Riotte, Les variations pour piano opus 27: approche cellulaire barraquéenne et analyse assistée par ordinateur. Dans Analyse Musicale, 14. Paris, 1989, pp 51-66.

 

[Miln80] Robin Milner. A calculus of communicating systems. Lecture Notes in Computer Science. LNCS 92, 1980.

 

[Miln91] Robin Milner. The polyadic p-calculus : a tutorial . Technical Report, Laboratory for Foundations of Computer Science, University of Edinburg, UK, 1991.

 

[Napo98] Amedeo Napoli. Les logiques de descriptions. Langages et modèles à objets : état et perspectives de la recherche. INRIA, 1998.

 

[Nico91] Francois Nicolas. Comme peut-on envisager de composer avec MOSAIC ? Ircam, 1991.

 

[OrFL97] Yann Orlarey, Dominique Fober et Stéphane Letz. Elody : a Java+MidiShare based Music Composition Environment. Proceedings of the ICMC 97, Thessaloniki, 1997.

 

[Ovan92] R. Ovans. An Interactive Constraint-Based Expert Assistant for Music Composition. Proc. 9 Conference canadian of IA. Vancouver, 1992.

 

[Pach94] Pachet, François. The MusES system: an environment for experimenting with knowledge representation techniques in tonal harmony. First Brazilian Symposium on Computer Music, SBC&M '94, August 3-4, Caxambu, Minas Gerais, Brazil, pp. 195-201, 1994.

 

[Pach94b] Pachet, François. An object-oriented representation of pitch-classes, intervals, scales and chords. Journées d'Informatique Musicale, LaBRi, Université de Bordeaux I, 25-26 mars 1994, pp. 19-34.

 

[Pach97] François Pachet. Représentation de connaissances et langages à objets. Habilitation à diriger des recherches, mémoire de synthèse. LIP6, report No. 97&endash;21, Paris, 1997.

 

[PaRo95] Pachet, F. Roy, P. Integrating constraint satisfaction techniques complex object structures. 15th Annual Conference of the British Computer Society Specialist Group on Expert Systems, ES'95, , pp. 11-22. Cambridge, December 95.

 

[Paep93] Andreas Paepcke. Object-Oriented Programming - The CLOS Perspective. MIT Press, 1993.

 

[Pope91] Stephen Pope. Introduction to MODE : The Musical Object Development Environment. S. T. Pope ed. MIT press. Boston, 1991.

 

[Prat92] Vaughan R. Pratt. The Duality of time and information. Stanford University, 1996.

 

[PuZi90] Miller Puckette et David Zicarelli. MAX, Development Package. Ircam and Opcode Systems, 1990.

 

[Rémy95] Didier Rémy. Programming Objects with ML_ART : an extension to ML with abstract and record types. TACS 95.

 

[Rico83] Ric¤ur Paul. Temps et récit. Editions du seuil. Paris, 1983.

 

[RoCo85] Xavier Rodet et Pierre Cointe. FORMES Composition et ordonnancement de processus. Rapports de recherche No 36, Ircam, Paris, 1985.

 

[Roki96] Lionel Rokita. Modele Rythmique d'une piece pour clarinette d'Igor stravinsky. JIM 96, 1996.

 

[RoPa97] Roy, P. Pachet, F. Conception de problèmes par objets et contraintes. Journées francophones des langages applicatifs, Gengler, M. and Queinnec, C. Eds, INRIA, pp. 169-187. Lyon, 1997.

 

[RuVa97] Camilo Rueda, Frank Valencia. Improving forward checking with delayed evaluation. In proceedings of CLEI'97, Santiago, Chile, 1997.

 

[Rued98] Camilo Rueda. Constraint Systems for Musical Applications. Ircam and Universidad javeriana-Cali Technical report. Paris, 1998.

 

[RuBo98] Camilo Rueda et Antoine Bonnet. Un langage visuel basé sur les contraintes pour la composition musicale. Chapitre 5 dans Recherches et applications en informatique musicale. Hermes, Collection Informatique Musicale, Paris, 1998.

 

[Sain93] Emmanuel Saint-James. La programmation applicative (de LISP à la machine en passant par le lambda-calcul). Editions Hermes. Paris, 1993.

 

[Smol95] Gert Smolka. The OZ programming Model. Computer Science Today. Jan van Leeuwen, editor. Berlin, 1995.

 

[Taub91] H. Taube. Common music: A music composition language in Common Lisp and CLOS. Computer Music Journal, 15(2), Summer 1991. MIT Press.

 

[Scho97] Bill Schottstaedt. Comon Music Notation. In : Beyond MIDI, The Handbook of Musical Codes ; Eleanor Selfridge-Field (ed.), MIT Press, Cambridge, Massachusetts, 1997.

 

[Stee98] Guy L; Steele. Common LISP The language, second edition. Digital Press, USA, 1998.

[Stoc56] Karlheinz Stockhausen. ╔Comment passe le temps╔ In contrechamps No 9, Editions l'âge d'homme, paru sous le titre "╔wie die zeit vergeht╔" in die reihe 3, 1957.

 

[Vasc94] Vasco Vasconcelos. Typed concurrent objects. In M. Tokoro and R. Pareschi, editors, ECOOP 94, springer-verlag, 1994.

 

[Xena81] I. Xenakis. Musiques formelles. Stock Musique, Paris, 1981.

 

back