Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
12 | Michael Ernst |
Lightweight software verification with pluggable type-checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIbSE ![In: Proceedings of the XVIII IberoAmerican Conference on Software Engineering, CIbSE 2015, Lima, Peru, Apr 22-24, 2015., pp. 838, 2015, Curran Associates, Inc., 978-1-5108-0387-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
12 | Stef M. M. Joosten, Sebastiaan J. C. Joosten |
Type Checking by Domain Analysis in Ampersand. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings, pp. 225-240, 2015, Springer, 978-3-319-24703-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
12 | Edlira Kuci, Sebastian Erdweg, Mira Mezini |
Toward incremental type checking for Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLASH (Companion Volume) ![In: Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity, SPLASH 2015, Pittsburgh, PA, USA, October 25-30, 2015, pp. 46-47, 2015, ACM, 978-1-4503-3722-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
12 | Juan Edi, Andrés Viso, Eduardo Bonelli |
Efficient Type Checking for Path Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: 21st International Conference on Types for Proofs and Programs, TYPES 2015, May 18-21, 2015, Tallinn, Estonia, pp. 6:1-6:23, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-030-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
12 | Dimitrios Kouzapas, Anna Philippou |
Type Checking Privacy Policies in the π-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Distributed Objects, Components, and Systems - 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings, pp. 181-195, 2015, Springer, 978-3-319-19194-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
12 | Kevin van der Pol, Thomas Noll 0001 |
Security Type Checking for MILS-AADL Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MILS@HiPEAC ![In: International Workshop on MILS: Architecture and Assurance for Secure Systems, MILS@HiPEAC 2015, Amsterdam, The Netherlands, January 20, 2015., 2015, Zenodo. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
12 | Eleni Kokkinofta, Anna Philippou |
Type Checking Purpose-Based Privacy Policies in the π-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WS-FM ![In: Web Services, Formal Methods, and Behavioral Types - 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers, pp. 122-142, 2015, Springer, 978-3-319-33611-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
12 | Marko van Dooren, Bart Jacobs 0002, Wouter Joosen |
Modular type checking of anchored exception declarations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 87, pp. 44-61, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
12 | Arthur Azevedo de Amorim, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu |
Really Natural Linear Indexed Type Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Proceedings of the 26th 2014 International Symposium on Implementation and Application of Functional Languages, IFL '14, Boston, MA, USA, October 1-3, 2014, pp. 5:1-5:12, 2014, ACM, 978-1-4503-3284-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
12 | Cédric Bastin, Vlad Ureche, Martin Odersky |
ScalaDyno: making name resolution and type checking fault-tolerant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCALA@ECOOP ![In: Proceedings of the Fifth Annual Scala Workshop, SCALA@ECOOP 2014, Uppsala, Sweden, July 28-29, 2014, pp. 1-5, 2014, ACM, 978-1-4503-2868-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
12 | Søren Debois, Thomas T. Hildebrandt, Tijs Slaats, Nobuko Yoshida |
Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Distributed Objects, Components, and Systems - 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings, pp. 1-16, 2014, Springer, 978-3-662-43612-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
12 | Takayuki Muranushi, Richard A. Eisenberg |
Experience report: type-checking polymorphic units for astrophysics research in Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, Gothenburg, Sweden, September 4-5, 2014, pp. 31-38, 2014, ACM, 978-1-4503-3041-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
12 | Marco Giunti |
Algorithmic type checking for a pi-calculus with name matching and session types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 82(8), pp. 263-281, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
12 | Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer |
Compositional type checking of delta-oriented software product lines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 50(2), pp. 77-122, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
12 | Dario Colazzo, Giorgio Ghelli, Luca Pardini, Carlo Sartiani |
Efficient asymmetric inclusion of regular expressions with interleaving and counting for XML type-checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 492, pp. 88-116, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
12 | Gabriel Ciobanu, Ross Horne, Vladimiro Sassone |
Local Type Checking for Linked Data Consumers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings 9th International Workshop on Automated Specification and Verification of Web Systems, WWV 2013, Florence, Italy, 6th June 2013., pp. 19-33, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
12 | Neville Grech, Julian Rathke, Bernd Fischer 0002 |
Preemptive Type Checking in Dynamically Typed Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, pp. 195-212, 2013, Springer, 978-3-642-39717-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
12 | Sergiy S. Kolesnikov, Alexander von Rhein, Claus Hunsen, Sven Apel |
A comparison of product-based, feature-based, and family-based type checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming: Concepts and Experiences, GPCE'13, Indianapolis, IN, USA - October 27 - 28, 2013, pp. 115-124, 2013, ACM, 978-1-4503-2373-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
12 | Michele Bugliesi, Stefano Calzavara, Alvise Spanò |
Lintent: Towards Security Type-Checking of Android Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS/FORTE ![In: Formal Techniques for Distributed Systems - Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings, pp. 289-304, 2013, Springer, 978-3-642-38591-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
12 | Neville Grech |
Pre-emptive type checking in dynamically typed programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2013 |
RDF |
|
12 | Christian Kästner, Sven Apel, Thomas Thüm, Gunter Saake |
Type checking annotation-based product lines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 21(3), pp. 14:1-14:39, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
12 | Sebastian Maneth, Sylvia Friese, Helmut Seidl |
Type Checking of Tree Walking Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Modern Applications of Automata Theory ![In: Modern Applications of Automata Theory., pp. 325-372, 2012, World Scientific, 978-981-4271-04-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
12 | Cyrus Omar |
Active type-checking and translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLASH ![In: SPLASH'12 - Proceedings of the 2012 ACM Conference on Systems, Programming, and Applications: Software for Humanity, Tucson, AZ, USA, October 21-25, 2012, pp. 113-114, 2012, ACM, 978-1-4503-1563-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
12 | Mário de Sousa |
Data-type checking of IEC61131-3 ST and IL applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, ETFA 2012, Krakow, Poland, September 17-21, 2012, pp. 1-8, 2012, IEEE, 978-1-4673-4735-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
12 | Catherine Meadows 0001 |
Type Checking and Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Cryptography and Security (2nd Ed.) ![In: Encyclopedia of Cryptography and Security, 2nd Ed., pp. 1342-1343, 2011, Springer, 978-1-4419-5905-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Koji Nakazawa, Makoto Tatsuta, Yukiyoshi Kameyama, Hiroshi Nakano |
Type checking and typability in domain-free lambda calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 412(44), pp. 6193-6207, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Zoltán Ujhelyi, Ákos Horváth 0001, Dániel Varró |
Static Type Checking of Model Transformation Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 38, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Marco Giunti |
A type checking algorithm for qualified session types ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems, WWV 2011, Reykjavik, Iceland, 9th June 2011., pp. 96-114, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Eric E. Allen, Justin Hilburn, Scott Kilpatrick, Victor Luchangco, Sukyoung Ryu, David Chase, Guy L. Steele Jr. |
Type checking modular multiple dispatch with parametric polymorphism and multiple inheritance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2011, part of SPLASH 2011, Portland, OR, USA, October 22 - 27, 2011, pp. 973-992, 2011, ACM, 978-1-4503-0940-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Owen Anderson, Emily Fortuna, Luis Ceze, Susan J. Eggers |
Checked Load: Architectural support for JavaScript type-checking on mobile processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCA ![In: 17th International Conference on High-Performance Computer Architecture (HPCA-17 2011), February 12-16 2011, San Antonio, Texas, USA, pp. 419-430, 2011, IEEE Computer Society, 978-1-4244-9432-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Zsolt Zombori, János Csorba, Péter Szeredi |
Static Type Checking for the Q Functional Language in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP (Technical Communications) ![In: Technical Communications of the 27th International Conference on Logic Programming, ICLP 2011, July 6-10, 2011, Lexington, Kentucky, USA, pp. 62-72, 2011, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-31-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Manuel Barbosa, Andrew Moss, Dan Page, Nuno F. Rodrigues, Paulo F. Silva 0001 |
Type Checking Cryptography Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSEN ![In: Fundamentals of Software Engineering - 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers, pp. 316-334, 2011, Springer, 978-3-642-29319-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Ina Schaefer, Lorenzo Bettini, Ferruccio Damiani |
Compositional type-checking for delta-oriented programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSD ![In: Proceedings of the 10th International Conference on Aspect-Oriented Software Development, AOSD 2011, Porto de Galinhas, Brazil, March 21-25, 2011, pp. 43-56, 2011, ACM, 978-1-4503-0605-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Sylvia Friese |
On normalization and type checking for tree transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2011 |
RDF |
|
12 | Dirk Kleeblatt |
On a Strongly Normalizing STG Machine with an Application to Dependent Type Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2011 |
RDF |
|
12 | Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini |
Using abstract interpretation to add type checking for interfaces in Java bytecode verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 411(22-24), pp. 2174-2201, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
12 | Kenneth L. Knowles, Cormac Flanagan |
Hybrid type checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 32(2), pp. 6:1-6:34, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
12 | Jiawei Ou, Fabio Pellacini |
SafeGI: Type Checking to Improve Correctness in Rendering System Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Graph. Forum ![In: Comput. Graph. Forum 29(4), pp. 1269-1277, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
12 | Andy Kenner, Christian Kästner, Steffen Haase, Thomas Leich |
TypeChef: toward type checking #ifdef variability in C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOSD ![In: Proceedings of the Second International Workshop on Feature-Oriented Software Development, FOSD 2010, Eindhoven, Netherlands, October 10, 2010, pp. 25-32, 2010, ACM, 978-1-4503-0208-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
12 | Wolfgang Jeltsch |
Generic record combinators with static type checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria, pp. 143-154, 2010, ACM, 978-1-4503-0132-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
closed classes, higher-rank polymorphism, type equality, type families, type-level programming, type-level reification, generic programming, induction |
12 | Zoltán Ujhelyi |
Static Type Checking of Model Transformation Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations - 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27 - - October 2, 2010. Proceedings, pp. 413-415, 2010, Springer, 978-3-642-15927-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
12 | Marcin Zalewski, Sibylle Schupp |
A Semantic Definition of Separate Type Checking in C++ with Concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Technol. ![In: J. Object Technol. 8(5), pp. 105-132, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Tamás Vajk, Gergely Mezei, Tihamer Levendovszky |
Incremental Type Checking in OCL Compilers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS-EERC ![In: First IEEE Eastern European Conference on the Engineering of Computer Based Systems, ECBS-EERC 2009, Novi Sad, Serbia, September 7-8, 2009, pp. 9-18, 2009, IEEE Computer Society, 978-0-7695-3759-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Tomas By |
Graphical, type-checking dependency tree editor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMCSIT ![In: Proceedings of the International Multiconference on Computer Science and Information Technology, IMCSIT 2009, Mragowo, Poland, 12-14 October 2009, pp. 179-184, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Mark G. J. van den Brand, Arjan P. van der Meer, Alexander Serebrenik |
Type Checking Evolving Languages with MSOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics and Algebraic Specification ![In: Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday, pp. 207-226, 2009, Springer, 978-3-642-04163-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Yuki Kato, Koji Nakazawa |
Type Checking and Inference Are Equivalent in Lambda Calculi with Existential Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Functional and Constraint Logic Programming, 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers, pp. 96-110, 2009, Springer, 978-3-642-11998-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Koji Nakazawa, Makoto Tatsuta |
Type Checking and Inference for Polymorphic and Existential Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Theory of Computing 2009, Fifteenth Computing: The Australasian Theory Symposium, CATS 2009, Wellington, New Zealand, January 2009, pp. 61-69, 2009, Australian Computer Society, 978-1-920682-75-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
12 | Kheiredine Derouiche |
Semantic type checking in scientific workflows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2009 |
RDF |
|
12 | James Chapman 0001 |
Type checking and normalisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2009 |
RDF |
|
12 | Kevin Cleereman, Michelle Cheatham, Krishnaprasad Thirunarayan |
Mechanisms for improved covariant type-checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Lang. Syst. Struct. ![In: Comput. Lang. Syst. Struct. 34(1), pp. 1-17, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Karl Azab, Karl-Heinz Pennemann |
Type Checking C++ Template Instantiation by Graph Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Michael Backes 0001, Catalin Hritcu, Matteo Maffei |
Type-checking zero-knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 2008 ACM Conference on Computer and Communications Security, CCS 2008, Alexandria, Virginia, USA, October 27-31, 2008, pp. 357-370, 2008, ACM, 978-1-59593-810-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
type systems, language-based security, authorization policies, zero-knowledge protocols |
12 | Christian Kästner, Sven Apel |
Type-Checking Software Product Lines - A Formal Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 15-19 September 2008, L'Aquila, Italy, pp. 258-267, 2008, IEEE Computer Society, 978-1-4244-2187-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Sebastian Maneth, Keisuke Nakano 0001 |
XML Type Checking for Macro Tree Transducers with Holes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAN-X ![In: PLAN-X 2008, Programming Language Technologies for XML, An ACM SIGPLAN Workshop colocated with POPL 2008, San Francisco, California, USA, January 9, 2008, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
12 | Dick Crouch, Tracy Holloway King |
Type-checking in Formally Non-typed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETQALNLP ![In: Software Engineering, Testing, and Quality Assurance for Natural Language Processing@ACL 2008, Columbus, Ohio, USA, June 20, 2008, pp. 3-4, 2008, Association for Computational Linguistics, 978-1-932432-10-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
12 | Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren |
Well-definedness and semantic type-checking for the nested relational calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 371(3), pp. 183-199, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Francisco Ortin, Daniel Zapico Palacio, Juan Manuel Cueva Lovelle |
Design Patterns for Teaching Type Checking in a Compiler Construction Course. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Educ. ![In: IEEE Trans. Educ. 50(3), pp. 273-283, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Stefan Schlobach, David Ahn, Maarten de Rijke, Valentin Jijkoun |
Data-driven type checking in open domain question answering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Log. ![In: J. Appl. Log. 5(1), pp. 121-143, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Miguel Garcia |
Rules for type-checking of parametric polymorphism in EMF generics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering (Workshops) ![In: Software Engineering 2007 - Beiträge zu den Workshops, Fachtagung des GI-Fachbereichs Softwaretechnik, 27.-30.3.2007 in Hamburg, pp. 261-270, 2007, GI, 978-3-88579-200-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
12 | Thomas Perst |
Type checking XML transformations. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2007 |
RDF |
|
12 | Sebastian Maneth, Thomas Perst, Helmut Seidl |
Exact XML Type Checking in Polynomial Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Universität Trier, Mathematik/Informatik, Forschungsbericht ![In: Universität Trier, Mathematik/Informatik, Forschungsbericht 06-04, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
RDF |
|
12 | Manuela Xavier, Ana Cavalcanti 0001, Augusto Sampaio |
Type Checking Circus Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Proceedings of the Brazilian Symposium on Formal Methods, SBMF 2006, Natal, Rio Grande de Norte, Brazil, September 17-23, 2006, pp. 75-93, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Sonia Fagorzi, Elena Zucca |
A Calculus of Components with Dynamic Type-Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the Third International Workshop on Formal Aspects of Component Software, FACS 2006, Prague, Czech Republic, September 20-22, 2006, pp. 73-90, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Vasco Thudichum Vasconcelos, Simon J. Gay, António Ravara |
Type checking a multithreaded functional language with session types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 368(1-2), pp. 64-87, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Edward D. Willink |
Model Instantiation and Type Checking in UMLX. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 4, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Frédéric Blanqui |
Decidability of Type-checking in the Calculus of Algebraic Constructions with Size Annotations ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/cs/0608125, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
12 | Vincent Cremet, François Garillot, Sergueï Lenglet, Martin Odersky |
A Core Calculus for Scala Type Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2006, 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings, pp. 1-23, 2006, Springer, 3-540-37791-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Christian Kirkegaard, Anders Møller |
Type Checking with XML Schema in XACT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAN-X ![In: PLAN-X 2006 Informal Proceedings, Charleston, South Carolina, USA, January 14, 2006, pp. 14-23, 2006, BRICS, Department of Computer Science, University of Aarhus. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
12 | Stephanie Spranger |
Calendars as types: data modeling, constraint reasoning, and type checking with calendars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2006 |
RDF |
|
12 | Majid Naeem, Chris J. Harrison |
A Formal Description Of A Type Checking Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Technol. ![In: J. Object Technol. 4(9), pp. 93-100, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Sebastian Maneth, Alexandru Berlea, Thomas Perst, Helmut Seidl |
XML type checking with macro tree transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-fourth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 13-15, 2005, Baltimore, Maryland, USA, pp. 283-294, 2005, ACM, 1-59593-062-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Sacha Berger, François Bry |
Towards static type checking of Web query language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Grundlagen von Datenbanken ![In: Tagungsband zum 17. GI-Workshop über Grundlagen von Datenbanken (17th GI-Workshop on the Foundations of Databases), Wörlitz, Sachsen-Anhalt, Deutschland, 17.-20. Mai 2005, pp. 28-32, 2005, Institute of Computer Science, Martin-Luther-University. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
12 | Christopher Anderson, Paola Giannini |
Type Checking for JavaScript. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOOD ![In: Proceedings of the Second Workshop on Object Oriented Developments, WOOD 2004, London, UK, August 30, 2004, pp. 37-58, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Haiming Chen, Yunmei Dong |
Practical Type Checking of Functions Defined on Context-Free Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 19(6), pp. 840-847, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren |
Well-Definedness and Semantic Type-Checking in the Nested Relational Calculus and XQuery ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.DB/0406060, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
12 | Jakob Henriksson, Jan Maluszynski |
Static Type-Checking of Datalog with Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPSWR ![In: Principles and Practice of Semantic Web Reasoning, Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004, Proceedings, pp. 76-89, 2004, Springer, 3-540-22961-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
ontologies, Semantic Web, logic programs, rules |
12 | Stefan Schlobach, Marius Olsthoorn, Maarten de Rijke |
Type Checking in Open-Domain Question Answering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI'2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004, Valencia, Spain, August 22-27, 2004, pp. 398-402, 2004, IOS Press, 1-58603-452-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
12 | Yorck Hunke |
Semantics and type checking of dependently-typed functional programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2004 |
RDF |
|
12 | M. Randall Holmes |
Polymorphic type checking for the ramified theory of types of Principia Mathematica. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematics, Logic and Computation @ ICALP ![In: Mathematics, Logic and Computation, Satellite Event of ICALP 2003, Eindhoven, The Netherlands, July 4-5, 2003, pp. 125-145, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Martin Kempa, Volker Linnemann |
Type Checking in XOBE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BTW ![In: BTW 2003, Datenbanksysteme für Business, Technologie und Web, Tagungsband der 10. BTW-Konferenz, 26.-28. Februar 2003, Leipzig, pp. 227-246, 2003, GI, 3-88579-355-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
12 | Michael Burrows, Stephen N. Freund, Janet L. Wiener |
Run-Time Type Checking for Binary Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 12th International Conference, CC 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings, pp. 90-105, 2003, Springer, 3-540-00904-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Frank Pfenning |
Invited talk: Tri-Directional Type Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Intersection Types and Related Systems, ITRS 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
12 | Jin Song Dong, Yuan-Fang Li, Jing Sun 0002, Jun Sun 0001, Hai H. Wang |
XML-Based Static Type Checking and Dynamic Visualization for TCOZ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings, pp. 311-322, 2002, Springer, 3-540-00029-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
TCOZ tool support, XML/XSL, UML/XMI |
12 | J. Gregory Morrisett |
Type Checking Systems Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 11th European Symposium on Programming, ESOP 2002, held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings, pp. 1-5, 2002, Springer, 3-540-43363-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Bowen Alpern, Anthony Cocchi, David Grove |
Dynamic Type Checking in Jalapeño. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Java Virtual Machine Research and Technology Symposium ![In: Proceedings of the 1st Java Virtual Machine Research and Technology Symposium, April 23-24, 2001, Monterey, CA, USA, 2001, USENIX, 1-880446-11-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
12 | Ping Gao, Robert Esser |
Polymorphic CSP Type Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSC ![In: 24th Australasian Computer Science Conference (ACSC 2001), 29 January - 1 February 2001, Gold Coast, Queensland, Australia, pp. 156-162, 2001, IEEE Computer Society, 0-7695-0963-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Andy Schürr |
New Type Checking Rules for OCL Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Modellierung ![In: Modellierung 2001, Workshop der Gesellschaft für Informatik e. V. (GI), 28.-30. März 2001 in Bad Lippspringe, Deutschland, pp. 91-100, 2001, GI, 3-88579-330-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
12 | Akihiko Tozawa |
Towards static type checking for XSLT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Symposium on Document Engineering ![In: Proceedings of the 2001 ACM Symposium on Document Engineering, Atlanta, Georgia, USA, November 9-10, 2001, pp. 18-27, 2001, ACM. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
XML |
12 | Alexey Loginov, Suan Hsi Yong, Susan Horwitz, Thomas W. Reps |
Debugging via Run-Time Type Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings, pp. 217-232, 2001, Springer, 3-540-41863-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Susan Horwitz |
Debugging via run-time type checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 25(1), pp. 58, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
12 | Yang Jung, Greg Michaelson |
A visualisation of polymorphic type checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 10(1), pp. 57-75, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
12 | Gustavo Betarte |
Type checking dependent (record) types and subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 10(2), pp. 137-166, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
12 | Paulo Sérgio Almeida |
Type-checking Balloon Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Fifteenth Conference on Mathematical Foundations of Progamming Semantics, MFPS 1999, Tulane University, New Orleans, LA, USA, April 28 - May 1, 1999, pp. 1-27, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
12 | Satish Chandra 0001, Thomas W. Reps |
Physical type checking for C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 24(5), pp. 66-75, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
12 | J. B. Wells |
Typability and Type Checking in System F are Equivalent and Undecidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 98(1-3), pp. 111-156, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
12 | Raymond Turner |
Sets, Types and Type-checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 9(6), pp. 959-975, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
12 | Tony Clark 0001 |
Type Checking UML Static Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML ![In: «UML»'99: The Unified Modeling Language - Beyond the Standard, Second International Conference, Fort Collins, CO, USA, October 28-30, 1999, Proceedings, pp. 503-517, 1999, Springer. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
12 | Christoph Beierle, Gregor Meyer |
Using Types as Approximations for Type Checking Prolog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuji International Symposium on Functional and Logic Programming ![In: Functional and Logic Programming, 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings, pp. 251-266, 1999, Springer, 3-540-66677-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
12 | Jean-Claude Royer |
Type Checking Object-Oriented Programs: Core of the Problem and Some Solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Oriented Program. ![In: J. Object Oriented Program. 11(6), pp. 58-66, 71, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
12 | Ronald T. House |
Attributes: Giving the Programmer Control Over Static Type Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Aust. Comput. J. ![In: Aust. Comput. J. 30(1), pp. 20-29, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|