Abstract
No abstract available.
Cited By
- Larchey-Wendling D and Matthes R Certification of Breadth-First Algorithms by Extraction Mathematics of Program Construction, (45-75)
- BjØrner D and Havelund K 40 Years of Formal Methods Proceedings of the 19th International Symposium on FM 2014: Formal Methods - Volume 8442, (42-61)
- Oliveira M, Cavalcanti A and Woodcock J (2013). Unifying theories in ProofPower-Z, Formal Aspects of Computing, 25:1, (133-158), Online publication date: 1-Jan-2013.
- Abed S, Ait Mohamed O and Al Sammane G (2013). Automatic verification of reduction techniques in Higher Order Logic, Formal Aspects of Computing, 25:6, (971-991), Online publication date: 1-Nov-2013.
- Pluquet F, Marot A and Wuyts R Fast type reconstruction for dynamically typed programming languages Proceedings of the 5th symposium on Dynamic languages, (69-78)
- Pluquet F, Marot A and Wuyts R (2009). Fast type reconstruction for dynamically typed programming languages, ACM SIGPLAN Notices, 44:12, (69-78), Online publication date: 25-Dec-2009.
- Novak G (2018). Computer aided software design via inference and constraint propagation, Integrated Computer-Aided Engineering, 16:3, (181-191), Online publication date: 1-Aug-2009.
- Wirth C (2009). Shallow confluence of conditional term rewriting systems, Journal of Symbolic Computation, 44:1, (60-98), Online publication date: 1-Jan-2009.
- Russo C and Vytiniotis D QML Proceedings of the 2009 ACM SIGPLAN workshop on ML, (3-14)
- Chalin P and James P Non-null references by default in java Proceedings of the 21st European conference on Object-Oriented Programming, (227-247)
- Morris F (2007). A few exercises in theorem processing, Theoretical Computer Science, 375:1-3, (335-345), Online publication date: 20-Apr-2007.
- Schmidt-Schauβ M and Schulz K (2005). Decidability of bounded higher-order unification, Journal of Symbolic Computation, 40:2, (905-954), Online publication date: 1-Aug-2005.
- Escardó M (2004). Synthetic Topology, Electronic Notes in Theoretical Computer Science (ENTCS), 87, (21-156), Online publication date: 1-Nov-2004.
- Surazhsky V and Gil J Type-safe covariance in C++ Proceedings of the 2004 ACM symposium on Applied computing, (1496-1502)
- Sridranop N and Stansifer R Adding polymorphic tuples and lists to the syntax of Java Proceedings of the 42nd annual Southeast regional conference, (255-260)
- Villapol M and Billington J Analysing properties of the resource reservation protocol Proceedings of the 24th international conference on Applications and theory of Petri nets, (377-396)
- Juszczyszyn K Verifying Enterprise 's Mandatory Access Control Policies with Coloured Petri Nets Proceedings of the Twelfth International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises
- Blanc J and Echahed R A generic operator over discrete time intervals Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming, (145-155)
- Mattolini R and Nesi P (2001). An Interval Logic for Real-Time System Specification, IEEE Transactions on Software Engineering, 27:3, (208-227), Online publication date: 1-Mar-2001.
- Gil J Subtyping arithmetical types Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (276-289)
- Gil J (2001). Subtyping arithmetical types, ACM SIGPLAN Notices, 36:3, (276-289), Online publication date: 1-Mar-2001.
- Hagen C and Alonso G (2000). Exception Handling in Workflow Management Systems, IEEE Transactions on Software Engineering, 26:10, (943-958), Online publication date: 1-Oct-2000.
- Desmet D, Verkest D and De Man H Operating system based software generation for systems-on-chip Proceedings of the 37th Annual Design Automation Conference, (396-401)
- Fegaras L (1999). Optimizing Queries with Object Updates, Journal of Intelligent Information Systems, 12:2-3, (219-242), Online publication date: 2-Apr-1999.
- Bundy A A survey of automated deduction Artificial intelligence today, (153-174)
- Philipps J and Slotosch O The Quest for Correct Systems Proceedings of the Sixth Asia Pacific Software Engineering Conference
- Tahar S and Kumar R (1998). A Practical Methodology for the Formal Verification of RISC Processors, Formal Methods in System Design, 13:2, (159-225), Online publication date: 1-Sep-1998.
- Matsuura S, Kuruma H and Honiden S (1997). EVA, IEEE Transactions on Software Engineering, 23:5, (296-313), Online publication date: 1-May-1997.
- Novak G (1997). Software Reuse by Specialization of Generic Procedures through Views, IEEE Transactions on Software Engineering, 23:7, (401-417), Online publication date: 1-Jul-1997.
- Buchberger B, Jebelean T, Kriftner F, Marin M, Tomuţa E and Văsaru D A survey of the Theorema project Proceedings of the 1997 international symposium on Symbolic and algebraic computation, (384-391)
- Odersky M and Wadler P Pizza into Java Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (146-159)
- Gil J and Lorenz D Environmental acquisition Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (214-231)
- Gil J and Lorenz D (1996). Environmental acquisition, ACM SIGPLAN Notices, 31:10, (214-231), Online publication date: 1-Oct-1996.
- Pandey M, Raimi R, Beatty D and Bryant R Formal verification of PowerPC arrays using symbolic trajectory evaluation Proceedings of the 33rd annual Design Automation Conference, (649-654)
- Kindred D and Wing J Fast, automatic checking of security protocols Proceedings of the 2nd conference on Proceedings of the Second USENIX Workshop on Electronic Commerce - Volume 2, (5-5)
- Fegaras L and Sheard T Revisiting catamorphisms over datatypes with embedded functions (or, programs from outer space) Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (284-294)
- Novak Jr. G (1995). Creation of Views for Reuse of Software with Different Data Representations, IEEE Transactions on Software Engineering, 21:12, (993-1005), Online publication date: 1-Dec-1995.
- King D and Launchbury J Structuring depth-first search algorithms in Haskell Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (344-354)
- Okasaki C Purely functional random-access lists Proceedings of the seventh international conference on Functional programming languages and computer architecture, (86-95)
- Katiyar D, Luckham D and Mitchell J A type system for prototyping languages Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (138-150)
- Tofte M and Talpin J Implementation of the typed call-by-value λ-calculus using a stack of regions Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (188-201)
- Launchbury J and Peyton Jones S Lazy functional state threads Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation, (24-35)
- Reinhold M Cache performance of garbage-collected programs Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation, (206-217)
- Shao Z, Reppy J and Appel A Unrolling lists Proceedings of the 1994 ACM conference on LISP and functional programming, (185-195)
- Shao Z, Reppy J and Appel A (2019). Unrolling lists, ACM SIGPLAN Lisp Pointers, VII:3, (185-195), Online publication date: 1-Jul-1994.
- Chambers C and Leavens G Typechecking and modules for multi-methods Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications, (1-15)
- Chambers C and Leavens G (2019). Typechecking and modules for multi-methods, ACM SIGPLAN Notices, 29:10, (1-15), Online publication date: 1-Oct-1994.
- Launchbury J and Peyton Jones S (2019). Lazy functional state threads, ACM SIGPLAN Notices, 29:6, (24-35), Online publication date: 1-Jun-1994.
- Reinhold M (2019). Cache performance of garbage-collected programs, ACM SIGPLAN Notices, 29:6, (206-217), Online publication date: 1-Jun-1994.
- Passia J and Löhr K (1993). Fips, ACM SIGPLAN Notices, 28:5, (39-48), Online publication date: 1-May-1993.
- Doligez D and Leroy X A concurrent, generational garbage collector for a multithreaded implementation of ML Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (113-123)
- Pinci V and Shapiro R Work flow analysis Proceedings of the 25th conference on Winter simulation, (1122-1130)
- Wadler P The essence of functional programming Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (1-14)
Index Terms
- ML for the working programmer
Recommendations
Programmer-based fault prediction
PROMISE '10: Proceedings of the 6th International Conference on Predictive Models in Software EngineeringBackground: Previous research has provided evidence that a combination of static code metrics and software history metrics can be used to predict with surprising success which files in the next release of a large system will have the largest numbers of ...
ml-Codesmell: A code smell prediction dataset for machine learning approaches
SoICT '22: Proceedings of the 11th International Symposium on Information and Communication TechnologyIn recent years, many studies on detecting code smells in source code have published datasets with limited characteristics, such as the ambiguity of code smell definitions leads to different interpretations for each code smell, the number of samples of ...