Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Galileo 97 Reference Manual. Version 2.0 \Lambda A. Albano, G. Antognoni, G. Baratti, G. Ghelli, and R. Orsini*
 

Summary: Galileo 97 Reference Manual. Version 2.0 \Lambda
A. Albano, G. Antognoni, G. Baratti, G. Ghelli, and R. Orsini*
Dipartimento di Informatica
Universit`a di Pisa
Corso Italia 40, 56125 Pisa -- Italy
albano@di.unipi.it
*Universit`a di Venezia
Corso di Laurea in Scienze dell'Informazione
Via Torino 155, 30170 Mestre -- Italy
September 1998
Abstract
Galileo97 is a statically--scoped functional conceptual language. Functions are first
class values which can be passed as parameters, returned as values and embedded in data
structures.
Galileo97 is an interactive language. A session is a dialogue of questions and answers
with the Galileo97 system.
Galileo97 is a statically and strongly typed language. Every expression has a type,
which is determined statically. The type of an expression is usually automatically inferred
by the system, without needing of type definitions. The Galileo97 type system guarantees
that any expression that can be typed will not generate type errors at run--time.

  

Source: Albano, Antonio - Dipartimento di Informatica, UniversitÓ di Pisa

 

Collections: Computer Technologies and Information Sciences