Formal specification of interactive graphics programming languages
Formal specification of interactive graphics programming languages
The computer modelling of mathematical reasoning
The computer modelling of mathematical reasoning
ACM Transactions on Programming Languages and Systems (TOPLAS)
The PegaSys System: pictures as formal documentation of large programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
The relation between logic and functional languages: A survey
Journal of Logic Programming
RELFUN: A relational/functional integration with valued clauses
ACM SIGPLAN Notices
Inside Macintosh
Initiality, induction, and computability
Algebraic methods in semantics
A program transformation from equational programs into logic programs
Journal of Logic Programming
Unification under associativity and idempotence is of type nullary
Journal of Automated Reasoning
The theory of idempotent semigroups is of unification type zero
Journal of Automated Reasoning
Parameterized programming in OBJ2
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Proceedings of the first Franco-Japanese Symposium on Programming of future generation computers
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
An algebraic model of sybtypes in object-oriented languages (draft)
OOPWORK '86 Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming
Formal specification as a design tool
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A hierarchical structuring method for functional software systems
ICSE '82 Proceedings of the 6th international conference on Software engineering
Equations and rewrite rules: a survey
Equations and rewrite rules: a survey
Associative-commutative rewriting
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2
Stepwise refinement process with modularity
ICSE '89 Proceedings of the 11th international conference on Software engineering
| Hi-index | 0.00 |
We have described QuickDraw, a typical graphics package, using OBJ2, a powerful algebraic language now in the phase of experimental use as a specification language. The results testify the applicability of OBJ2 to some practical problem domains, as well as the premonitioned advantages the use of formal specification techniques brings. The work also sheds some critical lights upon the design of QuickDraw; we detect incomplete procedure definitions, and find imprecise the classification of procedures.