If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 2014

    Parchments for CafeOBJ Logics

    Mossakowski, T., Pawlowski, W., Sannella, D. & Tarlecki, A., 2014, Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi. Springer Berlin Heidelberg, p. 66-91 26 p. (Lecture Notes in Computer Science; vol. 8373).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2010

    Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode

    Aspinall, D., Atkey, R., MacKenzie, K. & Sannella, D., 2010, Trustworthly Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers. Wirsing, M., Hofmann, M. & Rauschmayer, A. (eds.). Springer-Verlag GmbH, p. 1-22 22 p. (Lecture Notes in Computer Science; vol. 6084).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2007

    Mobile Resource Guarantees

    Sannella, D., Hofmann, M., Aspinall, D., Gilmore, S., Stark, I., Beringer, L., Loidl, H-W., MacKenzie, K., Momigliano, A. & Shkaravska, O., 2007, Trends in Functional Programming. Intellect Books, Vol. 6. p. 211-226 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2006

    Horizontal Composability Revisited

    Sannella, D. & Tarlecki, A., 2006, Algebra, Meaning, and Computation: Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday. Springer Berlin Heidelberg, Vol. 4060. p. 296-316 21 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2005

    Mobile Resource Guarantees (Project Evaluation Paper)

    Sannella, D., Hofmann, M., Aspinall, D., Gilmore, S., Stark, I., Beringer, L., Loidl, H-W., MacKenzie, K., Momigliano, A. & Shkaravska, O., 2005, 6th Symposium on Trends in Functional Programming TFP 2005. Institute of Cybernetics, p. 7-16 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Mobile Resource Guarantees for Smart Devices

    Aspinall, D., Gilmore, S., Hofmann, M., Sannella, D. & Stark, I., 2005, Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers. Barthe, G., Burdy, L., Huisman, M., Lanet, J-L. & Muntean, T. (eds.). Berlin: Springer-Verlag GmbH, Vol. 3362. p. 1-26 26 p. (Lecture Notes in Computer Science; vol. 3362).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2004

    A Simple Refinement Language for Casl

    Mossakowski, T., Sannella, D. & Tarlecki, A., 2004, Recent Trends in Algebraic Development Techniques: 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers. Springer Berlin Heidelberg, p. 162-185 24 p. (Lecture Notes in Computer Science; vol. 3423).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2002

    From Specifications to Code in Casl

    Aspinall, D. & Sannella, D., 2002, Algebraic Methodology and Software Technology: 9th International Conference, AMAST 2002 Saint-Gilles-les-Bains, Reunion Island, France September 9–13, 2002 Proceedings. Kirchner, H. & Ringeissen, C. (eds.). Springer Berlin Heidelberg, Vol. 2422. p. 1-14 14 p. (Lecture Notes in Computer Science; vol. 2422).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Global Development via Local Observational Construction Steps

    Bidoit, M., Sannella, D. & Tarlecki, A., 2002, Mathematical Foundations of Computer Science 2002: 27th International Symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002, Proceedings. Springer Berlin Heidelberg, p. 1-24 24 p. (Lecture Notes in Computer Science; vol. 2420).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Toward Component-Oriented Formal Software Development: An Algebraic Approach

    Bidoit, M., Sannella, D. & Tarlecki, A., 2002, Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers. Springer Berlin Heidelberg, p. 75-90 16 p. (Lecture Notes in Computer Science; vol. 2941).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Unit Testing for CASL Architectural Specifications

    Machado, P. D. L. & Sannella, D., 2002, Mathematical Foundations of Computer Science 2002: 27th International Symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002, Proceedings. Springer Berlin Heidelberg, p. 506-518 13 p. (Lecture Notes in Computer Science; vol. 2420).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2001

    The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress

    Sannella, D., 2001, Recent Trends in Algebraic Development Techniques: 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, Selected Papers. Springer Berlin Heidelberg, p. 328-344 17 p. (Lecture Notes in Computer Science; vol. 2267).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2000

    Constructive Data Refinement in Typed Lambda Calculus

    Honsell, F., Longley, J., Sannella, D. & Tarlecki, A., 2000, Foundations of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings. Tiuryn, J. (ed.). Springer Berlin Heidelberg, p. 161-176 16 p. (Lecture Notes in Computer Science; vol. 1784).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Lax Logical Relations

    Plotkin, G. D., Power, J., Sannella, D. & Tennent, R. D., 2000, Automata, Languages and Programming: 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings. Springer Berlin Heidelberg, p. 85-102 18 p. (Lecture Notes in Computer Science; vol. 1853).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 1999

    Architectural Specifications in CASL

    Bidoit, M., Sannella, D. & Tarlecki, A., 1999, Algebraic Methodology and Software Technology: 7th International Conference, AMAST’98 Amazonia, Brazil, January 4–8, 1999 Proceedings. Haeberer, A. M. (ed.). Springer-Verlag GmbH, p. 341-357 17 p. (Lecture Notes in Computer Science; vol. 1548).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Pre-logical Relations

    Honsell, F. & Sannella, D., 1999, Computer Science Logic: 13th International Workshop, CSL’99 8th Annual Conference of the EACSL Madrid, Spain, September 20–25, 1999 Proceedings. Flum, J. & Rodriguez-Artalejo, M. (eds.). Springer-Verlag GmbH, p. 546-561 16 p. (Lecture Notes in Computer Science; vol. 1683).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 1997

    What does the future hold for theoretical computer science?

    Sannella, D., 1997, TAPSOFT '97: Theory and Practice of Software Development: 7th International Joint Conference CAAP/FASE Lille, France, April 14–18, 1997 Proceedings. Bidoit, M. & Dauchet, M. (eds.). Springer-Verlag GmbH, p. 15-19 5 p. (Lecture Notes in Computer Science; vol. 1214).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 1996

    Mind the gap! Abstract versus concrete models of specifications

    Sannella, D. & Tarlecki, A., 1996, Mathematical Foundations of Computer Science 1996: 21st International Symposium, MFCS'96 Cracow, Poland, September 2–6, 1996 Proceedings. Penczek, W. & Szalas, A. (eds.). Springer-Verlag GmbH, p. 114-134 21 p. (Lecture Notes in Computer Science; vol. 1113).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 1995

    On Behavioral Abstraction and Behavioural Satisfaction in Higher-Order Logic

    Hofmann, M. & Sannella, D., 1995, TAPSOFT '95: Theory and Practice of Software Development: 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22–26, 1995 Proceedings. Springer-Verlag GmbH, p. 247-261 15 p. (Lecture Notes in Computer Science; vol. 915).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 1991

    A Kernel Specification Formalism with Higher-Order Parameterisation

    Sannella, D. & Tarlecki, A., 1991, Recent Trends in Data Type Specification: 7th Workshop on Specification of Abstact Data Types Wusterhausen/Dosse, Germany, April 17–20, 1990 Proceedings. Springer-Verlag GmbH, p. 274-296 23 p. (Lecture Notes in Computer Science; vol. 534).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Extended ML: Past, present and future

    Sannella, D. & Tarlecki, A., 1991, Recent Trends in Data Type Specification: 7th Workshop on Specification of Abstact Data Types Wusterhausen/Dosse, Germany, April 17–20, 1990 Proceedings. Ehrig, H., Jantke, K. P., Orejas, F. & Reichel, H. (eds.). Springer-Verlag GmbH, p. 297-322 26 p. (Lecture Notes in Computer Science; vol. 534).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 1989

    Adding Generic modules to flat rule-based languages: a low cost approach

    Agustí-Cullell, J., Sierra, C. & Sannella, D., 1989, Methodologies for Intelligent Systems 4: Proceedings of the Fourth International Symposium on Methodologies for Intelligent Systems, held October 12-14, 1989, in Charlotte, North Carolina. Ras, Z. (ed.). North-Holland Publishing Company, p. 43-51 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Logic representation in LF

    Harper, R., Sannella, D. & Tarlecki, A., 1989, Category Theory and Computer Science: Manchester, UK, September 5–8, 1989 Proceedings. Pitt, D. H., Rydeheard, D. E., Dybjer, P., Pitts, A. M. & Poigné, A. (eds.). Springer-Verlag GmbH, p. 250-272 23 p. (Lecture Notes in Computer Science; vol. 389).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Structure and representation in LF

    Harper, R., Sannella, D. & Tarlecki, A., 1 Jun 1989, Logic in Computer Science, 1989. LICS '89, Proceedings., Fourth Annual Symposium on. p. 226-237 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Toward formal development of ML programs: Foundations and methodology

    Sannella, D. & Tarlecki, A., 1989, TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989. Díaz, J. & Orejas, F. (eds.). Springer-Verlag GmbH, p. 375-389 15 p. (Lecture Notes in Computer Science; vol. 352).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 1988

    Proving properties of logic programs: A Progress Report

    Bundy, A., Wallen, L. A., Sannella, D., Desimone, R., Guinchiglia, F., van Harmelen, F., Hesketh, J., Madden, P., Smaill, A. & Stevens, A., 1988, 1988 Alvey Conference. Vol. UK IT88. 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 1987

    Formal Specification of ML Programs

    Sannella, D., 1987, Jornadas Rank Xerox Sobre Inteligencia Artificial Razonamiento Automatizado. p. 79-98 20 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    File
  • Toward formal development of programs from algebraic specifications: Implementations revisited

    Sannella, D. & Tarlecki, A., 1987, TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987. Ehrig, H., Kowalski, R., Levi, G. & Montanari, U. (eds.). Springer-Verlag GmbH, p. 96-110 15 p. (Lecture Notes in Computer Science; vol. 249).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 1986

    Extended ML: An institution-independent framework for formal program development

    Sannella, D. & Tarlecki, A., 1986, Category Theory and Computer Programming: Tutorial and Workshop, Guildford, U.K. September 16–20, 1985 Proceedings. Pitt, D., Abramsky, S., Poigné, A. & Rydeheard, D. (eds.). Springer Berlin Heidelberg, p. 364-389 26 p. (Lecture Notes in Computer Science; vol. 240).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 1985

    Program specification and development in standard ML

    Sannella, D. & Tarlecki, A., 1985, Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages. New York, NY, USA: ACM, p. 67-77 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 1983

    A kernel language for algebraic specification and implementation extended abstract

    Sannella, D. & Wirsing, M., 1983, Foundations of Computation Theory: Proceedings of the 1983 International FCT-Conference Borgholm, Sweden, August 21–27, 1983. Karpinski, M. (ed.). Springer-Verlag GmbH, p. 413-427 15 p. (Lecture Notes in Computer Science; vol. 158).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Structured theories in LCF

    Sannella, D. T. & Burstall, R. M., 1983, CAAP'83: Trees in Algebra and Programming 8th Colloquium L'Aquila, March 9–11, 1983 Proceedings. Ausiello, G. & Protasi, M. (eds.). Springer-Verlag GmbH, p. 377-391 15 p. (Lecture Notes in Computer Science; vol. 159).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 1980

    HOPE: An Experimental Applicative Language

    Burstall, R. M., MacQueen, D. B. & Sannella, D., 1980, LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming. ACM, p. 136-143 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution