Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
123 | Kazuhiro Ogata 0001, Kokichi Futatsugi |
Modeling and Verification of Distributed Real-Time Systems Based on CafeOBJ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 26-29 November 2001, Coronado Island, San Diego, CA, USA, pp. 185-192, 2001, IEEE Computer Society, 0-7695-1426-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
modeling, verification, specification, algebraic specification, distributed real-time systems, UNITY, CafeOBJ |
116 | Kokichi Futatsugi |
Formal Methods in CafeOBJ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming, 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002, Proceedings, pp. 1-20, 2002, Springer, 3-540-44233-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
116 | Razvan Diaconescu, Kokichi Futatsugi, Shusaku Iida |
Component-Based Algebraic Specification and Verification in CafeOBJ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Congress on Formal Methods ![In: FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II, pp. 1644-1663, 1999, Springer, 3-540-66588-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
80 | Kazuhiro Ogata 0001, Kokichi Futatsugi |
Formally Modeling and Verifying Ricart&Agrawala Distributed Mutual Exclusion Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APAQS ![In: 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 10-11 December 2001, Hong Kong, China, Proceedings, pp. 357-366, 2001, IEEE Computer Society, 0-7695-1287-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
modeling, verification, distributed algorithms, specification, algebraic specification, UNITY, CafeOBJ |
79 | Jianwen Xiang, Dines Bjørner, Kokichi Futatsugi |
Formal digital license language with OTS/CafeOBJ method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICCSA ![In: The 6th ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2008, Doha, Qatar, March 31 - April 4, 2008, pp. 652-660, 2008, IEEE Computer Society, 978-1-4244-1967-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
79 | Kazuhiro Ogata 0001, Kokichi Futatsugi |
Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Essays Dedicated to Joseph A. Goguen ![In: Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, pp. 596-615, 2006, Springer, 3-540-35462-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
79 | Kokichi Futatsugi |
Verifying Specifications with Proof Scores in CafeOBJ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 18-22 September 2006, Tokyo, Japan, pp. 3-10, 2006, IEEE Computer Society, 0-7695-2579-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
69 | Kazuhiro Ogata 0001, Kokichi Futatsugi |
Proof Scores in the OTS/CafeOBJ Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS ![In: Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings, pp. 170-184, 2003, Springer, 3-540-20491-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
observational transition system, proof scores, the NSLPK authentication protocol, verification, Algebraic specification, CafeOBJ |
62 | Kazuhiro Ogata 0001, Kokichi Futatsugi |
Formal Analysis of the Bakery Protocol with Consideration of Nonatomic Reads and Writes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, pp. 187-206, 2008, Springer, 978-3-540-88193-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
observational transition system (OTS), verification, mutual exclusion, invariant property, CafeOBJ |
62 | Kazuhiro Ogata 0001, Kokichi Futatsugi |
Formal Analysis of the NetBill Electronic Commerce Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSS ![In: Software Security - Theories and Systems, Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003, Revised Papers, pp. 45-64, 2003, Springer, 3-540-23635-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
NetBill, OTS, verification, electronic commerce, security protocol, algebraic specification, CafeOBJ |
61 | Kazuhiro Ogata 0001, Masahiro Nakano, Masaki Nakamura 0001, Kokichi Futatsugi |
Chocolat/SMV: A Translator from CafeOBJ into SMV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDCAT ![In: Sixth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2005), 5-8 December 2005, Dalian, China, pp. 416-420, 2005, IEEE Computer Society, 0-7695-2405-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
55 | Weiqiang Kong, Kazuhiro Ogata 0001, Jianwen Xiang, Kokichi Futatsugi |
Formal Analysis of an Anonymous Fair Exchange E-Commerce Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIT ![In: 2004 International Conference on Computer and Information Technology (CIT 2004), 14-16 September 2004, Wuhan, China, pp. 1100-1107, 2004, IEEE Computer Society, 0-7695-2216-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
55 | Kazuhiro Ogata 0001, Kokichi Futatsugi |
Formal Verification of the Horn-Preneel Micropayment Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2002, Proceedings, pp. 238-252, 2003, Springer, 3-540-00348-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
55 | Kazuhiro Ogata 0001, Kokichi Futatsugi |
Formal Verification of the MCS List-Based Queuing Lock. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Advances in Computing Science - ASIAN'99, 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999, Proceedings, pp. 281-293, 1999, Springer, 3-540-66856-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
50 | Shin Nakajima 0001, Kokichi Futatsugi |
An Object-Oriented Modeling Method for Algebraic Specifications in CafeOBJ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Pulling Together, Proceedings of the 19th International Conference on Software Engineering, Boston, Massachusetts, USA, May 17-23, 1997., pp. 34-44, 1997, ACM, 0-89791-914-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
concurrent rewriting, excutable specifications, object-oriented modelinng, formal methods, algebraic specifications, OBJ, CafeOBJ |
44 | Iakovos Ouranos, Petros S. Stefaneas |
Verifying Security Protocols for Sensor Networks Using Algebraic Specification Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics, Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers, pp. 247-259, 2007, Springer, 978-3-540-75413-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Algebraic Specification and Verification, Observational Transition Systems, SPINS Protocol suite, Sensor Networks, CafeOBJ |
44 | Kazuhiro Ogata 0001, Masahiro Nakano, Weiqiang Kong, Kokichi Futatsugi |
Induction-Guided Falsification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings, pp. 114-131, 2006, Springer, 3-540-47460-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
observational transition system (OTS), invariant, induction, counterexample, Maude, CafeOBJ |
43 | Tetsuo Tamai |
Formal Treatment of a Family of Fixed-Point Problems on Graphs by CafeOBJ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: 3rd IEEE International Conference on Formal Engineering Methods, ICFEM 2000, York, England, UK, September 4-7, 2000, Proceedings, pp. 67-74, 2000, IEEE Computer Society, 0-7695-0822-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
43 | Akira Mori, Kokichi Futatsugi |
Verifying Behavioural Specifications in CafeOBJ Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Congress on Formal Methods ![In: FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II, pp. 1625-1643, 1999, Springer, 3-540-66588-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
36 | Weiqiang Kong, Kazuhiro Ogata 0001, Kokichi Futatsugi |
Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings, pp. 393-412, 2007, Springer, 978-3-540-73209-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Shin Nakajima 0001 |
Using Algebraic Specification Techniques in Development of Object-Oriented Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Congress on Formal Methods ![In: FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II, pp. 1664-1683, 1999, Springer, 3-540-66588-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Xiaoyi Chen, Weiqiang Kong, Kokichi Futatsugi |
Formal support for e-government system design with transparency consideration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEGOV ![In: Proceedings of the 1st International Conference on Theory and Practice of Electronic Governance, ICEGOV 2007, Macao, China, December 10-13, 2007, pp. 20-29, 2007, ACM, 978-1-59593-822-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
license language, the OTS/CafeOBJ method, formal methods, domain engineering, public administration |
25 | Yifan Wang, Masaki Nakamura 0001, Kazutoshi Sakakibara, Yuki Okura |
Formal Specification and Verification of an Autonomous Vehicle Control System by the OTS/CafeOBJ method (S). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: The 35th International Conference on Software Engineering and Knowledge Engineering, SEKE 2023, KSIR Virtual Conference Center, USA, July 1-10, 2023., pp. 363-366, 2023, KSI Research Inc., 1-891706-56-X. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Masaki Nakamura 0001, Shuki Higashi, Kazutoshi Sakakibara, Kazuhiro Ogata 0001 |
Specification and Verification of Multitask Real-Time Systems Using the OTS/CafeOBJ Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. ![In: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 105-A(5), pp. 823-832, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Adrián Riesco 0001, Kazuhiro Ogata 0001 |
An integrated tool set for verifying CafeOBJ specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 189, pp. 111302, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Kokichi Futatsugi |
Advances of proof scores in CafeOBJ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 224, pp. 102893, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Tatsuya Igarashi, Masaki Nakamura 0001, Kazutoshi Sakakibara |
Formal Verification of the Lim-Jeong-Park-Lee Autonomous Vehicle Control Protocol using the OTS/CafeOBJ Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: The 34th International Conference on Software Engineering and Knowledge Engineering, SEKE 2022, KSIR Virtual Conference Center, USA, July 1 - July 10, 2022., pp. 574-579, 2022, KSI Research Inc., 1-891706-54-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Duong Dinh Tran, Dang Duy Bui, Kazuhiro Ogata 0001 |
Simulation-Based Invariant Verification Technique for the OTS/CafeOBJ Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 9, pp. 93847-93870, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Kokichi Futatsugi |
Advances of Proof Scores in CafeOBJ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2112.10373, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
25 | Masaki Nakamura 0001, Kazutoshi Sakakibara, Yuki Okura, Kazuhiro Ogata 0001 |
Formal Verification of Multitask Hybrid Systems by the OTS/CafeOBJ Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Eng. Knowl. Eng. ![In: Int. J. Softw. Eng. Knowl. Eng. 31(11&12), pp. 1541-1559, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Masaki Nakamura 0001, Kazutoshi Sakakibara, Yuki Okura, Kazuhiro Ogata 0001 |
Formal verification of multitask hybrid systems by the OTS/CafeOBJ method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: The 33rd International Conference on Software Engineering and Knowledge Engineering, SEKE 2021, KSIR Virtual Conference Center, USA, July 1 - July 10, 2021., pp. 114-119, 2021, KSI Research Inc., 1-891706-52-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Kokichi Futatsugi |
Advances of Proof Scores in CafeOBJ : Invited Paper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: International Symposium on Theoretical Aspects of Software Engineering, TASE 2021, Shanghai, China, August 25-27, 2021, pp. 3-12, 2021, IEEE, 978-1-6654-4163-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Masaki Nakamura 0001, Kazutoshi Sakakibara, Kazuhiro Ogata 0001 |
Specification description and verification of multitask hybrid systems in the OTS/CafeOBJ method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2010.15280, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
25 | Duong Dinh Tran, Kazuhiro Ogata 0001 |
Formal verification of an abstract version of Anderson protocol with CafeOBJ, CiMPA and CiMPG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: The 32nd International Conference on Software Engineering and Knowledge Engineering, SEKE 2020, KSIR Virtual Conference Center, USA, July 9-19, 2020., pp. 287-292, 2020, KSI Research Inc., 1-891706-50-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Adrián Riesco 0001, Kazuhiro Ogata 0001 |
CiMPG+F: A Proof Generator and Fixer-Upper for CafeOBJ Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings, pp. 64-82, 2020, Springer, 978-3-030-64275-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Masaki Nakamura 0001, Shuki Higashi, Kazutoshi Sakakibara, Kazuhiro Ogata 0001 |
Formal verification of Fischer's real-time mutual exclusion protocol by the OTS/CafeOBJ method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SICE ![In: 59th Annual Conference of the Society of Instrument and Control Engineers of Japan, SICE 2020, Chiang Mai, Thailand, September 23-26, 2020, pp. 1210-1215, 2020, IEEE, 978-1-7281-1089-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
25 | Nikolaos Triantafyllou |
Software engineering applications of the OTS/CafeOBJ algebraic specification method ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2019 |
RDF |
|
25 | Adrián Riesco 0001, Kazuhiro Ogata 0001 |
Prove it! Inferring Formal Proof Scripts from CafeOBJ Proof Scores. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 27(2), pp. 6:1-6:32, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Dominik Klein 0001 |
Key-Secrecy of PACE with OTS/CafeOBJ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2018, pp. 510, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
25 | Adrián Riesco 0001, Kazuhiro Ogata 0001, Kokichi Futatsugi |
A Maude environment for CafeOBJ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 29(2), pp. 309-334, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Xuan-Linh Ha, Kazuhiro Ogata 0001 |
Writing Concurrent Java Programs Based on CafeOBJ Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 24th Asia-Pacific Software Engineering Conference, APSEC 2017, Nanjing, China, December 4-8, 2017, pp. 618-623, 2017, IEEE Computer Society, 978-1-5386-3681-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Ryusei Mori, Masaki Nakamura 0001 |
Automated Test Case Generation from OTS/CafeOBJ Specifications by Specification Translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST Workshops ![In: 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2017, Tokyo, Japan, March 13-17, 2017, pp. 403-404, 2017, IEEE Computer Society, 978-1-5090-6676-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Masaki Nakamura 0001 |
A preliminary study of test case generation by CafeOBJ rewrite specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCCE ![In: IEEE 5th Global Conference on Consumer Electronics, GCCE 2016, Kyoto, Japan, October 11-14, 2016, pp. 1-2, 2016, IEEE, 978-1-5090-2333-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Adrián Riesco 0001, Kazuhiro Ogata 0001, Kokichi Futatsugi |
CafeInMaude: A CafeOBJ Interpreter in Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering - 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, pp. 377-380, 2016, Springer, 978-3-662-49664-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Kokichi Futatsugi |
Generic Proof Scores for Generate & Check Method in CafeOBJ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic, Rewriting, and Concurrency ![In: Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday, pp. 287-310, 2015, Springer, 978-3-319-23164-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Kokichi Futatsugi |
Generate & Check Method for Verifying Transition Systems in CafeOBJ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software, Services, and Systems ![In: Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering, pp. 171-192, 2015, Springer, 978-3-319-15544-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Iakovos Ouranos, Kazuhiro Ogata 0001, Petros S. Stefaneas |
TESLA Source Authentication Protocol Verification Experiment in the Timed OTS/CafeOBJ Method: Experiences and Lessons Learned. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Inf. Syst. ![In: IEICE Trans. Inf. Syst. 97-D(5), pp. 1160-1170, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Dominik Klein 0001 |
Key-Secrecy of PACE with OTS/CafeOBJ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTSCS ![In: Formal Techniques for Safety-Critical Systems - Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers, pp. 159-173, 2014, Springer, 978-3-319-17580-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Yongxin Zhao, Jin Song Dong, Yang Liu 0003, Jun Sun 0001 |
Towards a Combination of CafeOBJ and PAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification, Algebra, and Software ![In: Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, pp. 151-170, 2014, Springer, 978-3-642-54623-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Daniel Gâinâ, Dorel Lucanu, Kazuhiro Ogata 0001, Kokichi Futatsugi |
On Automation of OTS/CafeOBJ Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification, Algebra, and Software ![In: Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, pp. 578-602, 2014, Springer, 978-3-642-54623-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Petros S. Stefaneas, Iakovos Ouranos, Nikolaos Triantafyllou, Katerina Ksystra |
Some Engineering Applications of the OTS/CafeOBJ Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification, Algebra, and Software ![In: Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, pp. 541-559, 2014, Springer, 978-3-642-54623-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Razvan Diaconescu |
CafeOBJ Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification, Algebra, and Software ![In: Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, pp. 53-65, 2014, Springer, 978-3-642-54623-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Till Mossakowski, Wieslaw Pawlowski, Donald Sannella, Andrzej Tarlecki |
Parchments for CafeOBJ Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification, Algebra, and Software ![In: Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, pp. 66-91, 2014, Springer, 978-3-642-54623-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Min Zhang 0002, Kazuhiro Ogata 0001, Kokichi Futatsugi |
Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification, Algebra, and Software ![In: Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, pp. 560-577, 2014, Springer, 978-3-642-54623-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Adrián Riesco 0001 |
An Integration of CafeOBJ into Full Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Rewriting Logic and Its Applications - 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers, pp. 230-246, 2014, Springer, 978-3-319-12903-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Norbert Preining, Kazuhiro Ogata 0001, Kokichi Futatsugi |
Liveness Properties in CafeOBJ - A Case Study for Meta-Level Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic-Based Program Synthesis and Transformation - 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers, pp. 182-198, 2014, Springer, 978-3-319-17821-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Kazuhiro Ogata 0001, Kokichi Futatsugi |
Compositionally Writing Proof Scores of Invariants in the OTS/CafeOBJ Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Univers. Comput. Sci. ![In: J. Univers. Comput. Sci. 19(6), pp. 771-804, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Kokichi Futatsugi, Daniel Gâinâ, Kazuhiro Ogata 0001 |
Principles of proof scores in CafeOBJ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 464, pp. 90-112, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Iakovos Ouranos, Kazuhiro Ogata 0001, Petros S. Stefaneas |
Formal Analysis of TESLA Protocol in the Timed OTS/CafeOBJ Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA (2) ![In: Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II, pp. 126-142, 2012, Springer, 978-3-642-34031-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Konstantinos Barlas, George Koletsos, Petros S. Stefaneas |
Transforming ASN.1 Specifications into CafeOBJ to assist with Property Checking ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1103.2787, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
25 | Weiqiang Kong, Kazuhiro Ogata 0001, Kokichi Futatsugi |
Towards Reliable E-Government Systems with the OTS/CafeOBJ Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Inf. Syst. ![In: IEICE Trans. Inf. Syst. 93-D(5), pp. 974-984, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Konstantinos Barlas, George Koletsos, Petros S. Stefaneas, Iakovos Ouranos |
Towards a correct translation from ASN.1 into CafeOBJ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Reason. based Intell. Syst. ![In: Int. J. Reason. based Intell. Syst. 2(3/4), pp. 300-309, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Kokichi Futatsugi |
Fostering Proof Scores in CafeOBJ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings, pp. 1-20, 2010, Springer, 978-3-642-16900-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Iakovos Ouranos, Petros S. Stefaneas, Kazuhiro Ogata 0001 |
Formal Modeling and Verification of Sensor Network Encryption Protocol in the OTS/CafeOBJ Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA (1) ![In: Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I, pp. 75-89, 2010, Springer, 978-3-642-16557-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Nikolaos Triantafyllou, Iakovos Ouranos, Petros S. Stefaneas, Panayiotis Frangos |
Formal Specification and Verification of the OMA License Choice Algorithm in the OTS/CafeOBJ Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WINSYS ![In: WINSYS 2010 - Proceedings of the International Conference on Wireless Information Networks and Systems, Athens, Greece, July 26 - 28, 2010, WINSYS is part of ICETE - The International Joint Conference on e-Business and Telecommunications, pp. 173-180, 2010, SciTePress, 978-989-8425-24-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
25 | Nikolaos Triantafyllou, Iakovos Ouranos, Petros S. Stefaneas, Panayiotis Frangos |
Using the OTS/CafeOBJ Method to Formally Specify and Verify the Open Mobile Alliance License Choice Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICETE (Selected Papers) ![In: e-Business and Telecommunications - 7th International Joint Conference, ICETE 2010, Athens, Greece, July 26-28, 2010, Revised Selected Papers, pp. 424-438, 2010, Springer, 978-3-642-25205-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Masaki Nakamura 0001, Takahiro Seino |
Generating Test Cases for Invariant Properties from Proof Scores in the OTS/CafeOBJ Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Inf. Syst. ![In: IEICE Trans. Inf. Syst. 92-D(5), pp. 1012-1021, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Weiqiang Kong, Kazuhiro Ogata 0001, Jian Cheng, Kokichi Futatsugi |
Trace anonymity in the OTS/CafeOBJ method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIT ![In: Proceedings of 8th IEEE International Conference on Computer and Information Technology, CIT 2008, Sydney, Australia, July 8-11, 2008, pp. 754-759, 2008, IEEE Computer Society, 978-1-4244-2357-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Kazuhiro Ogata 0001, Kokichi Futatsugi |
Simulation-based Verification for Invariant Properties in the OTS/CafeOBJ Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFINE@IFM ![In: Proceedings of the BCS-FACS Refinement Workshop, REFINE@IFM 2007, Oxford, UK, July 2007, pp. 127-154, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Samira Sadaoui, Sudhanshu Singh |
Implementation of CafeOBJ Specifications to Java Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), San Francisco, CA, USA, July 5-7, 2006, pp. 446-449, 2006, 1-891706-18-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
25 | Antonio Carvalho Júnior, Leila Silva, Márcio Cornélio |
Using CafeOBJ to Mechanise Refactoring Proofs and Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Proceedings of the Second Brazilian Symposium on Formal Methods, SBMF 2005, Porto Alegre, RS, Brazil, November 30, 2005, pp. 39-61, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Takahiro Seino, Kazuhiro Ogata 0001, Kokichi Futatsugi |
A Toolkit for Generating and Displaying Proof Scores in the OTS/CafeOBJ Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: Proceedings of the 6th International Workshop on Rule-Based Programming, RULE@RDP 2005, Nara, Japan, April 23, 2005, pp. 57-72, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Jittisak Senachak, Takahiro Seino, Kazuhiro Ogata 0001, Kokichi Futatsugi |
Provably Correct Translation from CafeOBJ into Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), Taipei, Taiwan, Republic of China, July 14-16, 2005, pp. 614-619, 2005, 1-891706-16-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
25 | André Luis Silva, Manoel Messias Menezes, Leila Silva |
Using CafeOBJ to Implement a Reduction Strategy in the Context of Hardware/Software Partitioning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WMF ![In: Proceedings of the 6th Brazilian Workshop on Formal Methods, WMF 2003, Campina Grande, Brazil, October 12-14, 2003, pp. 63-82, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Razvan Diaconescu, Kokichi Futatsugi, Kazuhiro Ogata 0001 |
CafeOBJ: Logical Foundations and Methodologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Artif. Intell. ![In: Comput. Artif. Intell. 22(3-4), pp. 257-283, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
25 | Chartchai Doungsa-ard, Taratip Suwannasart |
An Automatic Approach to Transform CafeOBJ Specifications to Java Template Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering Research and Practice ![In: Proceedings of the International Conference on Software Engineering Research and Practice, SERP '03, June 23 - 26, 2003, Las Vegas, Nevada, USA, Volume 1, pp. 171-176, 2003, CSREA Press, 1-932415-19-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
25 | Toshimi Sawada, Kouichi Kishida, Kokichi Futatsugi |
Past, Present, and Future of SRA Implementation of CafeOBJ: Annex. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings, pp. 7-17, 2003, Springer, 3-540-40828-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Razvan Diaconescu, Kokichi Futatsugi |
Logical foundations of CafeOBJ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 285(2), pp. 289-318, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Akira Mori, Kokichi Futatsugi |
CafeOBJ as a Tool for Behavioral System Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSS ![In: Software Security -- Theories and Systems, Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers, pp. 461-470, 2002, Springer, 3-540-00708-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Kazuhiro Ogata 0001, Kokichi Futatsugi |
Specifying and verifying a railroad crossing with CafeOBJ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: Proceedings of the 15th International Parallel & Distributed Processing Symposium (IPDPS-01), San Francisco, CA, USA, April 23-27, 2001, pp. 150, 2001, IEEE Computer Society, 0-7695-0990-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Razvan Diaconescu, Kokichi Futatsugi |
An overview of CafeOBJ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: 1998 International Workshop on Rewriting Logic and its Applications, WRLA 1998, Abbaye des Prémontrés at Pont-à-Mousson, France, September 1998, pp. 285-298, 1998, Elsevier. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Razvan Diaconescu, Kokichi Futatsugi |
Cafeobj Report - The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1998 |
DOI RDF |
|
18 | Francisco Durán 0001, Salvador Lucas, Claude Marché, José Meseguer 0001, Xavier Urbain |
Proving operational termination of membership equational programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 21(1-2), pp. 59-88, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Conditional term rewriting, Operational termination, Declarative rule-based languages, Program transformation, Membership equational logic |
18 | Deirdre Carew, Chris Exton, Jim Buckley |
An empirical investigation of the comprehensibility of requirements specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISESE ![In: 2005 International Symposium on Empirical Software Engineering (ISESE 2005), 17-18 November 2005, Noosa Heads, Australia, pp. 256-265, 2005, IEEE Computer Society, 0-7803-9507-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Kazuhiro Ogata 0001, Kokichi Futatsugi |
Equational Approach to Formal Analysis of TLS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: 25th International Conference on Distributed Computing Systems (ICDCS 2005), 6-10 June 2005, Columbus, OH, USA, pp. 795-804, 2005, IEEE Computer Society, 0-7695-2331-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
security, verification, algebraic specification, rewriting, interactive theorem proving |
18 | Francisco Durán 0001, Salvador Lucas, José Meseguer 0001, Claude Marché, Xavier Urbain |
Proving termination of membership equational programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004, Verona, Italy, August 24-25, 2004, pp. 147-158, 2004, ACM, 1-58113-835-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
program transformation, termination, term rewriting, membership equational logic |
18 | Jianwen Xiang, Kokichi Futatsugi, Yanxiang He |
Fault Tree and Formal Methods in System Safety Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIT ![In: 2004 International Conference on Computer and Information Technology (CIT 2004), 14-16 September 2004, Wuhan, China, pp. 1108-1115, 2004, IEEE Computer Society, 0-7695-2216-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Razvan Diaconescu |
Behavioural Specification for Hierarchical Object Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCO ![In: Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures, pp. 134-156, 2003, Springer, 3-540-22942-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | María Alpuente, Santiago Escobar 0001, Bernhard Gramlich, Salvador Lucas |
Improving On-Demand Strategy Annotations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002, Proceedings, pp. 1-18, 2002, Springer, 3-540-00010-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
on-demand strategy annotations, lazy evaluation, Declarative programming, demandness, OBJ |
18 | Grigore Rosu |
On implementing behavioral rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Workshop on Rule-Based Programming ![In: Proceedings of the 2002 ACM SIGPLAN Workshop on Rule-Based Programming, Pittsburgh, Pennsylvania, USA, 2002, pp. 43-52, 2002, ACM, 1-58113-606-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
behavioral rewriting, hidden equational logic, term rewriting, meta-programming |
18 | Bernhard Gramlich, Salvador Lucas |
Simple termination of context-sensitive rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Workshop on Rule-Based Programming ![In: Proceedings of the 2002 ACM SIGPLAN Workshop on Rule-Based Programming, Pittsburgh, Pennsylvania, USA, 2002, pp. 29-42, 2002, ACM, 1-58113-606-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
automatic proofs of termination, context-sensitive rewriting, modular program analysis and verification, declarative programming, evaluation strategies |
18 | Bernhard Gramlich, Salvador Lucas |
Modular termination of context-sensitive rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, October 6-8, 2002, Pittsburgh, PA, USA (Affiliated with PLI 2002), pp. 50-61, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
context-sensitive rewriting, modular analysis and construction of programs, modular proofs of termination, program verification, declarative programming, evaluation strategies |