Software Construction - Foundation and Application (Dagstuhl Seminar 9203) (original) (raw)
Related papers
Logical Theory for Program Construction (Dagstuhl Seminar 9410)
1994
Desarrollo Orientado a Componentes Aplicado al Fortalecimiento de Capacidades Lógicas para Programar
Proceedings of the 16th LACCEI International Multi-Conference for Engineering, Education, and Technology: “Innovation in Education and Inclusion”, 2018
Preliminary Report on the Specification and Programming Language Abel
1987
Program Development in Computational Logic
Springer eBooks, 2004
Comparative Studies of Programming Languages, COMP6411 Lecture Notes, Revision 1.4
2010
Un operador general de contracción para programas lógicos
1998
Logic programming and compiler writing
Software: Practice and Experience, 1980
1957-2007: 50 years of higher order programming languages
2009
Mathematics of Program Construction
Lecture Notes in Computer Science, 2012
Programming in a wide spectrum language: a collection of examples
Science of Computer Programming, 1981
On the Development of Correct Specified Programs
IEEE Transactions on Software Engineering, 2000
1994
Research in Programming Languages and Software Engineering
Programming languages and systems
16th European symposium on programming, ESOP, 2007
Logic-Based Program Synthesis and Transformation: 16th International Symposium, LOPSTR 2006
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2007
An algebraic approach to semantics of programming languages
Theoretical Computer Science, 1994
Construction and reuse of formal program developments
Lecture Notes in Computer Science, 1991
From Interpretation to Compilation
Lecture Notes in Computer Science
Method of Programming Languages Analysis
2020
Construction and deduction methods for the formal development of software
Lecture Notes in Computer Science, 1995
Introduction: Development of Computer Languages and Software
Computer Languages
Springer eBooks, 2008
Computer Languages: A perspective
Computer Languages, 1991
Logic, Language, and Analysis Software Abstractions
Montages ó Engineering of Computer Languages
2004
Encyclopedia of Computer Science, 2003
The formal semantics of programming languages: an introduction
Choice Reviews Online
The implementation of functional programming languages
Microprocessors and Microsystems, 1987
Formal semantics and the logical structure of programming languages
Abstract computation model used for a production compiler
Information Processing Letters, 1974
Necessary and Sufficient Conditions for University of Programming Formalisms (Partial Report)
1983
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science
Transformational Development of Logic Programs from Executable Specifications