researchr - search publication program checking

researchr

You are not signed in
Sign in
Sign up

781 publication results matching 'program checking'

Domain-Specific Program Checking
… program checking. … positives and fail to accurately check constraints, best practices, common errors … languages. We advocate the use of dedicated rules to check domain-specific practices …
Lukas Renggli, Stéphane Ducasse, Tudor Gîrba, Oscar Nierstrasz. In Proceedings of the 48th International Conference on Objects, Models, Components and Patterns (TOOLS'10). 2010: [doi]
Program CheckingManuel Blum. fsttcs 1991: 1-9
Program checkingGraeme Williams. sigplan 1979: 13-25 [doi]
Designing Programs That Check Their WorkManuel Blum, Sampath Kannan. stoc 1989: 86-97
Designing Programs that Check Their WorkManuel Blum, Sampath Kannan. JACM, 42(1):269-291, 1995. [doi]
New Methods in Program CheckingS. Ravikumar. PhD thesis, Cornell University, USA, 1997.
Domain-Specific Program CheckingLukas Renggli, Stéphane Ducasse, Tudor Gîrba, Oscar Nierstrasz. TOOLS 2010: 213-232 [doi]
Program Checking with Less HassleJulian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer. vstte 2014: 149-169 [doi]
Programming and Checking Data Types with REVEJean-Pierre Jouannaud. adt 1983:
Simplify: a theorem prover for program checkingDavid Detlefs, Greg Nelson, James B. Saxe. JACM, 52(3):365-473, 2005. [doi]
Designing Programs to Check Their Work (Abstract)Manuel Blum. ISSTA 1993: 1 [doi]
Problem identification using program checkingChristian S. Collberg, Todd A. Proebsting. DAM, 144(3):270-280, 2004. [doi]
A (De)constructive Approach to Program CheckingShafi Goldwasser, Dan Gutfreund, Alexander Healy, Tali Kaufman, Guy N. Rothblum. eccc, 14(047), 2007. [doi]
A (de)constructive approach to program checkingShafi Goldwasser, Dan Gutfreund, Alexander Healy, Tali Kaufman, Guy N. Rothblum. stoc 2008: 143-152 [doi]
Logic Programming and Model CheckingBaoqiu Cui, Yifei Dong, Xiaoqun Du, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Abhik Roychoudhury, Scott A. Smolka, David Scott Warren. plilp 1998: 1-20 [doi]
Linguistic style checking with program checking toolsFabrizio Perin, Lukas Renggli, Jorge Ressia. Comp. Lang., Syst. \& Struct., 38(1):61-72, 2012. [doi]
Construction of Verified Compiler Front-Ends with Program-CheckingAndreas Heberle, Thilo Gaul, Wolfgang Goerigk, Gerhard Goos, Wolf Zimmermann. ershov 2000: 481-492 [doi]
Runtime Checking for Program VerificationKaren Zee, Viktor Kuncak, Michael Taylor, Martin C. Rinard. rv 2007: 202-213 [doi]
Some remarks on logical design and programming checksHerman H. Goldstine. aieeire 1953: 96-98 [doi]
Using Atoms to Simplify Distributed Programs CheckingHon Fung Li, Eslam Al Maghayreh, Dhrubajyoti Goswami. dasc 2007: 75-83 [doi]

Sign in or sign up to see more results.

runs on WebDSL