DISPALY OVERWIEW:

Algebraic Specifications Prototyping (XP36PAS)
course in Czech language

, currently teaching
Number of teaching periods (lectures + seminars): 2+2
Termination: Examination

time table at FEElink outside this server

  Summary:  

  Algebraic specification, syntax and semantics of a specification language (OBJ3), structured specifications, generic specifications, implementation of an algebraic specification, interpretation using Prolog, translation into Lisp, term rewriting systems, abstract rewriting machine, prototyping of a specification, prototyping in OBJ3, conversion to procedural language (C++).

  Literature:  
 
  • Richta, Velebil: Sémantika programovacích jazyků. Skripta UK
  • Goguen, Winkler, Meseguer, Futatsugi, Jouannaud: Introducing OBJ. SRI-CSL-92-03, Menlo Park 1992
  • Watt: Programming Language Syntax and Semantics, Prentice Hall 1991


 Department of Computer Science and Engineering

stránky v češtině


all about people and PhD at department
about teaching
about research activities
events
offers for students

University of the Third Age
DISPLAY IN NEW WINDOW info for local users - password restricted area

DISPLAY IN NEW WINDOW CTU in PragueDISPLAY IN NEW WINDOW FEE CTU in Prague
tisk
Generated: 24.07.2011 13:09

 to page top