Result 1 to 20 of 110 total
Synthesis of logic programs from object-oriented formal specifications. (English)
Gallagher, John P. (ed.) et al., Technical communications of the 27th international conference on logic programming (ICLP 2011), Lexington, Kentucky, USA, July 6‒10, 2011. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-31-6). LIPICS ‒ Leibniz International Proceedings in Informatics 11, 95-105, electronic only (2011).
1
Automatically preparing safe SQL queries. (English)
Sion, Radu (ed.), Financial cryptography and data security. 14th international conference, FC 2010, Tenerife, Canary Islands, January 25‒28, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-14576-6/pbk). Lecture Notes in Computer Science 6052, 272-288 (2010).
2
Invariant-based reasoning about parameterized security protocols. (English)
Formal Asp. Comput. 22, No. 1, 63-81 (2010).
3
Static analysis of object references in RMI-based Java software. (English)
IEEE Trans. Softw. Eng. 32, No. 09, 664-681 (2006).
4
On uniformly constructive and semiconstructive formal systems. (English)
Log. J. IGPL 11, No.1, 1-49 (2003).
5
Design of aided decision-making program for prioritizing construction projects in urban road network planning. (English)
J. Southeast Univ., Engl. Ed. 18, No. 3, 249-253 (2002).
6
Special issue: Mathematics of program construction, MPC 2000. 5th international conference, Ponte de Lima, Portugal, July 3‒7, 2000. (English)
Sci. Comput. Program. 43, No.2-3, 91-232 (2002).
7
Fork algebras in algebra, logic and computer science. (English)
Advances in Logic. 2. Singapore: World Scientific. xi, 217 p. \sterling 33.00; \$ 48.00 (2002).
8
Mathematics of program construction. 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8‒10, 2002. Proceedings. (English)
Lecture Notes in Computer Science. 2386. Berlin: Springer. x, 263 p. EUR 40.00 (net); sFr 68.50; \sterling 28.00; \$ 52.00 (2002).
9
Algebraic and coalgebraic methods in the mathematics of program construction. International summer school and workshop, Oxford, GB, April 10‒14, 2000. Revised lectures. (English)
Lecture Notes in Computer Science. 2297. Berlin: Springer. xiv, 387 p. EUR 46.00 (net); sFr 76.50; \sterling 32.00; \$ 52.00 (2002).
10
Strategies of structural synthesis of programs and its extensions. (English)
Comput. Inform. 20, No. 1, 1-25 (2001).
11
Development of a general algorithm for constructing algebraic curves of third degree. (English)
Pretorius, Johann, Proceedings of the 9th international conference on geometry and graphics, Johannesburg, South Africa, July 28‒31, 2000. Vol. 1. Johannesburg: Rand Afrikaans University (ISBN 0-620-26255-9/hbk). 29-33 (2000).
12
A calculus of program adaption and its applications. (English)
Sci. Comput. Program. 38, No.1-3, 73-123 (2000).
13
Mathematics of program construction. 5th international conference, MPC 2000, Ponte de Lima, Portugal, July 3‒5, 2000. Proceedings. (English)
Lecture Notes in Computer Science. 1837. Berlin: Springer. ix, 257 p. DM 74.00; öS 541.00; sFr 67.50; \sterling 25.50; \$ 52.00 (2000).
14
Special issue on mathematics of program construction. 4th international conference, Island of Marstrand near Göteborg, Sweden, June 1998. (English)
Sci. Comput. Program. 37, No.1-3, 314 p. (2000).
15
The development of the realization algorithms on PC of the algorithmic system of the box construction stress calculation with provision for plastic strains. (Russian)
Vopr. Vychisl. Prikl. Mat. 106, 25-38 (1999).
16
Generalised folds for nested datatypes. (English)
Formal Asp. Comput. 11, No.2, 200-222 (1999).
17
Intuitionistic tableau extracted. (English)
Murray, Neil V. (ed.), Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX ‘99, Saratoga Springs, NY, USA, June 7‒11, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1617, 82-96 (1999).
18
Decision procedures for intuitionistic propositional logic by program extraction. (English)
de Swart, Harrie (ed.), Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX ’98, Oisterwijk, the Netherlands, May 5‒8, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1397, 292-306 (1998).
19
Mathematics of program construction. 4th international conference, MPC ’98, Marstrand, Sweden, June 15‒17, 1998. Proceedings. (English)
Lecture Notes in Computer Science. 1422. Berlin: Springer. x, 383 p. DM 82.00; öS 599.00; sFr 75.00; \sterling 31.50; \$ 59.00 (1998).
20
Result 1 to 20 of 110 total
Start
Contact
Print
General Help
